chiark - git - mdw - disorder/blob - disobedience/manual/disobedience.css

   1 /*
   2 This file is part of DisOrder.
   3 Copyright (C) 2009 Richard Kettlewell
   4
   5 This program is free software: you can redistribute it and/or modify
   6 it under the terms of the GNU General Public License as published by
   7 the Free Software Foundation, either version 3 of the License, or
   8 (at your option) any later version.
   9
  10 This program is distributed in the hope that it will be useful,
  11 but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 GNU General Public License for more details.
  14
  15 You should have received a copy of the GNU General Public License
  16 along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17 */
  18
  19 /* default font and colors */
  20 body {
  21   color: black;
  22   background-color: white;
  23   font-family: times,serif;
  24   font-weight: normal;
  25   font-size: 12pt;
  26   font-variant: normal
  27 }
  28
  29 /* general link colors */
  30 a {
  31   color: blue;
  32   text-decoration: none
  33 }
  34
  35 h2 a {
  36   color: black
  37 }
  38
  39 p.chapter a {
  40   color: black;
  41   font-family: helvetica,sans-serif;
  42   font-weight: bold;
  43   font-size: 18pt
  44 }
  45
  46 a:active {
  47   color: red
  48 }
  49
  50 a:visited {
  51   color: red
  52 }
  53
  54 /* title bars */
  55 h1 {
  56   font-family: helvetica,sans-serif;
  57   font-weight: bold;
  58   font-size: 18pt;
  59   font-variant: normal;
  60   text-align: center;
  61   border: 1px solid black;
  62   padding: 0.2em;
  63   background-color: #e0e0e0;
  64   display: block
  65 }
  66
  67 /* secondary titles */
  68 h2 {
  69   font-family: helvetica,sans-serif;
  70   font-weight: bold;
  71   font-size: 16pt;
  72   font-variant: normal;
  73   display: block
  74 }
  75
  76 td {
  77   vertical-align: top;
  78   padding: 8px
  79 }
  80
  81 table {
  82   margin-left: 2em
  83 }
  84
  85 p.image {
  86   text-align: center
  87 }