diff options
| -rw-r--r-- | style.css | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/style.css b/style.css new file mode 100644 index 0000000..52b981d --- /dev/null +++ b/style.css @@ -0,0 +1,73 @@ +body { + font-size: 9pt; + color: #333; + background-color: #fff; + padding: 0; + margin: 0; + font-family: monospace; +} +body.noframe { + overflow: hidden; +} +body.frame { + overflow: hidden; + overflow-y: auto; +} +#items table tr td { + white-space: nowrap; + font-size: 9pt; + padding: 1px; +} +h2 { + font-size: 14pt; + margin: 0.5em 0; +} +#sidebar a, #items a { + display: block; +} +#sidebar ul, #sidebar ul li { + list-style: none; + padding: 0; + margin: 0; +} +h2 a, #sidebar a { + color: inherit; +} +#sidebar { + background-color: inherit; +} +#sidebar a { + padding: 5px 3px 5px 10px; +} +div#items { + padding: 0 15px; +} +body.noframe div#sidebar { + position: fixed; + top: 0; + left: 0; + width: 175px; + height: 100%; + overflow: hidden; + overflow-y: auto; + z-index: 999; +} +body.noframe div#items { + left: 175px; + position: absolute; + height: 100%; + top: 0; + right: 0; + overflow: auto; +} +body.noframe div#items.nosidebar { + left: 0px; +} +body.frame #sidebar br { + display: none; +} +body.frame .content { + padding: 0 1em; + font-family: sans; + font-size: medium; +} |