contrib/html/style.css

   1 /* This is the default stylesheet for the screen media type. */
   2 /* Copyleft (c) 2002-2004 Jonas Fonseca <fonseca@diku.dk> */
   3
   4 /* General style settings for 'clean' html elements {{{1 */
   5
   6 body    { font-family: Arial, Helvetica, sans-serif; }
   7
   8 /* Link properties */
   9 a:visited,
  10 a       { text-decoration: underline; }
  11 a:hover { text-decoration: none; }
  12
  13 /* Specifically targeted on screenshoots/index.html */
  14 dt      { font-weight: bold; margin-top: 1em; }
  15
  16 h1      { font-size: 2em; text-align: center; margin: 1.4em; font-weight: normal; }
  17 h2      { font-size: 1.2em; margin-top: 2em }
  18 h3      { font-size: 1em; }
  19 h4      { font-size: 1em; text-decoration: underline; }
  20 h5      { font-size: 1em; font-style: italic; }
  21
  22 h2, h3, h4, h5
  23         { margin-left: 1em; margin-right: 1em; font-weight: bold; }
  24
  25 hr      { display: none; }
  26
  27 /* No borders around image links */
  28 img     { border: 0; }
  29
  30 pre     { padding: 1em; text-align: left;
  31         margin: 0.5em 4em; }
  32 var     { font-family: monospace; font-style: normal; }
  33
  34 ul li   { margin-top: 0em; margin-bottom: 0em }
  35 ul.toc li       { margin-top: 0em; margin-bottom: 0em }
  36
  37 /* Indent paragraphs etc. a bit to make them look nested. */
  38 ul li, dl, p, div.news
  39 {
  40         margin-left: 2em;
  41         margin-right: 2em;
  42 }
  43
  44 ul li, dl, p    { text-align: justify; }
  45
  46 /* Header and footer {{{1 */
  47
  48 .header,
  49 .footer { padding: 0.4em 1em; margin: 0em; }
  50
  51 .header { font-size: 1em; }
  52 .footer { font-size: 0.7em; }
  53
  54 .footer{ margin-top: 4em; }
  55
  56 .header span.menu,
  57 .footer span.menu       { text-align: right; display: block; }
  58
  59 .header #top,
  60 .footer span.left       { float: left; margin: 0em; }
  61
  62 .header #top            { display: inline; }
  63
  64 .footer a,
  65 .header a,
  66 .footer a:visited,
  67
  68 .footer a:hover,
  69
  70 .header td      { border: none; }
  71 /* Various class definitions {{{1 */
  72
  73 div.title       { font-weight: bold; }
  74
  75 table.releases th,
  76 table.releases td,
  77 table.bugmail th,
  78 table.bugmail td        { border: none; padding-left: 0.2em; padding-right: 0.2em; }
  79 table.ccmd td   { border: 1px; padding-left: 2em; padding-right: 2em; }
  80
  81 .releases th    { text-align: center; font-weight: bold; }
  82 .bugmail th     { text-align: center; }
  83
  84 table           { margin-left: 1em; margin-right: 1em;
  85                   border: none; }
  86
  87 table.code, table.code tr, table.code td,
  88 {
  89         margin: 0em;
  90         padding: 0em;
  91         border: none;
  92         width: 100%;
  93 }
  94
  95 table.ccmd      { width: 80%; }
  96 table.ccmd, code.g { font-family: monospace; }
  97 table.ccmd td.g { width: 40%; }
  98 table.ccmd td.g, code.g { font-weight: bold; }
  99
 100 table[frame=hsides]
 101                 { border: 1px solid #000; }
 102 thead           { border-bottom: 1px solid #000; }
 103
 104 .validate       { font-size: 0.7em; text-align: right; margin: 0.4em 0em; }
 105 .hide           { display: none; }
 106
 107 /* Placement abbreviations that is commonly used. */
 108 .tcenter        { text-align: center; }
 109 .tright         { text-align: right; }
 110 .tleft          { text-align: left; }
 111 .fright         { float: right; }
 112 .fleft          { float: left; }
 113
 114 body    { color: #000; background: #fff; }
 115 a       { color: #124; background: transparent; }
 116 h2, h3  { border-bottom: 1px solid #124; }
 117 dt      { font-weight: bold; }
 118
 119 pre
 120 {
 121         color: #124;
 122         background: #e8d4c2;
 123         border: 1px solid #124;
 124         font-weight: bold;
 125 }
 126
 127 .header, div.footer
 128 {
 129         border-top: 1px solid #000;
 130         border-bottom: 1px solid #000;
 131         color: #000;
 132         background: #fff;
 133         padding: 0px;
 134 }
 135
 136 div.footer a:visited,
 137 .header a:visited       { color: #124; background: transparent; }
 138
 139 table.releases,
 140 table.ccmd,
 141 table.bugmail           { border: 2px solid #124; }
 142
 143 table.bugmail th,
 144 table.releases th,
 145 tr.odd td               { background: #d9d8d1; color: #124; }
 146
 147 table.ccmd td.g         { background: #e9e8e1; color: #124; }
 148
 149