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

diff --git a/mk/fptools.css b/mk/fptools.css
index 8af4285..97f276c 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,19 @@ pre {
   padding: 0.3em
 }
 
-pre.screen         { color: green  }
+pre.screen         { color: #006400 }
 pre.programlisting { color: maroon }
 
+div.example {
+  margin: 1ex 0em;
+  border: solid #412e25 1px;
+  padding: 0ex 0.4em
+}
+
+div.example, div.example-contents {
+  background-color: #fffcf5
+}
+
 a:link    { color:      #0000C8 }
 a:hover   { background: #FFFFA8 }
 a:active  { color:      #D00000 }