documentation updates

1 files changed, 13 insertions, 2 deletions

diff --git a/doc/style.css b/doc/style.css
index e545e11..743e366 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -14,27 +14,38 @@ body {
 
 a {
  color: #b38700;
+ text-decoration:  none;
+}
+
+a:hover {
+ text-decoration:  none;
+ font-weight:      bold;
 }
 
 h1, h2, h3 {
- margin-left: 16px;
  margin-right: 32px;
  width: auto;
 }
 
 h1 {
+ margin-left: 16px;
  margin-top: 32px;
  font-size: 18pt;
  border-bottom: 1px solid #000000;
 }
 
 h2 {
+ margin-left: 32px;
  margin-top: 32px;
  font-size: 14pt;
  border-bottom: 1px solid #000000;
 }
 
+h2.navigate {
+ text-align: right;
+}
 h3 {
+ margin-left: 64px;
  font-weight: bold;
  font-size: 12pt;
 }
@@ -56,7 +67,7 @@ td {
 }
 
 td.wide {
- width: 96px;
+ width: 156px;
 }
 
 td.narrow {