1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93
|
body {
margin:0px;
padding:0px;
font-family:verdana, arial, helvetica, sans-serif;
color:#333;
background-color:white;
}
h1 {
margin:0px 0px 15px 0px;
padding:0px;
font-size:20px;
line-height:28px;
font-weight:900;
color:#09c;
}
h2 { font-size:16px; }
h2 { font-size:14px; }
p { font:verdana, arial, helvetica, sans-serif;
margin:0px 0px 16px 0px;
padding:0px;
}
a { color:#09c;
font-weight:200;
font-family:verdana, arial, helvetica, sans-serif;
}
a:link {color:#02c;}
a:visited {color:#59c;}
.title {
margin:10px 10px 10px 0px;
padding:17px 0px 5px 0px;
height:39px; /* 14px + 17px + 2px = 33px */
border-style:solid;
border-color:black;
border-width:1px 0px;
font-size:36px;
line-height:11px;
background-color:#eee;
voice-family: "\"}\"";
voice-family:inherit;
height:20px; /* the correct height */
}
body>#Header {height:14px;}
.document {
margin:0px 50px 50px 150px;
padding:10px;
}
.warning {
# margin:0px 50px 50px 200px;
padding:10px;
background-color:red;
}
.doctest-block {
font:verdana, arial, helvetica, sans-serif;
# border-style:solid;
# border-color:black;
border:1px solid #999;
background-color:#eee;
}
.literal-block {
# font:verdana, arial, helvetica, sans-serif;
# font-family: "Courier New",Courier, monospace;
font-size: 100%;
background-color:white;
}
.menu {
position:absolute;
top:60px;
left:10px;
padding:10px;
background-color:#eee;
border:1px solid #999;
line-height:17px;
voice-family: "\"}\"";
voice-family:inherit;
width:100px;
}
|