documentation restyling

1 files changed, 16 insertions, 5 deletions

diff --git a/doc/main.css b/doc/main.css
index 80704ee..e4321ea 100644
--- a/doc/main.css
+++ b/doc/main.css
@@ -57,7 +57,7 @@ img {
  float: right;
 }
 
-.banner, .header, .footer, .title {
+.banner, .header, .footer {
  background: #d7d7d7;
  margin-left: 24px;
  margin-right: 24px;
@@ -66,9 +66,6 @@ img {
  border-bottom: 1px solid #606060;
  border-left: 1px solid #606060;
  border-right: 1px solid #606060;
-}
-
-.banner, .header, .footer {
  margin-top: 24px;
  margin-bottom: 24px; 
 }
@@ -94,7 +91,15 @@ img {
 }
 
 .title {
- font-size: 16pt;
+ background: #d7d7d7;
+ margin-left: 24px;
+ margin-right: 72px;
+ padding: 4px;
+ border-top: 1px solid #606060;
+ border-bottom: 1px solid #606060;
+ border-left: 1px solid #606060;
+ border-right: 1px solid #606060;
+ font-size: 14pt;
 }
 
 .subtitle {
@@ -104,6 +109,7 @@ img {
  margin-top: 8px;
  margin-bottom: 8px;
  font-size: 12pt;
+ font-weight: bold;
  border-top: 1px solid #606060;
  border-bottom: 1px solid #606060;
  border-left: 1px solid #606060;
@@ -191,6 +197,11 @@ img {
  text-align: right;
 }
 
+.fixed {
+ font-family: "Courier New", "Courier", "fixed"; 
+ font-size: 12pt;
+}
+
 .code {
  background: #f0f0f0;
  border-top: 1px solid #606060;