/docs/style.css

  1body
  2{
  3	margin: 0;
  4	padding: 0;
  5	border: 0;
  6	color: black;
  7	background-color: whiteSmoke;
  8	font-size: 100%;
  9	font-family: Verdana, "Deja Vu", "Bitstream Vera Sans", sans-serif;
 10}
 11
 12div#header
 13{
 14	padding: 1em;
 15}
 16
 17div#navigation
 18{
 19	font-size: 0.875em;
 20	float: left;
 21	padding: 0 1.5em;
 22	margin-bottom: 2em;
 23}
 24
 25div#navigation h2
 26{
 27	font-family: Verdana, "Deja Vu", "Bitstream Vera Sans", sans-serif;
 28	font-size: 1.35em;
 29	color: #17457C;
 30	margin: 0;
 31}
 32
 33div#navigation ul
 34{
 35	list-style-type: none;
 36	margin: 0;
 37	padding: 0;
 38}
 39
 40div#navigation li
 41{
 42	margin: 0 0 0 0.8em;
 43	padding: 0;
 44}
 45
 46#navigation a
 47{
 48	display: block;
 49	color: #17457C;
 50	text-decoration: none;
 51	padding: 0.1em 0;
 52	border-bottom: 1px dotted #D0D0D0;
 53}
 54
 55#navigation a:hover
 56{
 57	color: darkRed;
 58}
 59
 60#navigation a.active
 61{
 62	color: black;
 63	border-color: black;
 64}
 65
 66div#content
 67{
 68	min-height: 440px;
 69	max-width: 76em;
 70	margin-left: 18em;
 71	margin-right: 1.6em;
 72	padding: 1.6em;
 73	padding-top: 1.3em;
 74	border: 0.6em solid #D0D0D0;
 75	background-color: white;
 76	font-size: 0.875em;
 77	line-height: 1.4em;
 78}
 79
 80div#content li
 81{
 82	padding-bottom: .7ex;
 83}
 84
 85div#copyright
 86{
 87	clear: both;
 88	margin-top: 2em;
 89	padding: 1em 2em;
 90	background-color: #E4E9EF;
 91	color: #17457C;
 92	font-size: 0.75em;
 93	text-align: center;
 94}
 95
 96div#copyright a
 97{
 98	color: #17457C;
 99}
100
101#lastupdate
102{
103	float: right;
104	margin: -1.5em;
105	margin-bottom: 0;
106	text-align: right;
107	font-size: 0.8em;
108	font-style: italic;
109	color: #D0D0D0;
110}
111
112h1, h2, h3, h4, h5, h6
113{
114	font-family: Georgia, "Times New Roman", Times, serif;
115	font-weight: normal;
116	color: darkRed;
117	line-height: normal;
118	text-align: left;
119}
120
121h1
122{
123	margin-top: 0;
124	font-size: 2.5em;
125}
126
127h2
128{
129	font-size: 1.7em;
130}
131
132h3
133{
134	font-size: 1.35em;
135}
136
137h4
138{
139	font-size: 1.15em;
140	font-style: italic;
141	margin-bottom: 0;
142}
143
144pre
145{
146	background: whiteSmoke;
147	padding: 1ex;
148	margin: 1em 0 1em 3em;
149	font-family: monospace;
150	font-size: 1.2em;
151	line-height: normal;
152	border: 1px solid #ccc;
153	width: auto;
154	white-space: pre-wrap;       /* css-3 */
155	white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
156	white-space: -pre-wrap;      /* Opera 4-6 */
157	white-space: -o-pre-wrap;    /* Opera 7 */
158	word-wrap: break-word;       /* Internet Explorer 5.5+ */
159}
160
161dd
162{
163	padding: 1ex;
164	margin-left: 3em;
165	margin-bottom: 1em;
166}
167
168hr
169{
170	margin: 2em 0;
171}
172
173a
174{
175	color: #006;
176}
177
178a:visited
179{
180	color: #606;
181}
182
183td
184{
185	vertical-align: top;
186}
187
188.d_inlinecode
189{
190	font-family: monospace;
191	font-weight: bold;
192}
193
194.d_decl {
195    font-weight: bold;
196    background-color: #E4E9EF;
197    border-bottom: solid 2px #17457C;
198    padding: 2px 0px 2px 2px;
199}
200
201/* Elements of D source code text */
202.d_comment { color: green; }
203.d_string  { color: red; }
204.d_keyword { color: blue; }
205.d_psymbol { text-decoration: underline; }
206.d_param   { font-style: italic; }
207
208/* Focal symbol that is being documented */
209.ddoc_psymbol { color: #17457C; }