1 files changed, 14 insertions, 14 deletions
diff --git a/source/default.css b/source/default.css
index 8863bbe030..3df6e8aabf 100644
--- a/source/default.css
+++ b/source/default.css
@@ -33,7 +33,7 @@ body, p, h1, h2, h3, h4, h5, h6, .listitem, .listitemintable, .tablecontent, .ta
 pre, .code, .codeintable, .example, .exampleintable, .literal, .literalintable, .path, .pathintable
 	{ font-family: "Cumberland AMT",Cumberland,"Courier New","Nimbus Mono L","Bitstream Vera Sans Mono",Courier,"Lucida Sans Typewriter","Lucida Typewriter",Monaco,Monospaced; margin-top: 1pt; margin-bottom: 1pt;}
 
-.acronym 
+.acronym
 	{ font-weight: bold; }
 
 .related
@@ -69,7 +69,7 @@ h4, h5, h6
 .relatedtopics
 	{ font-weight: normal; }
 
-.relatedbody  
+.relatedbody
 	{ margin-top: 2px; margin-bottom: 2px; margin-left: 5px; }
 
 .howtoget
@@ -78,13 +78,13 @@ h4, h5, h6
 .howtogetbody
 	{ background:#EEEEEE; margin: 0px;}
 
-.wide 
+.wide
 	{ width: 100%; }
 
 .topalign
 	 { vertical-align: top; border: 1px;}
 
-.bug 
+.bug
 	{ color: red; border: 1px solid red;}
 
 .debug
@@ -94,7 +94,7 @@ h4, h5, h6
 .identifier, .unknown
 	{ color: green;}
 
-.keyword 
+.keyword
 	{ color: blue;}
 
 .comment
@@ -102,7 +102,7 @@ h4, h5, h6
 
 .number, .string
 	{ color: red;}
-    
+
 .operator, .parameter
 	{ color: black;}
 
@@ -118,7 +118,7 @@ h4, h5, h6
 .topmenu{
     color: green;
     background-color: white;
-    font-size:16pt;
+    font-size:24pt;
     font-weight:bold;
 }
 .indexlink{font-size: 10pt; margin-top: 2px; margin-bottom: 2px;}
@@ -126,8 +126,8 @@ h4, h5, h6
 #DisplayArea{
 position: fixed;
 bottom: 5px;
-right: 5px; 
-overflow:auto; 
+right: 5px;
+overflow:auto;
 width: 70%;
 height: 90%;
 }
@@ -135,8 +135,8 @@ height: 90%;
 #BottomLeft {
 position: fixed;
 bottom: 5px;
-left: 5px; 
-overflow:auto; 
+left: 5px;
+overflow:auto;
 width: 29%;
 height: 90%;
 }
@@ -164,9 +164,9 @@ left:25%;
 background-color: green;
 font-family: Arial;
 font-weight: bold;
-font-size: 24pt; 
-border: 1px solid black; 
-padding-bottom: 6px; 
+font-size: 24pt;
+border: 1px solid black;
+padding-bottom: 6px;
 margin-bottom: 6px;
 }
 .embedded {