• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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}
147
148table.book span {
149	font-size: small ;
150	text-align: left ;
151	display: block ;
152	margin-top: 0.25em ;
153}
154
155p.logos a:link:hover, p.logos a:visited:hover {
156	background-color: inherit ;
157}
158
159img {
160	background-color: white ;
161}
162