make GhcProfiled work, and add a "prof" flavour to build.mk
[ghc-hetmet.git] / mk / fptools.css
1 div {
2   font-family: sans-serif;
3   color: black;
4   background: white
5 }
6
7 h1, h2, h3, h4, h5, h6, p.title { color: #005A9C }
8
9 h1 { font:            170% sans-serif }
10 h2 { font:            140% sans-serif }
11 h3 { font:            120% sans-serif }
12 h4 { font: bold       100% sans-serif }
13 h5 { font: italic     100% sans-serif }
14 h6 { font: small-caps 100% sans-serif }
15
16 pre {
17   font-family: monospace;
18   border-width: 1px;
19   border-style: solid;
20   padding: 0.3em
21 }
22
23 pre.screen         { color: #006400 }
24 pre.programlisting { color: maroon }
25
26 div.example {
27   margin: 1ex 0em;
28   border: solid #412e25 1px;
29   padding: 0ex 0.4em
30 }
31
32 div.example, div.example-contents {
33   background-color: #fffcf5
34 }
35
36 a:link    { color:      #0000C8 }
37 a:hover   { background: #FFFFA8 }
38 a:active  { color:      #D00000 }
39 a:visited { color:      #680098 }