diff options
Diffstat (limited to 'doc/html/_static/default.css')
-rw-r--r-- | doc/html/_static/default.css | 54 |
1 files changed, 8 insertions, 46 deletions
diff --git a/doc/html/_static/default.css b/doc/html/_static/default.css index 21f3f50..42ed6ec 100644 --- a/doc/html/_static/default.css +++ b/doc/html/_static/default.css @@ -1,12 +1,6 @@ -/* - * default.css_t - * ~~~~~~~~~~~~~ - * - * Sphinx stylesheet -- default theme. - * - * :copyright: Copyright 2007-2011 by the Sphinx team, see AUTHORS. - * :license: BSD, see LICENSE for details. - * +/** + * Sphinx stylesheet -- default theme + * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */ @import url("basic.css"); @@ -113,27 +107,21 @@ div.sphinxsidebar input { font-size: 1em; } - - -/* -- hyperlink styles ------------------------------------------------------ */ +/* -- body styles ----------------------------------------------------------- */ a { color: #355f7c; text-decoration: none; } -a:visited { - color: #355f7c; - text-decoration: none; -} - a:hover { text-decoration: underline; } - - -/* -- body styles ----------------------------------------------------------- */ +div.body p, div.body dd, div.body li { + text-align: justify; + line-height: 130%; +} div.body h1, div.body h2, @@ -178,18 +166,6 @@ 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; @@ -233,24 +209,10 @@ 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 |