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 .header span.menu,
  55 .footer span.menu       { text-align: right; display: block; }
  56
  57 .header #top,
  58 .footer span.left       { float: left; margin: 0em; }
  59
  60 .header #top            { display: inline; }
  61
  62 .footer a,
  63 .header a,
  64 .footer a:visited,
  65 .header a:visited       { text-decoration: none; font-weight: bold; }
  66
  67 .footer a:hover,
  68 .header a:hover { text-decoration: underline; }
  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; }