forked from OSchip/llvm-project
104 lines
1.9 KiB
CSS
104 lines
1.9 KiB
CSS
|
|
body {
|
|
margin:0px;
|
|
padding:0px;
|
|
font-family:verdana, arial, helvetica, sans-serif;
|
|
color:#333;
|
|
background-color:white;
|
|
}
|
|
pre {
|
|
background: #eeeeee;
|
|
border: 1px solid #888888;
|
|
color: black;
|
|
padding: 1em;
|
|
white-space: pre;
|
|
}
|
|
h1 {
|
|
margin:5px 0px 5px 0px;
|
|
padding:0px;
|
|
font-size:20px;
|
|
line-height:28px;
|
|
font-weight:900;
|
|
color:#44f;
|
|
}
|
|
h2 {
|
|
margin:5px 0px 5px 0px;
|
|
padding:0px;
|
|
font-size:17px;
|
|
line-height:28px;
|
|
font-weight:900;
|
|
color:#226;
|
|
}
|
|
h3 {
|
|
margin:5px 0px 5px 0px;
|
|
padding:0px;
|
|
font-size:15px;
|
|
line-height:28px;
|
|
font-weight:900;
|
|
}
|
|
p
|
|
{
|
|
margin:0px 0px 16px 0px;
|
|
font:11px/20px verdana, arial, helvetica, sans-serif;
|
|
padding:0px;
|
|
}
|
|
table
|
|
{
|
|
font-size: 10pt;
|
|
color: #000000;
|
|
}
|
|
td{border:1px solid #999;}
|
|
|
|
table.pymenu {color: #000000; background-color: #99ccff}
|
|
th.pymenu {color: #ffffff; background-color: #003366}
|
|
|
|
.code
|
|
{
|
|
font-family: "Lucida Console", monospace; font-weight: bold;
|
|
color: #007700; background-color: #eeeeee
|
|
}
|
|
|
|
#Content>p {margin:0px;}
|
|
#Content>p+p {text-indent:30px;}
|
|
|
|
a {
|
|
text-decoration:none;
|
|
font-weight:600;
|
|
font-family:verdana, arial, helvetica, sans-serif;
|
|
color: #900;
|
|
}
|
|
//a:link {color:#09c;}
|
|
//a x:visited {color:#07a;}
|
|
a:hover {background-color:#ee0;}
|
|
|
|
#Header {
|
|
margin:10px 0px 10px 0px;
|
|
padding:10px 0px 10px 20px;
|
|
/* For IE5/Win's benefit height = [correct height] + [top padding] + [top and bottom border widths] */
|
|
height:33px; /* 14px + 17px + 2px = 33px */
|
|
border-style:solid;
|
|
border-color:black;
|
|
border-width:1px 0px; /* top and bottom borders: 1px; left and right borders: 0px */
|
|
line-height:33px;
|
|
background-color:#eee;
|
|
height:66px; /* the correct height */
|
|
}
|
|
|
|
#Content {
|
|
margin:0px 210px 50px 10px;
|
|
padding:10px;
|
|
}
|
|
|
|
#Menu {
|
|
position:absolute;
|
|
top:100px;
|
|
right:20px;
|
|
width:172px;
|
|
padding:10px;
|
|
background-color:#eee;
|
|
border:1px solid #999; // dashed #999;
|
|
line-height:17px;
|
|
width:150px;
|
|
font-size:11px;
|
|
}
|