1/*
2Copyright (C) 2021, Dirk Krause. All rights reserved.
3SPDX-License-Identifier: BSD-3-Clause
4*/
5
6/*
7	Screen representation
8	=====================
9
10*/
11
12
13/*
14	Use grid layout if screen is wide enough
15	----------------------------------------
16*/
17@media screen AND (min-width: 50em) {
18  body {
19    display:			grid;
20    grid-template-columns:	auto auto;
21    grid-template-rows:		auto auto auto;
22    grid-gap:			1em;
23  }
24  header {
25    grid-column:		1 / span 2;
26    grid-row:			1;
27  }
28  main {
29    grid-column:		1;
30    grid-row:			2;
31    display:			block;
32    clear:			both;
33  }
34  nav {
35    grid-column:		2;
36    grid-row:			2;
37  }
38  footer {
39    grid-column:		1 / span 2;
40    grid-row:			3;
41  }
42}
43
44@media screen AND (max-width: 50em) {
45  body {
46    display:			grid;
47    grid-template-columns:	auto;
48    grid-template-rows:		auto auto auto auto;
49    grid-gap:			1em;
50  }
51  header {
52    grid-column:		1;
53    grid-row:			1;
54    margin-bottom:		0.5em;
55  }
56  main {
57    grid-column:		1;
58    grid-row:			2;
59    display:			block;
60    clear:			both;
61  }
62  nav {
63    grid-column:		1;
64    grid-row:			3;
65  }
66  footer {
67    grid-column:		1;
68    grid-row:			4;
69    margin-top:			0.5em;
70    margin-bottom:		0.5em;
71  }
72  div.hb_nm_div {
73    display:			flex;
74    flex-direction:		row;
75    flex-wrap:			wrap;
76  }
77}
78
79@media screen AND (min-width: 40em) {
80  div.hb_div_header_left {
81    float:			left;
82  }
83  div.hb_div_header_center {
84  }
85  div.hb_div_header_right {
86    float:			right;
87  }
88}
89
90@media screen AND (min-width: 15em) {
91  div.hb_div_footer_left {		/* Template: Left footer part */
92    float:			left;
93  }
94  div.hb_div_footer_center {		/* Template: Center footer part */
95  }
96  div.hb_div_footer_right {		/* Template: Right footer part */
97    float:			right;
98  }
99}
100
101
102/*	Set max-width only to 65em if it would be larger without
103	the constraint.
104*/
105@media screen AND (min-width: 66em) {
106  body {
107    max-width:			65em;
108  }
109}
110
111
112/*
113	Block properties,
114	borders,
115	colors,
116	font properties,
117	text decoration
118	----------------
119*/
120@media screen {
121  /*
122  	General setings
123  */
124  body {
125    margin:			0 auto;
126    padding-top:		0.5em;
127    padding-bottom:		0.5em;
128    padding-left:		0.5em;
129    padding-right:		0.5em;
130    background-color:		FloralWhite;
131    color:			Black;
132  }
133  header {
134    background-color:		Bisque;
135    padding-top:		0.5em;
136    padding-bottom:		0.5em;
137    padding-left:		0.5em;
138    padding-right:		0.5em;
139    text-align:			center;
140  }
141  main {
142    display:			block;
143  }
144  nav {
145    font-family:		sans-serif;
146    font-size:			smaller;
147  }
148  footer {
149    background-color:		Bisque;
150    padding-top:		0.5em;
151    padding-bottom:		0.5em;
152    padding-left:		0.5em;
153    padding-right:		0.5em;
154  }
155  pre {
156    background-color:		#FFFFE8;
157    border-width:		1px;
158    border-style:		solid;
159    border-color:		black;
160    padding-top:		0.5em;
161    padding-left:		1em;
162    padding-right:		1em;
163    padding-bottom:		0.5em;
164    margin-top:			0.5em;
165    margin-bottom:		0.5em;
166    overflow:			auto;
167    max-width:			45em;
168  }
169  ul > li > pre {
170    max-width:			42em;
171  }
172  ul > li > ul > li > pre {
173    max-width:			39em;
174  }
175  pre > i {
176    font-family:		inherit;
177    font-style:			italic;
178  }
179  pre code::before {
180    content:			attr(title)':\20';
181    font-weight:		bold;
182    color:			#999999;
183  }
184  pre:hover code::before {
185    content:			'\20\20\20\20\20';
186  }
187
188  a:link {				/* HB: Default links setup */
189    color:			DodgerBlue;
190    text-decoration:		none;
191  }
192  a:visited {
193    color:			RebeccaPurple;
194    text-decoration:		none;
195  }
196  a:focus {
197    color:			DodgerBlue;
198    text-decoration:		underline;
199  }
200  a:hover {
201    color:			DodgerBlue;
202    text-decoration:		underline;
203  }
204  a:active {
205    color:			DodgerBlue;
206    text-decoration:		underline;
207  }
208  /*
209  	Position table in top of contents
210  */
211  div.hb_pos_div {			/* HB: Outer div position indicator */
212    margin-top:			0.5em;
213  }
214  table.hb_pos_ta {			/* HB: Table in position indicator */
215    font-family:		sans-serif;
216    font-size:			smaller;
217  }
218  tr.hb_pos_tr {			/* HB: Row in this table */
219  }
220  td.hb_pos_td_arrow {			/* HB: Non-text td in this table */
221    text-align:			center;
222    vertical-align:		top;
223    font-family:		sans-serif;
224    font-size:			smaller;
225  }
226  td.hb_pos_td_text {			/* HB: Text td in this table */
227    text-align:			left;
228    vertical-align:		top;
229    font-family:		sans-serif;
230    font-size:			smaller;
231  }
232  /*
233  	Navigation button bar
234  */
235  div.hb_navigation {			/* HB: Navigation bar div */
236  }
237  a.hb_navi_a:link {			/* HB: Link in navigation bar */
238  }					/* For these links we specify nothing */
239  a.hb_navi_a:visited {			/* as there is not text in the links */
240  }					/* just images with 0 border. */
241  a.hb_navi_a:focus {			/* So any specification has no effect */
242  }					/* at all. */
243  a.hb_navi_a:hover {
244  }
245  a.hb_navi_a:active {
246  }
247  img.hb_navi_img {			/* HB: Image in navigation bar link */
248  }
249  /*
250  	Page table of contents
251  */
252  div.hb_div_ptoc {			/* HB: Page TOC outer div */
253    margin-top:			1em;
254    padding-top:		0.5em;
255    padding-bottom:		0.5em;
256    padding-left:		1em;
257    font-family:		sans-serif;
258    font-size:			smaller;
259    border-left-color:		Silver;
260    border-left-style:		solid;
261    border-left-width:		medium;
262  }
263  div.hb_div_ptoc_header {		/* HB: Page TOC header div */
264  }
265  span.hb_span_ptoc {			/* HB: Page TOC header span */
266  }
267  span.hb_span_ptoc_button {		/* HB: Page TOC button span */
268  }
269  span.hb_span_ptoc_button_left {	/* HB: Left button border */
270  }
271  span.hb_span_ptoc_button_text {	/* HB: Button text */
272  }
273  span.hb_span_ptoc_button_right {	/* HB: Right button border */
274  }
275  form.hb_ptoc_form {			/* HB: Form containing the checkbox */
276    display:			none;
277  }
278  div.hb_div_ptoc_inner {		/* HB: Page TOC body div */
279    margin-top:			1em;
280  }
281  table.hb_ptoc_ta {			/* HB: Page TOC table */
282  }
283  tr.hb_ptoc_tr {			/* HB: Row in this table */
284  }
285  td.hb_ptoc_td_empty {			/* HB: Empty cell in this table */
286    width:			3ex;
287  }
288  td.hb_ptoc_td_data {			/* HB: Data cell in this table */
289    font-family:		sans-serif;
290    font-size:			smaller;
291    text-align:			left;
292    vertical-align:		top;
293  }
294  a.hb_ptoc_a:link {			/* HB: Link in this table */
295    text-decoration:		none;
296  }
297  a.hb_ptoc_a:visited {
298    text-decoration:		none;
299  }
300  a.hb_ptoc_a:focus {
301    text-decoration:		underline;
302  }
303  a.hb_ptoc_a:hover {
304    text-decoration:		underline;
305  }
306  a.hb_ptoc_a:active {
307    text-decoration:		underline;
308  }
309  /*
310  	Document table of contents at start page
311  */
312  div.hb_dtoc_div {			/* HB: Document TOC div */
313  }
314  h2.hb_dtoc_h2 {			/* HB: Document TOC header */
315  }
316  table.hb_dtoc_ta {			/* HB: Document TOC table */
317  }
318  tr.hb_dtoc_tr {			/* HB: Row in this table */
319  }
320  td.hb_dtoc_td_space {			/* HB: Empty cell in this table */
321  }
322  td.hb_dtoc_td_entry {			/* HB: Data cell in this table */
323    font-family:		sans-serif;
324    font-size:			smaller;
325  }
326  a.hb_dtoc_a:link {			/* HB: Link in this table */
327    text-decoration:		none;
328  }
329  a.hb_dtoc_a:visited {
330    text-decoration:		none;
331  }
332  a.hb_dtoc_a:focus {
333    text-decoration:		underline;
334  }
335  a.hb_dtoc_a:hover {
336    text-decoration:		underline;
337  }
338  a.hb_dtoc_a:active {
339    text-decoration:		underline;
340  }
341  /*
342  	Keyword index at start page
343  */
344  div.hb_ki_div {			/* HB: Keyword index div */
345  }
346  h2.hb_ki_h2 {				/* HB: Keyword index header */
347  }
348  dl.hb_ki_dl {				/* HB: Keyword index keyword list */
349  }
350  dt.hb_ki_dt {				/* HB: Keyword index keyword */
351    font-weight:		bold;
352  }
353  dd.hb_ki_dd {				/* HB: Keyword index keyword text */
354  }
355  ul.hb_ki_ul {				/* HB: Keyword index page list */
356  }
357  li.hb_ki_li {				/* HB: Keyword index page item */
358    list-style:			none;
359    font-family:		sans-serif;
360    font-size:			smaller;
361  }
362  a.hb_ki_a:link {			/* HB: Keyword index page link */
363    text-decoration:		none;
364  }
365  a.hb_ki_a:visited {
366    text-decoration:		none;
367  }
368  a.hb_ki_a:focus {
369    text-decoration:		underline;
370  }
371  a.hb_ki_a:hover {
372    text-decoration:		underline;
373  }
374  a.hb_ki_a:active {
375    text-decoration:		underline;
376  }
377  /*
378  	External links collection at end of contents
379  */
380  div.hb_link_div {			/* HB: External link collection div */
381    display:			none;
382  }
383  table.hb_link_ta {			/* HB: External link collection table */
384  }
385  td.hb_link_td_number {		/* HB: Number cell in this table */
386    text-align:			center;
387    vertical-align:		top;
388  }
389  td.hb_link_td_url {			/* HB: URL cell in this table */
390    text-align:			left;
391    vertical-align:		top;
392  }
393  span.hb_link_number {			/* HB: Number in text, not in list */
394    display:			none;
395  }
396  /*
397  	Navigation menu
398  */
399  div.hb_nm_div {			/* HB: Navigation menu div */
400    border:			thick solid Bisque;
401  }
402  ul.hb_nm_ul {				/* HB: Navigation menu list */
403    list-style:			none;
404    margin-top:			1em;
405    margin-bottom:		1em;
406    padding-right:		2em;
407  }
408  li.hb_nm_sep {			/* HB: Separator in this list */
409  }
410  li.hb_nm_c {				/* HB: Current item in this list */
411    color:			MidnightBlue;
412    font-weight:		bold;
413  }
414  li.hb_nm_li {				/* HB: Normal item in this list */
415  }
416  a.hb_nm_a {
417    color:			MidnightBlue;
418    text-decoration:		none;
419  }
420  a.hb_nm_a:link {			/* HB: Link in this list */
421    color:			MidnightBlue;
422    text-decoration:		none;
423  }
424  a.hb_nm_a:visited {
425    color:			MidnightBlue;
426    text-decoration:		none;
427  }
428  a.hb_nm_a:focus {
429    color:			MidnightBlue;
430    text-decoration:		underline;
431  }
432  a.hb_nm_a:hover {
433    color:			MidnightBlue;
434    text-decoration:		underline;
435  }
436  a.hb_nm_a:active {
437    color:			MidnightBlue;
438    text-decoration:		underline;
439  }
440  a.hb_nm_a_parent {
441    color:			MidnightBlue;
442    text-decoration:		none;
443    font-weight:		bold;
444  }
445  a.hb_nm_a_parent:link {		/* HB: Link in this list */
446    color:			MidnightBlue;
447    text-decoration:		none;
448    font-weight:		bold;
449  }
450  a.hb_nm_a_parent:visited {
451    color:			MidnightBlue;
452    text-decoration:		none;
453    font-weight:		bold;
454  }
455  a.hb_nm_a_parent:focus {
456    color:			MidnightBlue;
457    text-decoration:		underline;
458    font-weight:		bold;
459  }
460  a.hb_nm_a_parent:hover {
461    color:			MidnightBlue;
462    text-decoration:		underline;
463    font-weight:		bold;
464  }
465  a.hb_nm_a_parent:active {
466    color:			MidnightBlue;
467    text-decoration:		underline;
468    font-weight:		bold;
469  }
470  /*
471  	Image downloads
472  */
473  div.hb_img_div_outer {		/* HB: Image outer div */
474    margin-top:			1.5em;
475    margin-bottom:		1.5em;
476  }
477  div.hb_img_div_no_vspace {
478    margin-top:			0.25em;
479    margin-bottom:		0.25em;
480  }
481  div.hb_img_div_inner_img {		/* HB: Image inner div */
482    float:			left;
483    vertical-align:		top;
484    text-align:			left;
485    margin-right:		2em;
486    min-height:			3em;
487  }
488  div.hb_img_div_inner_img_centered {	/* HB: Image centered div */
489    float:			left;
490    vertical-align:		top;
491    text-align:			center;
492    margin-right:		2em;
493    min-height:			3em;
494  }
495  span.hb_img_caption {			/* HB: Image caption */
496    margin-top:			1em;
497  }
498  table.hb_img_ta {			/* HB: Image table */
499  }
500  tr.hb_img_tr {			/* HB: Row in this table */
501  }
502  td.hb_img_td_img {			/* HB: Image cell in this table */
503    vertical-align:		top;
504    text-align:			center;
505  }
506  td.hb_img_td_empty {			/* HB: Empty cell in this table */
507    width:			5ex;
508  }
509  td.hb_img_td_a {			/* HB: Link cell in this table */
510    vertical-align:		top;
511    text-align:			left;
512  }
513  p.hb_img_p_download {			/* HB: Downloads paragraph for image */
514  }
515  a.hb_img_a_larger:link {		/* HB: Link to view larger version */
516    font-family:		sans-serif;
517    font-size:			smaller;
518    text-decoration:		none;
519  }
520  a.hb_img_a_larger:visited {
521    font-family:		sans-serif;
522    font-size:			smaller;
523    text-decoration:		none;
524  }
525  a.hb_img_a_larger:focus {
526    font-family:		sans-serif;
527    font-size:			smaller;
528    text-decoration:		underline;
529  }
530  a.hb_img_a_larger:hover {
531    font-family:		sans-serif;
532    font-size:			smaller;
533    text-decoration:		underline;
534  }
535  a.hb_img_a_larger:active {
536    font-family:		sans-serif;
537    font-size:			smaller;
538    text-decoration:		underline;
539  }
540  /*
541  	Menu entry
542  */
543  table.hb_me_ta {			/* HB: Table to show a menu entry */
544    background-color:		Silver;
545  }
546  tr.hb_me_tr {				/* HB: Row in this table */
547  }
548  /*
549  	Show a code file
550  */
551  div.hb_file_div {			/* HB: Code file division */
552    background-color:		#FFFFE8;
553    border-width:		1px;
554    border-style:		solid;
555    border-color:		black;
556    padding-top:		0.5em;
557    padding-left:		1em;
558    padding-right:		1em;
559    padding-bottom:		0.5em;
560    margin-top:			0.5em;
561    margin-bottom:		0.5em;
562    max-width:			45em;
563  }
564  div.hb_file_div > pre {
565    border-style:		none;
566    padding-top:		0.5em;
567    padding-left:		0px;
568    padding-right:		0px;
569    padding-bottom:		0px;
570    margin-top:			0px;
571    margin-left:		0px;
572    margin-right:		0px;
573    margin-bottom:		0px;
574    overflow:			auto;
575  }
576  div.hb_file_div pre > i {
577    font-family:		inherit;
578    font-style:			italic;
579  }
580  a.hb_file_a:link {			/* HB: Link to download the file */
581    font-weight:		bold;
582    text-decoration:		none;
583  }
584  a.hb_file_a:visited {
585    font-weight:		bold;
586    text-decoration:		none;
587  }
588  a.hb_file_a:focus {
589    font-weight:		bold;
590    text-decoration:		underline;
591  }
592  a.hb_file_a:hover {
593    font-weight:		bold;
594    text-decoration:		underline;
595  }
596  a.hb_file_a:active {
597    font-weight:		bold;
598    text-decoration:		underline;
599  }
600  /*
601  	External links
602  */
603  a.hb_a_e:link {
604  }
605  a.hb_a_e:visited {
606  }
607  a.hb_a_e:focus {
608  }
609  a.hb_a_e:hover {
610  }
611  a.hb_a_e:active {
612  }
613  /*
614  	Internal links
615  */
616  a.hb_a_i:link {
617    color:			MidnightBlue;
618    text-decoration:		none;
619  }
620  a.hb_a_i:visited {
621    color:			MidnightBlue;
622    text-decoration:		none;
623  }
624  a.hb_a_i:focus {
625    color:			MidnightBlue;
626    text-decoration:		underline;
627  }
628  a.hb_a_i:hover {
629    color:			MidnightBlue;
630    text-decoration:		underline;
631  }
632  a.hb_a_i:active {
633    color:			MidnightBlue;
634    text-decoration:		underline;
635  }
636
637  /*
638  	Template web.hbt
639  */
640  span.title {				/* Title span in header */
641  }
642  div.contents_from_text {		/* Template: Contents div */
643  }
644  div.hb_div_navigation_top {		/* Template: Navigation bar on top */
645    margin-bottom:		0.5em;
646  }
647  div.hb_div_navigation_bottom {	/* Template: Navigation bar bottom */
648    margin-top:			0.5em;
649    margin-bottom:		0.5em;
650  }
651  div.hb_div_footer_left {		/* Template: Left footer part */
652  }
653  div.hb_div_footer_center {		/* Template: Center footer part */
654  }
655  div.hb_div_footer_right {		/* Template: Right footer part */
656  }
657  dl.programlist {
658  }
659  dl.programlist > dt {
660    font-weight:		bold;
661  }
662  dl.programlist > dt > a:link {
663    color:			DodgerBlue;
664    text-decoration:		none;
665    font-weight:		bold;
666  }
667  dl.programlist > dt > a:visited {
668    color:			DodgerBlue;
669    text-decoration:		none;
670    font-weight:		bold;
671  }
672  dl.programlist > dt > a:focus {
673    color:			DodgerBlue;
674    text-decoration:		underline;
675    font-weight:		bold;
676  }
677  dl.programlist > dt > a:hover {
678    color:			DodgerBlue;
679    text-decoration:		underline;
680    font-weight:		bold;
681  }
682  dl.programlist > dt > a:active {
683    color:			DodgerBlue;
684    text-decoration:		underline;
685    font-weight:		bold;
686  }
687  dl.programlist > dd {
688    margin-bottom:		1em;
689  }
690  /*
691  	From old template
692  */
693  pre.codebox {				/* OLD template: Source code box */
694  }					/* Now just pre is used. */
695  .redbold	{
696    font-weight:		bold;
697    color:			DarkRed;
698  }
699  dl > dd {
700    margin-bottom:		1em;
701  }
702  span.pro {
703    font-weight:		bold;
704    color:			Green;
705  }
706  span.contra {
707    font-weight:		bold;
708    color:			DarkRed;
709  }
710}
711
712
713
714/*
715	Printout
716	========
717*/
718@media print {
719  * {
720    font-size:			12pt;
721  }
722  body {
723    font-size:			12pt;
724  }
725  header {
726    text-align:			center;
727    padding-bottom:		0.5em;
728    margin-bottom:		0.5em;
729    border-bottom:		thin solid Black;
730  }
731  main {
732    display:			block;
733  }
734  nav {
735    display:			none;
736  }
737  footer {
738    margin-top:			0.5em;
739    padding-top:		0.5em;
740    border-top:			thin solid Black;
741  }
742  div.hb_pos_div {
743    display:			none;
744  }
745  div.hb_navigation_top {
746    display:			none;
747  }
748  div.hb_navigation_bottom {
749    display:			none;
750  }
751  div.hb_navigation {
752    display:			none;
753  }
754  div.hb_div_ptoc {
755    display:			none;
756  }
757  td.hb_img_td_img {
758    vertical-align:		top;
759    text-align:			center;
760  }
761  td.hb_img_td_a {
762    display:			none;
763  }
764  td.hb_img_a_larger {
765    display:			none;
766  }
767  pre {
768    border-width:		1px;
769    border-style:		solid;
770    border-color:		black;
771    padding-top:		0.5em;
772    padding-left:		1em;
773    padding-right:		1em;
774    padding-bottom:		0.5em;
775    margin-top:			0.5em;
776    margin-bottom:		0.5em;
777    overflow:			auto;
778  }
779  pre > i {
780    font-family:		inherit;
781    font-style:			italic;
782  }
783  pre code::before {
784    content:			attr(title)':\20';
785    font-size:			50%;
786  }
787  a:link {				/* Show links in print underlined. */
788    color:			Black;
789    text-decoration:		underline;
790  }
791  a:visited {
792    color:			Black;
793    text-decoration:		underline;
794  }
795  a:focus {
796    color:			Black;
797    text-decoration:		underline;
798  }
799  a:hover {
800    color:			Black;
801    text-decoration:		underline;
802  }
803  a:active {
804    color:			Black;
805    text-decoration:		underline;
806  }
807  table.hb_link_ta {			/* HB: External link collection table */
808  }
809  td.hb_link_td_number {		/* HB: Number cell in this table */
810    text-align:			center;
811    vertical-align:		top;
812  }
813  td.hb_link_td_url {			/* HB: URL cell in this table */
814    text-align:			left;
815    vertical-align:		top;
816  }
817}
818
819
820@page {
821  margin-top:			1.5cm;
822  margin-bottom:		1.5cm;
823}
824
825@page :left {
826  margin-left:			1.5cm;
827  margin-right:			2.5cm;
828}
829
830@page :right {
831  margin-left:			2.5cm;
832  margin-right:			1.5cm;
833}
834
835
836/*
837	General tool classes for DK tools and libraries
838	-----------------------------------------------
839*/
840
841h1 {					/* Headings */
842  font-size:			200%;
843  font-weight:			bold;
844}
845h2 {
846  font-size:			180%;
847  font-weight:			bold;
848}
849h3 {
850  font-size:			160%;
851  font-weight:			bold;
852}
853h4 {
854  font-size:			140%;
855  font-weight:			bold;
856}
857h5 {
858  font-size:			120%;
859  font-weight:			bold;
860}
861h6 {
862  font-size:			100%;
863  font-weight:			bold;
864}
865
866td.hb_me_td_text {			/* HB: Text cell in menu entry */
867  font-family:			sans-serif;
868  text-align:			left;
869  vertical-align:		top;
870}
871td.hb_me_td_arrow {			/* HB: Arrow cell in menu entry */
872  font-family:			sans-serif;
873  text-align:			center;
874  vertical-align:		top;
875}
876.topleft {				/* DK t+l: Table cell alignments */
877  vertical-align:		top;
878  text-align:			left;
879}
880.topcenter {
881  vertical-align:		top;
882  text-align:			center;
883}
884.topright {
885  vertical-align:		top;
886  text-align:			right;
887}
888.middleleft {
889  vertical-align:		middle;
890  text-align:			left;
891}
892.middlecenter {
893  vertical-align:		middle;
894  text-align:			center;
895}
896.middleright {
897  vertical-align:		middle;
898  text-align:			right;
899}
900.bottomleft {
901  vertical-align:		bottom;
902  text-align:			left;
903}
904.bottomcenter {
905  vertical-align:		bottom;
906  text-align:			center;
907}
908.bottomright {
909  vertical-align:		bottom;
910  text-align:			right;
911}
912.paddedtopleft {
913  vertical-align:		top;
914  text-align:			left;
915  padding-left:			0.25em;
916  padding-right:		0.25em;
917  padding-top:			0.12em;
918  padding-bottom:		0.12em;
919}
920.paddedtopcenter {
921  vertical-align:		top;
922  text-align:			center;
923  padding-left:			0.25em;
924  padding-right:		0.25em;
925  padding-top:			0.12em;
926  padding-bottom:		0.12em;
927}
928.paddedtopright {
929  vertical-align:		top;
930  text-align:			right;
931  padding-left:			0.25em;
932  padding-right:		0.25em;
933  padding-top:			0.12em;
934  padding-bottom:		0.12em;
935}
936.paddedmiddleleft {
937  vertical-align:		middle;
938  text-align:			left;
939  padding-left:			0.25em;
940  padding-right:		0.25em;
941  padding-top:			0.12em;
942  padding-bottom:		0.12em;
943}
944.paddedmiddlecenter {
945  vertical-align:		middle;
946  text-align:			center;
947  padding-left:			0.25em;
948  padding-right:		0.25em;
949  padding-top:			0.12em;
950  padding-bottom:		0.12em;
951}
952.paddedmiddleright {
953  vertical-align:		middle;
954  text-align:			right;
955  padding-left:			0.25em;
956  padding-right:		0.25em;
957  padding-top:			0.12em;
958  padding-bottom:		0.12em;
959}
960.paddedbottomleft {
961  vertical-align:		bottom;
962  text-align:			left;
963  padding-left:			0.25em;
964  padding-right:		0.25em;
965  padding-top:			0.12em;
966  padding-bottom:		0.12em;
967}
968.paddedbottomcenter {
969  vertical-align:		bottom;
970  text-align:			center;
971  padding-left:			0.25em;
972  padding-right:		0.25em;
973  padding-top:			0.12em;
974  padding-bottom:		0.12em;
975}
976.paddedbottomright {
977  vertical-align:		bottom;
978  text-align:			right;
979  padding-left:			0.25em;
980  padding-right:		0.25em;
981  padding-top:			0.12em;
982  padding-bottom:		0.12em;
983}
984.paddedtop {
985  vertical-align:		top;
986  padding-left:			0.25em;
987  padding-right:		0.25em;
988  padding-top:			0.12em;
989  padding-bottom:		0.12em;
990}
991.paddedmiddle {
992  vertical-align:		middle;
993  padding-left:			0.25em;
994  padding-right:		0.25em;
995  padding-top:			0.12em;
996  padding-bottom:		0.12em;
997}
998.paddedbottom {
999  vertical-align:		bottom;
1000  padding-left:			0.25em;
1001  padding-right:		0.25em;
1002  padding-top:			0.12em;
1003  padding-bottom:		0.12em;
1004}
1005.paddedleft {
1006  text-align:			left;
1007  padding-left:			0.25em;
1008  padding-right:		0.25em;
1009  padding-top:			0.12em;
1010  padding-bottom:		0.12em;
1011}
1012.paddedcenter {
1013  text-align:			center;
1014  padding-left:			0.25em;
1015  padding-right:		0.25em;
1016  padding-top:			0.12em;
1017  padding-bottom:		0.12em;
1018}
1019.paddedright {
1020  text-align:			right;
1021  padding-left:			0.25em;
1022  padding-right:		0.25em;
1023  padding-top:			0.12em;
1024  padding-bottom:		0.12em;
1025}
1026.padded {
1027  padding-left:			0.25em;
1028  padding-right:		0.25em;
1029  padding-top:			0.12em;
1030  padding-bottom:		0.12em;
1031}
1032.hint {					/* HB: Show hint (title attribute) */
1033  cursor:			help;
1034  border-bottom:		1px dotted;
1035}
1036.clearboth {				/* HB: Clear both float directions */
1037  clear:			both;
1038}
1039.floatleft {				/* HB: Float settings */
1040  float:			left;
1041}
1042.marginfloatleft {			/* HB: Float settings with margins */
1043  float:			left;
1044  margin-right:			2em;
1045  margin-bottom:		1em;
1046}
1047.floatright {				/* HB: Float settings */
1048  float:			right;
1049}
1050.marginfloatright {			/* HB: Float settings with margins */
1051  float:			right;
1052  margin-left:			2em;
1053  margin-bottom:		1em;
1054}
1055span.nowindows {
1056  text-decoration:		line-through;
1057  cursor:			help;
1058  border-bottom:		1px dotted;
1059}
1060span.onlywindows {
1061  cursor:			help;
1062  border-bottom:		1px dotted;
1063}
1064dl.variablestomodify {
1065}
1066dl.variablestomodify > dt {
1067  font-weight:			bold;
1068}
1069dl.variablestomodify > dd {
1070  margin-bottom:		1em;
1071}
1072
1073pre.pre55 {
1074  max-width:			55em;
1075  padding-left:			0.5em;
1076  padding-right:		0.5em;
1077}
1078pre.pre50 {
1079  max-width:			50em;
1080  padding-left:			0.5em;
1081  padding-right:		0.5em;
1082}
1083pre.pre45 {
1084  max-width:			45em;
1085  padding-left:			0.5em;
1086  padding-right:		0.5em;
1087}
1088pre.pre40 {
1089  max-width:			40em;
1090  padding-left:			0.5em;
1091  padding-right:		0.5em;
1092}
1093pre.pre35 {
1094  max-width:			35em;
1095  padding-left:			0.5em;
1096  padding-right:		0.5em;
1097}
1098pre.pre30 {
1099  max-width:			30em;
1100  padding-left:			0.5em;
1101  padding-right:		0.5em;
1102}
1103pre.pre27 {
1104  max-width:			27em;
1105  padding-left:			0.5em;
1106  padding-right:		0.5em;
1107}
1108pre.pre25 {
1109  max-width:			25em;
1110  padding-left:			0.5em;
1111  padding-right:		0.5em;
1112}
1113pre.pre20 {
1114  max-width:			20em;
1115  padding-left:			0.5em;
1116  padding-right:		0.5em;
1117}
1118pre.pre15 {
1119  max-width:			15em;
1120  padding-left:			0.5em;
1121  padding-right:		0.5em;
1122}
1123