doc/misc-docs/styles.css

   1 /************************************************************************/
   2 /* Custom style-sheet stuffs for the Subversion book in HTML form.      */
   3 /************************************************************************/
   4
   5 body
   6 {
   7     background: white;
   8     margin: 0.5in;
   9     font-family: arial,helvetica,sans-serif;
  10 }
  11
  12 h1.title
  13 {
  14     font-size: 250%;
  15     font-style: normal;
  16     font-weight: bold;
  17     color: black;
  18 }
  19
  20 h2.subtitle
  21 {
  22     font-size: 150%;
  23     font-style: italic;
  24     color: black;
  25 }
  26
  27 h2.title
  28 {
  29     font-size: 150%;
  30     font-style: normal;
  31     font-weight: bold;
  32     color: black;
  33 }
  34
  35 h3.title
  36 {
  37     font-size: 125%;
  38     font-style: normal;
  39     font-weight: bold;
  40     color: black;
  41 }
  42
  43 h4.title
  44 {
  45     font-size: 100%;
  46     font-style: normal;
  47     font-weight: bold;
  48     color: black;
  49 }
  50
  51 .toc b
  52 {
  53     font-size: 125%;
  54     font-style: normal;
  55     font-weight: bold;
  56     color: black;
  57 }
  58
  59 p,li,ul,ol,dd,dt
  60 {
  61     font-style: normal;
  62     font-weight: normal;
  63     color: black;
  64 }
  65
  66 tt,pre
  67 {
  68     font-family: courier new,courier,fixed;
  69 }
  70
  71 .command, .screen, .programlisting
  72 {
  73     font-family: courier new,courier,fixed;
  74     font-style: normal;
  75     font-weight: normal;
  76 }
  77
  78 .filename
  79 {
  80     font-family: arial,helvetica,sans-serif;
  81     font-style: italic;
  82 }
  83
  84 a
  85 {
  86     color: blue;
  87     text-decoration: underline;
  88 }
  89
  90 a:hover
  91 {
  92     background: rgb(75%,75%,100%);
  93     color: blue;
  94     text-decoration: underline;
  95 }
  96
  97 a:visited
  98 {
  99     color: purple;
 100     text-decoration: underline;
 101 }
 102
 103 img
 104 {
 105     border: none;
 106 }
 107
 108 .figure, .example, .table
 109 {
 110     margin: 0.125in 0.5in;
 111 }
 112
 113 .table table
 114 {
 115     border-width: 1px;
 116     border-style: solid;
 117     border-color: black;
 118     border-spacing: 0;
 119     background: rgb(240,240,240);
 120 }
 121
 122 .table td
 123 {
 124     border: none;
 125     border-right: 1px black solid;
 126     border-bottom: 1px black solid;
 127     padding: 2px;
 128 }
 129
 130 .table th
 131 {
 132     background: rgb(180,180,180);
 133     border: none;
 134     border-right: 1px black solid;
 135     border-bottom: 1px black solid;
 136     padding: 2px;
 137 }
 138
 139 .table p.title, .figure p.title, .example p.title
 140 {
 141     text-align: left !important;
 142     font-size: 100% !important;
 143 }
 144
 145 .author
 146 {
 147     font-size: 100%;
 148     font-style: italic;
 149     font-weight: normal;
 150     color: black;
 151 }
 152
 153 .sidebar
 154 {
 155     border-top: dotted 1px black;
 156     border-left: dotted 1px black;
 157     border-right: solid 2px black;
 158     border-bottom: solid 2px black;
 159     background: rgb(240,220,170);
 160     padding: 0 0.12in;
 161     margin: 0.5in;
 162 }
 163
 164 .note .programlisting, .note .screen,
 165 .tip .programlisting, .tip .screen,
 166 .warning .programlisting, .warning .screen,
 167 .sidebar .programlisting, .sidebar .screen
 168 {
 169     border: none;
 170     background: none;
 171 }
 172
 173 .sidebar p.title
 174 {
 175     text-align: center;
 176     font-size: 125%;
 177 }
 178
 179 .note
 180 {
 181     border: black solid 1px;
 182     background: url(./images/note.png) no-repeat rgb(252,246,220);
 183     margin: 0.12in 0;
 184     padding: 0 55px;
 185 }
 186
 187 .tip
 188 {
 189     border: black solid 1px;
 190     background: url(./images/info.png) no-repeat rgb(224,244,255);
 191     margin: 0.12in 0;
 192     padding: 0 55px;
 193 }
 194
 195 .warning
 196 {
 197     border: black solid 1px;
 198     background: url(./images/warning.png) no-repeat rgb(255,210,210);
 199     margin: 0.12in 0;
 200     padding: 0 55px;
 201 }
 202
 203 .programlisting, .screen
 204 {
 205     font-size: 90%;
 206     color: black;
 207     margin: 1em 0.5in;
 208     padding: 0.5em;
 209     background: rgb(240,240,240);
 210     border-top: black dotted 1px;
 211     border-left: black dotted 1px;
 212     border-right: black solid 2px;
 213     border-bottom: black solid 2px;
 214 }
 215
 216 .navheader, .navfooter
 217 {
 218     border: black solid 1px;
 219     background: rgb(180,180,200);
 220 }
 221
 222 .navheader hr, .navfooter hr
 223 {
 224     display: none;
 225 }