summaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual/style.css
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/dev-manual/style.css')
-rw-r--r--documentation/dev-manual/style.css25
1 files changed, 11 insertions, 14 deletions
diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css
index 817910db0f..b512dd2dcb 100644
--- a/documentation/dev-manual/style.css
+++ b/documentation/dev-manual/style.css
@@ -50,10 +50,6 @@ body {
50 color: #333; 50 color: #333;
51} 51}
52 52
53.reviewer {
54 color: red;
55}
56
57h1,h2,h3,h4,h5,h6,h7 { 53h1,h2,h3,h4,h5,h6,h7 {
58 font-family: Arial, Sans; 54 font-family: Arial, Sans;
59 color: #00557D; 55 color: #00557D;
@@ -435,6 +431,7 @@ b.keycap,
435 font-family: Courier, monospace; 431 font-family: Courier, monospace;
436} 432}
437 433
434
438div.navheader, div.heading{ 435div.navheader, div.heading{
439 position: absolute; 436 position: absolute;
440 left: 0em; 437 left: 0em;
@@ -653,7 +650,7 @@ hr {
653 650
654 651
655.tip, .warning, .caution, .note { 652.tip, .warning, .caution, .note {
656 border-color: #aaa; 653 border-color: #fff;
657} 654}
658 655
659 656
@@ -661,24 +658,24 @@ hr {
661.warning table th, 658.warning table th,
662.caution table th, 659.caution table th,
663.note table th { 660.note table th {
664 border-bottom-color: #aaa; 661 border-bottom-color: #fff;
665} 662}
666 663
667 664
668.warning { 665.warning {
669 background-color: #fea; 666 background-color: #f0f0f2;
670} 667}
671 668
672.caution { 669.caution {
673 background-color: #fea; 670 background-color: #f0f0f2;
674} 671}
675 672
676.tip { 673.tip {
677 background-color: #eff; 674 background-color: #f0f0f2;
678} 675}
679 676
680.note { 677.note {
681 background-color: #dfc; 678 background-color: #f0f0f2;
682} 679}
683 680
684.glossary dl dt, 681.glossary dl dt,
@@ -945,8 +942,8 @@ table {
945 942
946.tip, 943.tip,
947.note { 944.note {
948 background: #666666; 945 background: #f0f0f2;
949 color: #fff; 946 color: #333;
950 padding: 20px; 947 padding: 20px;
951 margin: 20px; 948 margin: 20px;
952} 949}
@@ -957,12 +954,12 @@ table {
957 margin: 0em; 954 margin: 0em;
958 font-size: 2em; 955 font-size: 2em;
959 font-weight: bold; 956 font-weight: bold;
960 color: #fff; 957 color: #333;
961} 958}
962 959
963.tip a, 960.tip a,
964.note a { 961.note a {
965 color: #fff; 962 color: #333;
966 text-decoration: underline; 963 text-decoration: underline;
967} 964}
968 965