Source/robodoc_basic_style.css

   1 /****h* ROBODoc/ROBODoc Cascading Style Sheet
   2  * FUNCTION
   3  *   This is the default cascading style sheet for documentation
   4  *   generated with ROBODoc.
   5  *   You can edit this file to your own liking and then use
   6  *   it with the option
   7  *      --css <filename>
   8  *
   9  *   This style-sheet defines the following layout
  10  *      +----------------------------------------+
  11  *      |    logo                                |
  12  *      +----------------------------------------+
  13  *      |    extra                               |
  14  *      +----------------------------------------+
  15  *      |                              | navi-   |
  16  *      |                              | gation  |
  17  *      |      content                 |         |
  18  *      |                              |         |
  19  *      +----------------------------------------+
  20  *      |    footer                              |
  21  *      +----------------------------------------+
  22  *
  23  *   This style-sheet is based on a style-sheet that was automatically
  24  *   generated with the Strange Banana stylesheet generator.
  25  *   See http://www.strangebanana.com/generator.aspx
  26  *
  27  ******
  28  * $Id: robodoc_basic_style.css,v 1.8 2007/05/10 14:20:58 thuffir Exp $
  29  */
  30
  31 body
  32 {
  33     background-color:    rgb(255,255,255);
  34     color:               rgb(98,84,55);
  35     font-family:         Arial, serif;
  36     border-color:        rgb(226,199,143);
  37 }
  38
  39 pre
  40 {
  41     font-family:      monospace;
  42     margin:      15px;
  43     padding:     5px;
  44     white-space: pre;
  45     color:       #000;
  46 }
  47
  48 pre.source
  49 {
  50     background-color: #ffe;
  51     border: dashed #aa9 1px;
  52 }
  53
  54 p
  55 {
  56     margin:15px;
  57 }
  58
  59 p.item_name
  60 {
  61     font-weight: bolder;
  62     margin:5px;
  63     font-size: 120%;
  64 }
  65
  66 #content
  67 {
  68     font-size:           100%;
  69     color:               rgb(0,0,0);
  70     background-color:    rgb(255,255,255);
  71     border-left-width:   0px;
  72     border-right-width:  0px;
  73     border-top-width:    0px;
  74     border-bottom-width: 0px;
  75     border-left-style:   none;
  76     border-right-style:  none;
  77     border-top-style:    none;
  78     border-bottom-style: none;
  79     padding:             40px 31px 14px 17px;
  80     border-color:        rgb(0,0,0);
  81     text-align:          justify;
  82 }
  83
  84 #navigation
  85 {
  86     background-color: rgb(98,84,55);
  87     color:            rgb(230,221,202);
  88     font-family:      "Times New Roman", serif;
  89     font-style:       normal;
  90     border-color:     rgb(0,0,0);
  91 }
  92
  93 a.menuitem
  94 {
  95     font-size: 120%;
  96     background-color:    rgb(0,0,0);
  97     color:               rgb(195,165,100);
  98     font-variant:        normal;
  99     text-transform:      none;
 100     font-weight:         normal;
 101     padding:             1px 8px 3px 1px;
 102     margin-left:         5px;
 103     margin-right:        5px;
 104     margin-top:          5px;
 105     margin-bottom:       5px;
 106     border-color:        rgb(159,126,57);
 107     text-align:          right;
 108 }
 109
 110 #logo, #logo a
 111 {
 112     font-size: 130%;
 113     background-color:   rgb(198,178,135);
 114     color:              rgb(98,84,55);
 115     font-family:        Georgia, serif;
 116     font-style:         normal;
 117     font-variant:       normal;
 118     text-transform:     none;
 119     font-weight:        bold;
 120     padding:            20px 18px 20px 18px;
 121     border-color:       rgb(255,255,255);
 122     text-align:         right;
 123 }
 124
 125 #extra, #extra a
 126 {
 127     font-size: 128%;
 128     background-color:    rgb(0,0,0);
 129     color:               rgb(230,221,202);
 130     font-style:          normal;
 131     font-variant:        normal;
 132     text-transform:      none;
 133     font-weight:         normal;
 134     border-left-width:   0px;
 135     border-right-width:  0px;
 136     border-top-width:    0px;
 137     border-bottom-width: 0px;
 138     border-left-style:   none;
 139     border-right-style:  none;
 140     border-top-style:    none;
 141     border-bottom-style: none;
 142     padding: 12px 12px 12px 12px;
 143     border-color:        rgb(195,165,100);
 144     text-align:          center;
 145 }
 146
 147 #content a
 148 {
 149     color:              rgb(159,126,57);
 150     text-decoration:    none;
 151 }
 152
 153 #content a:hover, #content a:active
 154 {
 155     color:              rgb(255,255,255);
 156     background-color:   rgb(159,126,57);
 157 }
 158
 159 a.indexitem
 160 {
 161     display: block;
 162 }
 163
 164 h1, h2, h3, h4, h5, h6
 165 {
 166     background-color: rgb(221,221,221);
 167     font-family:      Arial, serif;
 168     font-style:       normal;
 169     font-variant:     normal;
 170     text-transform:   none;
 171     font-weight:      normal;
 172 }
 173
 174 h1
 175 {
 176     font-size: 151%;
 177 }
 178
 179 h2
 180 {
 181     font-size: 142%;
 182 }
 183
 184 h3
 185 {
 186     font-size: 133%;
 187 }
 188
 189 h4
 190 {
 191     font-size: 124%;
 192 }
 193
 194 h5
 195 {
 196     font-size: 115%;
 197 }
 198
 199 h6
 200 {
 201     font-size: 106%;
 202 }
 203
 204 #navigation a
 205 {
 206     text-decoration: none;
 207 }
 208
 209 .menuitem:hover
 210 {
 211     background-color:   rgb(195,165,100);
 212     color:              rgb(0,0,0);
 213 }
 214
 215 #extra a
 216 {
 217     text-decoration: none;
 218 }
 219
 220 #logo a
 221 {
 222     text-decoration: none;
 223 }
 224
 225 #extra a:hover
 226 {
 227 }
 228
 229 /* layout */
 230 #navigation
 231 {
 232     width:       22%;
 233     position:    relative;
 234     top:         0;
 235     right:       0;
 236     float:       right;
 237     text-align:  center;
 238     margin-left: 10px;
 239 }
 240
 241 .menuitem       {width: auto;}
 242 #content        {width: auto;}
 243 .menuitem       {display: block;}
 244
 245
 246 div#footer
 247 {
 248     background-color: rgb(198,178,135);
 249     color:      rgb(98,84,55);
 250     clear:      left;
 251     width:      100%;
 252     font-size:   71%;
 253 }
 254
 255 div#footer a
 256 {
 257     background-color: rgb(198,178,135);
 258     color:            rgb(98,84,55);
 259 }
 260
 261 div#footer p
 262 {
 263     margin:0;
 264     padding:5px 10px
 265 }
 266
 267 span.keyword
 268 {
 269     color: #00F;
 270 }
 271
 272 span.comment
 273 {
 274     color: #080;
 275 }
 276
 277 span.quote
 278 {
 279     color: #F00;
 280 }
 281
 282 span.squote
 283 {
 284     color: #F0F;
 285 }
 286
 287 span.sign
 288 {
 289     color: #008B8B;
 290 }
 291
 292
 293 @media print
 294 {
 295     #navigation {display: none;}
 296     #content    {padding: 0px;}
 297     #content a  {text-decoration: underline;}
 298 }