diff options
| author | Lou Berger <lberger@labn.net> | 2018-03-30 08:10:50 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-30 08:10:50 -0400 |
| commit | 88507dba34b989c316094b40222b15f6b2867a9c (patch) | |
| tree | 81eccb9555bf42ee4e11748ed1188e54d8eca9b2 /doc/user/conf.py | |
| parent | ecdb71dfd838c8629d738f13e7bde9ea9d981e96 (diff) | |
| parent | 4386f129835c3bd4b28ec1059943d117a97a49ed (diff) | |
Merge pull request #1961 from qlyoung/docuser
doc: tweak html body width
Diffstat (limited to 'doc/user/conf.py')
| -rw-r--r-- | doc/user/conf.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/user/conf.py b/doc/user/conf.py index efe1023740..7a77e492ce 100644 --- a/doc/user/conf.py +++ b/doc/user/conf.py @@ -188,7 +188,7 @@ html_favicon = '../figures/frr-logo-icon.png' # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". -# html_static_path = ['_static'] +html_static_path = ['_static'] # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied @@ -339,3 +339,5 @@ def setup(app): # object type for FRR CLI commands, can be extended to document parent CLI # node later on app.add_object_type('clicmd', 'clicmd') + # css overrides for HTML theme + app.add_stylesheet('overrides.css') |