div.header, div.content, div.footer {
margin-left: auto;
margin-right: auto;
+ padding-left: 1em;
+ padding-right: 1em;
+ max-width: 60em;
}
div.header-wrapper {
display: none;
}
+div.sidebar input[type=text] {
+ width: auto;
+}
+
/* Other body styles */
dt:target, .highlighted {
# further. For a list of options available for each theme, see the
# documentation.
html_theme_options = { "linkcolor": "#a63019", "footerbg": "#59121e",
- "bgcolor": "#59121e", "documentwidth": "900px",
- "pagewidth": "960px", "sidebarwidth": "40px" }
+ "bgcolor": "#59121e", "documentwidth": "80%",
+ "pagewidth": "auto", "sidebarwidth": "20%" }
# Add any paths that contain custom themes here, relative to this directory.
#html_theme_path = []