1html {
  2	background-color: #F8F8F8 ;
  3}
  4
  5body {
  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
 19h1, 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
 27h1 {
 28	font-size: 28pt ;
 29}
 30
 31h1 img {
 32	vertical-align: text-bottom ;
 33}
 34
 35h2:before {
 36	content: "\2756" ;
 37	padding-right: 0.5em ;
 38}
 39
 40a {
 41	text-decoration: none ;
 42}
 43
 44a:link {
 45	color: #000080 ;
 46}
 47
 48a:link:hover, a:visited:hover {
 49	background-color: #D0D0FF ;
 50	color: #000080 ;
 51	border-radius: 4px ;
 52}
 53
 54a:link:active, a:visited:active {
 55	color: #FF0000 ;
 56}
 57
 58div.menubar {
 59	padding-bottom: 0.5em ;
 60}
 61
 62p.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
 80hr {
 81	display: none ;
 82}
 83
 84table 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
 98input[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
108pre.session {
109	background-color: #F8F8F8 ;
110	padding: 1em ;
111	border-radius: 8px ;
112}
113
114table {
115	border: none ;
116	border-spacing: 0 ;
117	border-collapse: collapse ;
118}
119
120td {
121	padding: 0 ;
122	margin: 0 ;
123}
124
125td.gutter {
126	width: 4% ;
127}
128
129table.columns td {
130	vertical-align: top ;
131	padding-bottom: 1em ;
132	text-align: justify ;
133	line-height: 1.25 ;
134}
135
136table.book td {
137	vertical-align: top ;
138}
139
140table.book td.cover {
141	padding-right: 1em ;
142}
143
144table.book img {
145	border: solid #000080 1px ;
146	border-radius: 2px ;
147}
148
149table.book span {
150	font-size: small ;
151	text-align: left ;
152	display: block ;
153	margin-top: 0.25em ;
154}
155
156p.logos a:link:hover, p.logos a:visited:hover {
157	background-color: inherit ;
158}
159
160img {
161	background-color: white ;
162}