diff --git a/www/style.css b/www/style.css
index e9f6538dc2..7412496cfd 100644
--- a/www/style.css
+++ b/www/style.css
@@ -20,7 +20,7 @@ H2 {
  font-size:        14pt;
 }
 
-H3 {
+H3, div.h5 {
  text-decoration:  none;
  font-family:      Verdana,Arial,Helvetica,sans-serif;
  font-style:       normal;
@@ -36,6 +36,10 @@ BODY, P, DIV, TD, TH, TR, FORM, OL, UL, LI, INPUT, TEXTAREA, SELECT, A
  font-size:        10pt;
 }
 
+P.ind {
+ margin-left: 3em;
+}
+
 A {
  text-decoration: underline;
 }
@@ -52,7 +56,7 @@ A {
 
 .menutext {
  color: #f0f0f0;
- font-size: 8pt;
+ font-size: 7pt;
 }
 
 .buildok {