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

diff --git a/mk/fptools.css b/mk/fptools.css
index 8e7ad6f..97f276c 100644
--- a/mk/fptools.css
+++ b/mk/fptools.css
@@ -1,10 +1,10 @@
-div.article div.book {
+div {
   font-family: sans-serif;
   color: black;
   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 }