diff options
Diffstat (limited to 'doc/build/static/docs.css')
| -rw-r--r-- | doc/build/static/docs.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css index bd08f3b20..b7c02248b 100644 --- a/doc/build/static/docs.css +++ b/doc/build/static/docs.css @@ -526,3 +526,16 @@ div .version-warning { border:1px solid #BFBFBF; }*/ +/*dl div.floatything { + display:none; + position:fixed; + top:25px; + left:40px; + font-size:.95em; + font-weight: bold; + border:1px solid; + background-color: #FFF; +} +dl:hover div.floatything { + display:block; +}*/ |