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: 1.2em; text-align: center; }
  17 h2      { font-size: 1.2em; margin-top: 2em }
  18 h3      { font-size: 1.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 /* Indent paragraphs etc. a bit to make them look nested. */
  35 ul li, dl, p, div.news
  36 {
  37         margin-left: 2em;
  38         margin-right: 2em;
  39 }
  40
  41 ul li, dl, p    { text-align: justify; }
  42
  43 /* Header and footer {{{1 */
  44
  45 .header,
  46 .footer { padding: 0.4em 1em; margin: 0em; }
  47
  48 .header { font-size: 1em; font-weight: bold; }
  49 .footer { font-size: 0.7em; }
  50
  51 .header span.menu,
  52 .footer span.menu       { text-align: right; display: block; }
  53
  54 .header #top,
  55 .footer span.left       { float: left; margin: 0em; }
  56
  57 .header #top            { display: inline; }
  58
  59 .footer a,
  60 .header a,
  61 .footer a:visited,
  62 .header a:visited       { text-decoration: none; font-weight: bold; }
  63
  64 .footer a:hover,
  65 .header a:hover { text-decoration: underline; }
  66
  67 .header td      { border: none; }
  68 /* Various class definitions {{{1 */
  69
  70 div.title       { font-weight: bold; }
  71
  72 table.releases th,
  73 table.releases td,
  74 table.bugmail th,
  75 table.bugmail td        { border: none; padding-left: 0.2em; padding-right: 0.2em; }
  76 table.ccmd td   { border: 1px; padding-left: 2em; padding-right: 2em; }
  77
  78 .releases th    { text-align: center; font-weight: bold; }
  79 .bugmail th     { text-align: center; }
  80
  81 table           { margin-left: 1em; margin-right: 1em;
  82                   border: none; }
  83
  84 table.code, table.code tr, table.code td,
  85 {
  86         margin: 0em;
  87         padding: 0em;
  88         border: none;
  89         width: 100%;
  90 }
  91
  92 table.ccmd      { width: 80%; }
  93 table.ccmd, code.g { font-family: monospace; }
  94 table.ccmd td.g { width: 40%; }
  95 table.ccmd td.g, code.g { font-weight: bold; }
  96
  97 table[frame=hsides]
  98                 { border: 1px solid #000; }
  99 thead           { border-bottom: 1px solid #000; }
 100
 101 .validate       { font-size: 0.7em; text-align: right; margin: 0.4em 0em; }
 102 .hide           { display: none; }
 103
 104 /* Placement abbreviations that is commonly used. */
 105 .tcenter        { text-align: center; }
 106 .tright         { text-align: right; }
 107 .tleft          { text-align: left; }
 108 .fright         { float: right; }
 109 .fleft          { float: left; }