summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--documentation/kernel-manual/style.css19
1 files changed, 10 insertions, 9 deletions
diff --git a/documentation/kernel-manual/style.css b/documentation/kernel-manual/style.css
index d100b69fc9..e3e2d531f4 100644
--- a/documentation/kernel-manual/style.css
+++ b/documentation/kernel-manual/style.css
@@ -79,8 +79,9 @@ h2.subtitle {
79h2 { 79h2 {
80 margin: 2em 0em 0.66em 0em; 80 margin: 2em 0em 0.66em 0em;
81 padding: 0.5em 0em 0em 0em; 81 padding: 0.5em 0em 0em 0em;
82 font-size: 1.5em; 82 font-size: 2em;
83 font-weight: normal; 83 font-weight: bold;
84 color: black;
84} 85}
85 86
86h3.subtitle { 87h3.subtitle {
@@ -93,29 +94,29 @@ h3.subtitle {
93h3 { 94h3 {
94 margin: 1em 0em 0.5em 0em; 95 margin: 1em 0em 0.5em 0em;
95 padding: 1em 0em 0em 0em; 96 padding: 1em 0em 0em 0em;
96 font-size: 140%; 97 font-size: 150%;
97 font-weight: normal; 98 font-weight: bold;
99 color: black;
100 border-bottom: 2px solid black;
98} 101}
99 102
100h4 { 103h4 {
101 margin: 1em 0em 0.5em 0em; 104 margin: 1em 0em 0.5em 0em;
102 padding: 1em 0em 0em 0em; 105 padding: 1em 0em 0em 0em;
103 font-size: 120%; 106 font-size: 130%;
104 font-weight: normal; 107 border-bottom: 1px solid black;
105} 108}
106 109
107h5 { 110h5 {
108 margin: 1em 0em 0.5em 0em; 111 margin: 1em 0em 0.5em 0em;
109 padding: 1em 0em 0em 0em; 112 padding: 1em 0em 0em 0em;
110 font-size: 110.000%; 113 font-size: 120%;
111 border-bottom: 1px solid black;
112} 114}
113 115
114h6 { 116h6 {
115 margin: 1em 0em 0em 0em; 117 margin: 1em 0em 0em 0em;
116 padding: 1em 0em 0em 0em; 118 padding: 1em 0em 0em 0em;
117 font-size: 100%; 119 font-size: 100%;
118 font-weight: bold;
119} 120}
120 121
121.authorgroup { 122.authorgroup {