diff --git a/Documentation/sources/_static/css/custom.css b/Documentation/sources/_static/css/custom.css new file mode 100644 index 00000000..bc851485 --- /dev/null +++ b/Documentation/sources/_static/css/custom.css @@ -0,0 +1,4 @@ +/* fix for theme */ +.navbar .navbar-nav li a { + margin: 12.5px 12px 12.5px 12px !important; +} diff --git a/Documentation/sources/conf.py b/Documentation/sources/conf.py index ca5ec2ab..e07821a4 100755 --- a/Documentation/sources/conf.py +++ b/Documentation/sources/conf.py @@ -130,6 +130,11 @@ # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['_static'] +# paths rel to html_static_path +html_css_files = [ + 'css/custom.css' +] + # Custom sidebar templates, must be a dictionary that maps document names # to template names. #