-rw-r--r-- | htdocs/style.css | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/htdocs/style.css b/htdocs/style.css index 01fd43a..3ab1b6f 100644 --- a/htdocs/style.css +++ b/htdocs/style.css @@ -55,24 +55,31 @@ div#content { margin: 0px; width: 80%; } div#sidepanel h1 { font-size: 80%; text-align: center; font-weight: normal; color: #004080; white-space: nowrap; margin-top: 2ex; margin-bottom: 2ex; } +div#sidepanel h2 { + font-size: 80%; + text-align: justify; + font-weight: normal; + color: gray; + margin: 1ex 1ex; +} div#sidepanel ul { padding: 1ex 0.5ex 1ex 1ex; margin: 0.5ex; border-color: #c0c0c0 #404040 #404040 #c0c0c0; border-width: 1px 2px 2px 1px; border-style: solid; background: #d0d0d0; list-style-type: none; } div#sidepanel ul ul { margin: 0px; padding: 0px; border: none 0px; @@ -121,32 +128,34 @@ iframe#insert { div.source h1 { background: #e0e0e0; border: 1px solid #808080; padding-left: 1em; margin: 0px; font-size: 100%; color: #000060; overflow: hidden; } div.source ul { background: #80c0c0; margin: 0px; - padding: 1px 0.5ex; + padding: 1px 0px; font-family: monospace; font-size: 80%; overflow: hidden; + width:100%; } div.source li { list-style-type: none; white-space: nowrap; + margin: 0px 0.5ex; } ul.sourcebrowser { font-size: 70%; } ul.sourcebrowser ul.dir { padding: 1px 0px 2px 1em; margin: 1px 0px 1px 0px; } ul.sourcebrowser li.dir { margin: 1px 0px 1px 0px; } |