summaryrefslogtreecommitdiffabout
path: root/htdocs/style.css
Side-by-side diff
Diffstat (limited to 'htdocs/style.css') (more/less context) (show whitespace changes)
-rw-r--r--htdocs/style.css11
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;
}