diff options
Diffstat (limited to 'docs/_build/html/_static/basic.css')
-rw-r--r-- | docs/_build/html/_static/basic.css | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/docs/_build/html/_static/basic.css b/docs/_build/html/_static/basic.css index eb22a94..43e8baf 100644 --- a/docs/_build/html/_static/basic.css +++ b/docs/_build/html/_static/basic.css @@ -79,11 +79,11 @@ div.sphinxsidebar input { font-size: 1em; } -div.sphinxsidebar input[type="text"] { +div.sphinxsidebar #searchbox input[type="text"] { width: 170px; } -div.sphinxsidebar input[type="submit"] { +div.sphinxsidebar #searchbox input[type="submit"] { width: 30px; } @@ -447,6 +447,11 @@ dl.glossary dt { font-style: oblique; } +abbr, acronym { + border-bottom: dotted 1px; + cursor: help; +} + /* -- code displays --------------------------------------------------------- */ pre { @@ -532,4 +537,4 @@ span.eqno { #top-link { display: none; } -} +}
\ No newline at end of file |