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