| ︙ | | |
443
444
445
446
447
448
449
450
451
452
453
454
455
456
|
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
|
+
+
|
@ div.mainmenu {
@ padding: 5px 10px 5px 10px;
@ font-size: 0.9em;
@ font-weight: bold;
@ text-align: center;
@ letter-spacing: 1px;
@ background-color: #558195;
@ border-top-left-radius: 8px;
@ border-top-right-radius: 8px;
@ color: white;
@ }
@
@ /* The submenu bar that *sometimes* appears below the main menu */
@ div.submenu, div.sectionmenu {
@ padding: 3px 10px 3px 0px;
@ font-size: 0.9em;
|
| ︙ | | |
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
|
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
|
-
+
+
+
|
@ color: #558195;
@ background-color: white;
@ }
@
@ /* All page content from the bottom of the menu or submenu down to
@ ** the footer */
@ div.content {
@ padding: 0ex 1ex 0ex 2ex;
@ padding: 0ex 1ex 1ex 1ex;
@ border: solid #aaa;
@ border-width: 1px;
@ }
@
@ /* Some pages have section dividers */
@ div.section {
@ margin-bottom: 0px;
@ margin-top: 1em;
@ padding: 1px 1px 1px 1px;
|
| ︙ | | |
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
|
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
|
-
+
+
|
@ white-space: nowrap;
@ }
@
@ /* The footer at the very bottom of the page */
@ div.footer {
@ clear: both;
@ font-size: 0.8em;
@ margin-top: 12px;
|
| ︙ | | |
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
|
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
|
-
+
|
},
{ "div.sidebox",
"The nomenclature sidebox for branches,..",
@ float: right;
@ background-color: white;
@ border-width: medium;
@ border-style: double;
@ margin: 10;
@ margin: 10px;
},
{ "div.sideboxTitle",
"The nomenclature title in sideboxes for branches,..",
@ display: inline;
@ font-weight: bold;
},
{ "div.sideboxDescribed",
|
| ︙ | | |
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
|
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
|
-
-
-
-
+
+
|
{ "span.timelineDisabled",
"The suppressed duplicates lines in timeline, ..",
@ font-style: italic;
@ font-size: small;
},
{ "table.timelineTable",
"the format for the timeline data table",
@ cellspacing: 0;
@ cellpadding: 0
@ valign: top;
@ align: left;
@ vertical-align: top;
@ text-align: left;
},
{ "span.timelineLeaf",
"the format for the timeline leaf marks",
@ font-weight: bold;
},
{ "a.timelineHistLink",
"the format for the timeline version links",
|
| ︙ | | |