From 6e5fd50236066b831954541c4d6294c69b011c9b Mon Sep 17 00:00:00 2001
From: Beman Dawes <bdawes@acm.org>
Date: Sat, 17 Mar 2012 12:42:56 +0000
Subject: [PATCH] Add body max-width, add several colors

[SVN r77355]
---
 doc/src/minimal.css | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/doc/src/minimal.css b/doc/src/minimal.css
index 401b73e529..76d1031130 100644
--- a/doc/src/minimal.css
+++ b/doc/src/minimal.css
@@ -7,16 +7,17 @@
   
 */
 
-/*******************************************************************************
-      Body
-*******************************************************************************/
+body  {
+        font-family: sans-serif;
+        margin: 1em;
+        max-width : 8.5in;
+      }
 
-body    { font-family: sans-serif; margin: 1em; }
+table { margin: 0.5em; }
 
-/*******************************************************************************
-      Table
-*******************************************************************************/
+pre   { background-color:#D7EEFF }
 
-table   { margin: 0.5em; }
+ins   { background-color:#A0FFA0 }
+del   { background-color:#FFA0A0 }
 
 /*** end ***/
\ No newline at end of file