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
@@ -66,2 +66,9 @@ div#sidepanel h1 {
 }
+div#sidepanel h2 {
+ font-size: 80%;
+ text-align: justify;
+ font-weight: normal;
+ color: gray;
+ margin: 1ex 1ex;
+}
 div#sidepanel ul {
@@ -132,3 +139,3 @@ div.source ul {
  margin: 0px;
- padding: 1px 0.5ex;
+ padding: 1px 0px;
  font-family: monospace;
@@ -136,2 +143,3 @@ div.source ul {
  overflow: hidden;
+ width:100%;
 }
@@ -140,2 +148,3 @@ div.source li {
  white-space: nowrap;
+ margin: 0px 0.5ex;
 }