www/main.css

   1 body {
   2         background-color:#ffe;
   3         color:#333;
   4         margin:20px;
   5         padding:0px;
   6         font:14px verdana,helvetica,sans-serif;
   7 }
   8
   9 h1 {
  10         padding-bottom: 3px;
  11         /* padding-left: 15px; */
  12         font-size:200%;
  13         border-bottom: 1px solid #88a;
  14 }
  15
  16 h2 {
  17         font-size: 130%;
  18         font-weight: bolder;
  19         margin: 5px 5px 5px 0px;
  20         padding: 0px;
  21 }
  22
  23 h3 {
  24         font-size: 120%;
  25         margin: 0px 0px 5px 1em;
  26         padding: 0px;
  27 }
  28
  29 h4 {
  30         font-size: 100%;
  31         margin: 0px 0px 5px 1.5em;
  32         padding: 0px;
  33 }
  34
  35 table caption {
  36         font-weight: bold;
  37         text-align: center;
  38 }
  39
  40 pre {
  41         margin-left: 3em;
  42 }
  43
  44 address {
  45         margin-left: 3em;
  46         margin-bottom: 15px;
  47 }
  48
  49 table {
  50         margin-left: 3em
  51 }
  52
  53 a {
  54         color:#b44;
  55         text-decoration: None;
  56 }
  57
  58
  59 a:link:hover {
  60         text-decoration: underline;
  61 }
  62
  63 a:visited:hover {
  64         text-decoration: underline;
  65 }
  66
  67 #navbar {
  68         position:fixed;
  69         width:200px;
  70         height:100%;
  71         top:0px;
  72         left:0px;
  73         border-right: 1px solid #88a;
  74         text-align:center;
  75         background-color:#eed;
  76         z-index:3;
  77 }
  78
  79 #title {
  80         width:100%;
  81         color:#888;
  82         margin-top:15px;
  83         margin-bottom:10px;
  84         padding:0px;
  85         font-size:28px;
  86         font-weight:900;
  87         text-align: center;
  88 }
  89
  90 #subtitle {
  91         padding:0px;
  92         font-style: italic;
  93         text-align: right;
  94 }
  95
  96 .box {
  97         background-color:#c8c8f0;
  98         width:140px;
  99         margin-left:20px;
 100         margin-bottom:20px;
 101         border: 1px dashed #668;
 102         font-size: 90%;
 103         padding: 5px 10px 10px 10px;
 104         text-align:left;
 105 }
 106
 107 #navboxtitle, #linkboxtitle {
 108         margin:0px 0px 10px 0px;
 109         padding:0px;
 110         font-size:120%;
 111         font-weight:bold;
 112         border-bottom:1px solid black;
 113 }
 114
 115 #content {
 116         margin-left:201px;
 117         background-color:#ffe;
 118         padding-top:0px;
 119         padding-left:10px;
 120         padding-right:5px;
 121         min-width: 450px;
 122 }
 123
 124 #content .image {
 125         float:right;
 126         background-color:#eed;
 127         padding:10px;
 128         margin:10px;
 129         border:1px dashed #668;
 130         text-align:center;
 131         font-style:italic;
 132 }
 133
 134 #content table {
 135         background-color:#f3f3f3;
 136         border:1px solid black;
 137         width: 700px;
 138         padding: 5px;
 139         margin-bottom: 20px;
 140 }
 141
 142
 143 .PY_KEYWORD { color:#0000C0; font-weight:bold; }
 144 .PY_COMMENT { color:#000080; }
 145 .PY_PARAMETER { color:#C00000; }
 146 .PY_IDENTIFIER { color:#C00000; font-weight:bold; }
 147 .PY_STRING { color:#008000; }
 148
 149 .example pre {
 150         margin-left:0px;
 151 }