walkero
/
nghttp2
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

doc: Update doc theme

This commit is contained in:
Tatsuhiro Tsujikawa 2013-03-11 00:29:33 +09:00
parent 3012f63d8c
commit 2c3195d300
2 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
doc/_static/default2.css vendored
View File

@ -7,3 +7,9 @@ pre, tt {
tt { tt {
font-size: 100%; font-size: 100%;
} }
div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
border: 0;
margin: 0;
padding: 0.3em 0;
}

11
doc/conf.py.in
View File

@ -124,7 +124,16 @@ html_theme = 'default'
# further. For a list of options available for each theme, see the # further. For a list of options available for each theme, see the
# documentation. # documentation.
html_theme_options = {'bodyfont':'roboto, sans-serif', html_theme_options = {'bodyfont':'roboto, sans-serif',
'headfont':'roboto, "Trebuchet MS", sans-serif'} 'headfont':'roboto, "Trebuchet MS", sans-serif',
'relbarbgcolor':'#fff',
'relbartextcolor':'#444',
'relbarlinkcolor':'#444',
'sidebarbgcolor':'none',
'sidebartextcolor':'#444',
'sidebarlinkcolor':'#444',
'headbgcolor':'none',
'footerbgcolor':'none',
'footertextcolor':'#444'}
# Add any paths that contain custom themes here, relative to this directory. # Add any paths that contain custom themes here, relative to this directory.
#html_theme_path = [] #html_theme_path = []