X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Ffptools.css;h=5c7fc47bc50d02f78213ab18663b2984e266932f;hb=451365f9af74f40d403906e113b733e42187aa1d;hp=8af4285342c51e40a3dced3ae879c33b60e11349;hpb=4a0cbd60940b4499b1e4f35a2e6b7bb7f5b9e0a5;p=ghc-hetmet.git

diff --git a/mk/fptools.css b/mk/fptools.css
index 8af4285..5c7fc47 100644
--- a/mk/fptools.css
+++ b/mk/fptools.css
@@ -4,7 +4,7 @@ div {
   background: white
 }
 
-h1, h2, h3 { color: #005A9C }
+h1, h2, h3, h4, h5, h6, p.title { color: #005A9C }
 
 h1 { font:            170% sans-serif }
 h2 { font:            140% sans-serif }
@@ -20,9 +20,16 @@ pre {
   padding: 0.3em
 }
 
-pre.screen         { color: green  }
+pre.screen         { color: #006400 }
 pre.programlisting { color: maroon }
 
+div.example {
+  background-color: #fffcf5;
+  margin: 1ex 0em;
+  border: solid #412e25 1px;
+  padding: 0ex 0.4em
+}
+
 a:link    { color:      #0000C8 }
 a:hover   { background: #FFFFA8 }
 a:active  { color:      #D00000 }