diff options
Diffstat (limited to 'doc/sample_html/style.css')
-rw-r--r-- | doc/sample_html/style.css | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/doc/sample_html/style.css b/doc/sample_html/style.css index 9a06a2b4..c40357b8 100644 --- a/doc/sample_html/style.css +++ b/doc/sample_html/style.css @@ -102,6 +102,51 @@ h2.stats { border-color: #999 #ccc #ccc #999; } +/* Help panel */ +#keyboard_icon { + float: right; + cursor: pointer; +} + +.help_panel { + position: absolute; + background: #ffc; + padding: .5em; + border: 1px solid #883; + display: none; +} + +#indexfile .help_panel { + width: 20em; height: 4em; +} + +#pyfile .help_panel { + width: 16em; height: 8em; +} + +.help_panel .legend { + font-style: italic; + margin-bottom: 1em; +} + +#panel_icon { + float: right; + cursor: pointer; +} + +.keyhelp { + margin: .75em; +} + +.keyhelp .key { + border: 1px solid black; + border-color: #888 #333 #333 #888; + padding: .1em .35em; + font-family: monospace; + font-weight: bold; + background: #eee; +} + /* Source file styles */ .linenos p { text-align: right; |