Create a new library symbol.ml.
[Faustine.git] / documentation / style.css
1 a:visited {color : #416DFF; text-decoration : none; }
2 a:link {color : #416DFF; text-decoration : none;}
3 a:hover {color : Red; text-decoration : none; background-color: #5FFF88}
4 a:active {color : Red; text-decoration : underline; }
5 .keyword { font-weight : bold ; color : Red }
6 .keywordsign { color : #C04600 }
7 .superscript { font-size : 4 }
8 .subscript { font-size : 4 }
9 .comment { color : Green }
10 .constructor { color : Blue }
11 .type { color : #5C6585 }
12 .string { color : Maroon }
13 .warning { color : Red ; font-weight : bold }
14 .info { margin-left : 3em; margin-right : 3em }
15 .param_info { margin-top: 4px; margin-left : 3em; margin-right : 3em }
16 .code { color : #465F91 ; }
17 h1 { font-size : 20pt ; text-align: center; }
18 h2 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90BDFF ;padding: 2px; }
19 h3 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90DDFF ;padding: 2px; }
20 h4 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90EDFF ;padding: 2px; }
21 h5 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #90FDFF ;padding: 2px; }
22 h6 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #C0FFFF ; padding: 2px; }
23 div.h7 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #E0FFFF ; padding: 2px; }
24 div.h8 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #F0FFFF ; padding: 2px; }
25 div.h9 { font-size : 20pt ; border: 1px solid #000000; margin-top: 5px; margin-bottom: 2px;text-align: center; background-color: #FFFFFF ; padding: 2px; }
26 .typetable { border-style : hidden }
27 .indextable { border-style : hidden }
28 .paramstable { border-style : hidden ; padding: 5pt 5pt}
29 body { background-color : White }
30 tr { background-color : White }
31 td.typefieldcomment { background-color : #FFFFFF ; font-size: smaller ;}
32 pre { margin-bottom: 4px }
33 div.sig_block {margin-left: 2em}
34 *:target { background: yellow; }