1 files changed, 53 insertions, 16 deletions

diff --git a/docs/manual/style.css b/docs/manual/style.css
index 28fc112..8dae87d 100644
--- a/docs/manual/style.css
+++ b/docs/manual/style.css
@@ -2,20 +2,24 @@
 
 /* Global settings. */
 
-body {
+body
+{
   background: #FFFFFF;
 }
 
-h1 {
+h1
+{
   text-align: center;
 }
 
-h2 {
+h2
+{
   background: #EEEEFF;
   padding: 10px;
 }
 
-dt {
+dt
+{
   padding: 6px;
 }
 
@@ -25,23 +29,50 @@ dt div
   float: right;
 }
 
-dd {
+dd
+{
   padding: 6px;
 }
 
-pre {
+pre
+{
   padding: 10px;
   background: #E0E0E0;
 }
 
+.spacious li
+{
+  padding: 8px;
+}
+
+.shifted li
+{
+  margin-left: 50px;
+}
+
+img.float
+{
+  float: left;
+}
+
 a
 {
   text-decoration: none;
 }
 
+a.button
+{
+  color: #000000;
+  text-decoration: none;
+  background: #E0E0E0;
+  border: 1px outset #FFFFFF;
+  float: right;
+}
+
 /* Settings for variable width code. */
 
-p.code {
+p.code
+{
   padding: 10px;
   background: #E0E0E0;
 }
@@ -49,34 +80,39 @@ p.code {
 
 /* Settings for diagrams. */
 
-table.diagram {
+table.diagram
+{
   padding: 8px;
   border: none;
   border-spacing: 2px;
 }
 
-td.transparentblock {
+td.transparentblock
+{
   text-align: center;
   padding: 10px 0px;
 }
 
-td.whiteblock {
+td.whiteblock
+{
   width: 100px;
   text-align: center;
-  border: solid #C0C0C0 1px;
+  border: 1px solid #C0C0C0;
   background: #E0E0E0;
   padding: 10px 0px;
 }
 
-td.lightblock {
+td.lightblock
+{
   width: 100px;
   text-align: center;
-  border: solid #8888FF 1px;
+  border: 1px solid #8888FF;
   background: #BBBBFF;
   padding: 20px 0px;
 }
 
-td.darkblock {
+td.darkblock
+{
   width: 100px;
   text-align: center;
   background: #8888FF;
@@ -85,8 +121,9 @@ td.darkblock {
 
 /* Settings for buttons. */
 
-td.button {
+td.button
+{
   background: #E0E0E0;
-  border: outset #FFFFFF 1px;
+  border: 1px outset #FFFFFF;
   font-weight: bold;
 }