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

diff --git a/mk/fptools.css b/mk/fptools.css
index 8e7ad6f..5c7fc47 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,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 }