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
@@ -59,16 +59,23 @@ div#content {
 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;
@@ -125,24 +132,26 @@ div.source h1 {
  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;