stylesheets/screen.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: 0.5em; margin-bottom: 0.5em }
  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; font-weight: bold; }
  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 .header a:visited       { text-decoration: none; font-weight: bold; }
  68
  69 .footer a:hover,
  70 .header a:hover { text-decoration: underline; }
  71
  72 .header td      { border: none; }
  73 /* Various class definitions {{{1 */
  74
  75 div.title       { font-weight: bold; }
  76
  77 table.releases th,
  78 table.releases td,
  79 table.bugmail th,
  80 table.bugmail td        { border: none; padding-left: 0.2em; padding-right: 0.2em; }
  81 table.ccmd td   { border: 1px; padding-left: 2em; padding-right: 2em; }
  82
  83 .releases th    { text-align: center; font-weight: bold; }
  84 .bugmail th     { text-align: center; }
  85
  86 table           { margin-left: 1em; margin-right: 1em;
  87                   border: none; }
  88
  89 table.code, table.code tr, table.code td,
  90 {
  91         margin: 0em;
  92         padding: 0em;
  93         border: none;
  94         width: 100%;
  95 }
  96
  97 table.ccmd      { width: 80%; }
  98 table.ccmd, code.g { font-family: monospace; }
  99 table.ccmd td.g { width: 40%; }
 100 table.ccmd td.g, code.g { font-weight: bold; }
 101
 102 table[frame=hsides]
 103                 { border: 1px solid #000; }
 104 thead           { border-bottom: 1px solid #000; }
 105
 106 .validate       { font-size: 0.7em; text-align: right; margin: 0.4em 0em; }
 107 .hide           { display: none; }
 108
 109 /* Placement abbreviations that is commonly used. */
 110 .tcenter        { text-align: center; }
 111 .tright         { text-align: right; }
 112 .tleft          { text-align: left; }
 113 .fright         { float: right; }
 114 .fleft          { float: left; }