diff options
Diffstat (limited to 'doc/html/_static/default.css')
-rw-r--r-- | doc/html/_static/default.css | 54 |
1 files changed, 46 insertions, 8 deletions
diff --git a/doc/html/_static/default.css b/doc/html/_static/default.css index 42ed6ec..21f3f50 100644 --- a/doc/html/_static/default.css +++ b/doc/html/_static/default.css @@ -1,6 +1,12 @@ -/** - * Sphinx stylesheet -- default theme - * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +/* + * default.css_t + * ~~~~~~~~~~~~~ + * + * Sphinx stylesheet -- default theme. + * + * :copyright: Copyright 2007-2011 by the Sphinx team, see AUTHORS. + * :license: BSD, see LICENSE for details. + * */ @import url("basic.css"); @@ -107,21 +113,27 @@ div.sphinxsidebar input { font-size: 1em; } -/* -- body styles ----------------------------------------------------------- */ + + +/* -- hyperlink styles ------------------------------------------------------ */ a { color: #355f7c; text-decoration: none; } +a:visited { + color: #355f7c; + text-decoration: none; +} + a:hover { text-decoration: underline; } -div.body p, div.body dd, div.body li { - text-align: justify; - line-height: 130%; -} + + +/* -- body styles ----------------------------------------------------------- */ div.body h1, div.body h2, @@ -166,6 +178,18 @@ div.admonition p.admonition-title + p { display: inline; } +div.admonition p { + margin-bottom: 5px; +} + +div.admonition pre { + margin-bottom: 5px; +} + +div.admonition ul, div.admonition ol { + margin-bottom: 5px; +} + div.note { background-color: #eee; border: 1px solid #ccc; @@ -209,10 +233,24 @@ tt { font-size: 0.95em; } +th { + background-color: #ede; +} + .warning tt { background: #efc2c2; } .note tt { background: #d6d6d6; +} + +.viewcode-back { + font-family: sans-serif; +} + +div.viewcode-block:target { + background-color: #f4debf; + border-top: 1px solid #ac9; + border-bottom: 1px solid #ac9; }
\ No newline at end of file |