| |
| 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; |
| } |