Home | History | Annotate | Download | only in doc 
      1 
      2 body {
      3 	margin:0px;
      4 	padding:0px;
      5 	font-family:verdana, arial, helvetica, sans-serif; 
      6 	color:#333;
      7 	background-color:white;
      8 	}
      9 pre {
     10   background: #eeeeee;
     11   border: 1px solid #888888;
     12   color: black;
     13   padding: 1em;
     14   white-space: pre;
     15 }
     16 h1 {
     17 	margin:5px 0px 5px 0px;
     18 	padding:0px;
     19 	font-size:20px;
     20 	line-height:28px;
     21 	font-weight:900;
     22 	color:#44f;
     23 	}
     24 h2 {
     25 	margin:5px 0px 5px 0px;
     26 	padding:0px;
     27 	font-size:17px;
     28 	line-height:28px;
     29 	font-weight:900;
     30 	color:#226;
     31 	}
     32 h3 {
     33 	margin:5px 0px 5px 0px;
     34 	padding:0px;
     35 	font-size:15px;
     36 	line-height:28px;
     37 	font-weight:900;
     38 	}
     39 p
     40 {
     41 	margin:0px 0px 16px 0px;
     42 	font:11px/20px verdana, arial, helvetica, sans-serif;
     43 	padding:0px;
     44 }
     45 table 
     46 {
     47     font-size: 10pt; 
     48 	color: #000000;
     49 }
     50 td{border:1px solid #999;}
     51 
     52 table.pymenu {color: #000000; background-color: #99ccff}
     53 th.pymenu {color: #ffffff; background-color: #003366}
     54 
     55 .code 
     56 {
     57 	font-family: "Lucida Console", monospace; font-weight: bold;
     58 	color: #007700; background-color: #eeeeee
     59 }
     60 
     61 #Content>p {margin:0px;}
     62 #Content>p+p {text-indent:30px;}
     63 
     64 a {
     65 	text-decoration:none;
     66 	font-weight:600;
     67 	font-family:verdana, arial, helvetica, sans-serif;
     68 	color: #900;
     69 }
     70 //a:link {color:#09c;}
     71 //a x:visited {color:#07a;}
     72 a:hover {background-color:#ee0;}
     73 
     74 #Header {
     75 	margin:10px 0px 10px 0px;
     76 	padding:10px 0px 10px 20px;
     77 	/* For IE5/Win's benefit height = [correct height] + [top padding] + [top and bottom border widths] */
     78 	height:33px; /* 14px + 17px + 2px = 33px */
     79 	border-style:solid;
     80 	border-color:black;
     81 	border-width:1px 0px; /* top and bottom borders: 1px; left and right borders: 0px */
     82 	line-height:33px;
     83 	background-color:#eee;
     84 	height:66px; /* the correct height */
     85 	}
     86 
     87 #Content {
     88 	margin:0px 210px 50px 10px;
     89 	padding:10px;
     90 	}
     91 
     92 #Menu {
     93 	position:absolute;
     94 	top:100px;
     95 	right:20px;
     96 	width:172px;
     97 	padding:10px;
     98 	background-color:#eee;
     99 	border:1px solid #999; // dashed #999;
    100 	line-height:17px;
    101 	width:150px;
    102 	font-size:11px;
    103 	}
    104