src/link/pexpect/doc/clean.css

   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         }