Home | History | Annotate | Download | only in doc 
      1 html {
      2 	background-color: #F8F8F8 ;
      3 }
      4 
      5 body {
      6 	background-color: #FFFFFF ;
      7 	color: #000000 ;
      8 	font-family: Helvetica, Arial, sans-serif ;
      9 	text-align: justify ;
     10 	line-height: 1.25 ;
     11 	margin: 16px auto ;
     12 	padding: 32px ;
     13 	border: solid #ccc 1px ;
     14 	border-radius: 20px ;
     15 	max-width: 70em ;
     16 	width: 90% ;
     17 }
     18 
     19 h1, h2, h3, h4 {
     20 	color: #000080 ;
     21 	font-family: Verdana, Geneva, sans-serif ;
     22 	font-weight: normal ;
     23 	font-style: normal ;
     24 	text-align: left ;
     25 }
     26 
     27 h1 {
     28 	font-size: 28pt ;
     29 }
     30 
     31 h1 img {
     32 	vertical-align: text-bottom ;
     33 }
     34 
     35 h2:before {
     36 	content: "\2756" ;
     37 	padding-right: 0.5em ;
     38 }
     39 
     40 a {
     41 	text-decoration: none ;
     42 }
     43 
     44 a:link {
     45 	color: #000080 ;
     46 }
     47 
     48 a:link:hover, a:visited:hover {
     49 	background-color: #D0D0FF ;
     50 	color: #000080 ;
     51 	border-radius: 4px ;
     52 }
     53 
     54 a:link:active, a:visited:active {
     55 	color: #FF0000 ;
     56 }
     57 
     58 div.menubar {
     59 	padding-bottom: 0.5em ;
     60 }
     61 
     62 p.menubar {
     63 	margin-left: 2.5em ;
     64 }
     65 
     66 .menubar a:hover  {
     67 	margin: -3px -3px -3px -3px ;
     68 	padding: 3px  3px  3px  3px ;
     69 	border-radius: 4px ;
     70 }
     71 
     72 :target {
     73 	background-color: #F0F0F0 ;
     74 	margin: -8px ;
     75 	padding: 8px ;
     76 	border-radius: 8px ;
     77 	outline: none ;
     78 }
     79 
     80 hr {
     81 	display: none ;
     82 }
     83 
     84 table hr {
     85 	background-color: #a0a0a0 ;
     86 	color: #a0a0a0 ;
     87 	border: 0 ;
     88 	height: 1px ;
     89 	display: block ;
     90 }
     91 
     92 .footer {
     93 	color: gray ;
     94 	font-size: x-small ;
     95 	text-transform: lowercase ;
     96 }
     97 
     98 input[type=text] {
     99 	border: solid #a0a0a0 2px ;
    100 	border-radius: 2em ;
    101 	background-image: url('images/search.png') ;
    102 	background-repeat: no-repeat ;
    103 	background-position: 4px center ;
    104 	padding-left: 20px ;
    105 	height: 2em ;
    106 }
    107 
    108 pre.session {
    109 	background-color: #F8F8F8 ;
    110 	padding: 1em ;
    111 	border-radius: 8px ;
    112 }
    113 
    114 table {
    115 	border: none ;
    116 	border-spacing: 0 ;
    117 	border-collapse: collapse ;
    118 }
    119 
    120 td {
    121 	padding: 0 ;
    122 	margin: 0 ;
    123 }
    124 
    125 td.gutter {
    126 	width: 4% ;
    127 }
    128 
    129 table.columns td {
    130 	vertical-align: top ;
    131 	padding-bottom: 1em ;
    132 	text-align: justify ;
    133 	line-height: 1.25 ;
    134 }
    135 
    136 table.book td {
    137 	vertical-align: top ;
    138 }
    139 
    140 table.book td.cover {
    141 	padding-right: 1em ;
    142 }
    143 
    144 table.book img {
    145 	border: solid #000080 1px ;
    146 }
    147 
    148 table.book span {
    149 	font-size: small ;
    150 	text-align: left ;
    151 	display: block ;
    152 	margin-top: 0.25em ;
    153 }
    154 
    155 p.logos a:link:hover, p.logos a:visited:hover {
    156 	background-color: inherit ;
    157 }
    158 
    159 img {
    160 	background-color: white ;
    161 }
    162