doc/historic/stylesheet.css

   1
   2 body
   3 {
   4   margin-left: 2em;
   5   margin-right: 2em;
   6   border: 0px;
   7   padding: 0px;
   8   font-family: sans-serif;
   9   }
  10
  11 .done { color: #005500; background-color: #99ff99 }
  12 .notdone { color: #550000; background-color: #ff9999;}
  13
  14 pre
  15 {
  16   padding: 1em;
  17   border: thin black solid;
  18 }
  19
  20 .boxed
  21 {
  22   padding: 1em;
  23   border: thin black solid;
  24 }
  25
  26 .shell
  27 {
  28   background-color: #ffffdd;
  29 }
  30
  31 .python
  32 {
  33   background-color: #dddddd;
  34 }
  35
  36 .htmlsource
  37 {
  38   background-color: #dddddd;
  39 }
  40
  41 .py-prototype
  42 {
  43   background-color: #ddddff;
  44 }
  45
  46
  47 .python-interpreter
  48 {
  49   background-color: #ddddff;
  50 }
  51
  52 .doit
  53 {
  54   border: thin blue dashed ;
  55   background-color: #0ef
  56 }
  57
  58 .py-src-comment
  59 {
  60   color: #1111CC
  61 }
  62
  63 .py-src-keyword
  64 {
  65   color: #3333CC;
  66   font-weight: bold;
  67 }
  68
  69 .py-src-parameter
  70 {
  71   color: #000066;
  72   font-weight: bold;
  73 }
  74
  75 .py-src-identifier
  76 {
  77   color: #CC0000
  78 }
  79
  80 .py-src-string
  81 {
  82
  83   color: #115511
  84 }
  85
  86 .py-src-endmarker
  87 {
  88   display: block; /* IE hack; prevents following line from being sucked into the py-listing box. */
  89 }
  90
  91 .py-listing
  92 {
  93   margin: 1ex;
  94   border: thin solid black;
  95   background-color: #eee;
  96 }
  97
  98 .py-listing pre
  99 {
 100   margin: 0px;
 101   border: none;
 102   border-bottom: thin solid black;
 103 }
 104
 105 .py-listing .python
 106 {
 107   margin-top: 0;
 108   margin-bottom: 0;
 109   border: none;
 110   border-bottom: thin solid black;
 111   }
 112
 113 .py-listing .htmlsource
 114 {
 115   margin-top: 0;
 116   margin-bottom: 0;
 117   border: none;
 118   border-bottom: thin solid black;
 119   }
 120
 121 .py-caption
 122 {
 123   text-align: center;
 124   padding-top: 0.5em;
 125   padding-bottom: 0.5em;
 126 }
 127
 128 .py-filename
 129 {
 130   font-style: italic;
 131   }
 132
 133 .manhole-output
 134 {
 135   color: blue;
 136 }
 137
 138 hr
 139 {
 140   display: inline;
 141   }
 142
 143 ul
 144 {
 145   padding: 0px;
 146   margin: 0px;
 147   margin-left: 1em;
 148   padding-left: 1em;
 149   border-left: 1em;
 150   }
 151
 152 li
 153 {
 154   padding: 2px;
 155   }
 156
 157 dt
 158 {
 159   font-weight: bold;
 160   margin-left: 1ex;
 161   }
 162
 163 dd
 164 {
 165   margin-bottom: 1em;
 166   }
 167
 168 div.note
 169 {
 170   background-color: #FFFFCC;
 171   margin-top: 1ex;
 172   margin-left: 5%;
 173   margin-right: 5%;
 174   padding-top: 1ex;
 175   padding-left: 5%;
 176   padding-right: 5%;
 177   border: thin black solid;
 178 }