2 /* following font face declarations need to be removed for DBCS */
\r
4 body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000}
\r
5 pre, code, tt { font-family: "Courier New", Courier, monospace;}
\r
7 /* end font face declarations */
\r
10 html { font-size: 12pt }
\r
13 body { font-size: 83%; background: #FFFFFF; margin-bottom: 1em }
\r
14 h1 { font-size: 180%; margin-top: 5px; margin-bottom: 1px }
\r
15 h2 { font-size: 140%; margin-top: 25px; margin-bottom: 3px }
\r
16 h3 { font-size: 110%; margin-top: 20px; margin-bottom: 3px }
\r
17 h4 { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }
\r
18 p { margin-top: 10px; margin-bottom: 10px }
\r
19 pre { font-size: 93%; margin-left: 6; color: #4444CC }
\r
20 pre.code { background-color:#fffff7; border: 1px dashed #cccccc; padding: 2ex; margin-left:2em; margin-right:2em; margin-top: 1em; margin-bottom:1em; color: #000000 }
\r
21 code, tt { font-size: 93%; }
\r
22 table { font-size: 100% } /* needed for quirks mode */
\r
23 a:link { color: #0000FF }
\r
24 a:hover { color: #000080 }
\r
25 a:visited { text-decoration: underline }
\r
26 ul { margin-top: 10px; margin-bottom: 10px; }
\r
27 li { margin-top: 5px; margin-bottom: 5px; }
\r
28 li p { margin-top: 5px; margin-bottom: 5px; }
\r
29 ol { margin-top: 10px; margin-bottom: 10px; }
\r
30 dl { margin-top: 10px; margin-bottom: 10px; }
\r
31 dt { margin-top: 5px; margin-bottom: 5px; font-weight: bold; }
\r
32 dd { margin-top: 5px; margin-bottom: 5px; }
\r
33 strong { font-weight: bold}
\r
34 em { font-style: italic}
\r
35 var { font-style: italic}
\r
36 div.revision { border-left-style: solid; border-left-width: thin;
\r
37 border-left-color: #7B68EE; padding-left:5 }
\r
38 th { font-weight: bold }
\r
Code Review / simantics / platform.git / blob