Skip to content

Commit f26146b

Browse files
committed
Tweaked appearance of color bars for H1s to remove diagonal line
Header (and all H1s, I guess) now has the same margin in Firefox as in Chrome
1 parent cfb7df9 commit f26146b

File tree

2 files changed

+47
-34
lines changed

2 files changed

+47
-34
lines changed

public/css/doc_page.css

+3-6
Original file line numberDiff line numberDiff line change
@@ -6,10 +6,7 @@ body {
66

77
h1 {
88
font-size: 1.5em;
9-
-webkit-margin-before: 0;
10-
-webkit-margin-after: 0;
11-
-webkit-margin-start: 0;
12-
-webkit-margin-end: 0;
9+
margin: 0;
1310
}
1411

1512
.top {
@@ -130,15 +127,16 @@ h1 {
130127
font-size: 13pt;
131128
overflow-x: auto;
132129
}
130+
133131
.doc code {
134132
font-size: 13pt;
135133
background: #f2f2f2;
136134
padding-left: 4px;
137135
padding-right: 4px;
138136
}
137+
139138
.doc h1 {
140139
border-bottom: 2px solid #EEE;
141-
padding-left: 12px;
142140
}
143141

144142
.doc blockquote {
@@ -182,4 +180,3 @@ img {
182180
.bottom:after {
183181
clear: both;
184182
}
185-

public/css/step.css

+44-28
Original file line numberDiff line numberDiff line change
@@ -48,12 +48,10 @@ img.noborder {
4848
}
4949

5050
.important {
51-
border: 1px solid red;
5251
border: 5px solid maroon;
5352
}
5453

5554
.tip {
56-
border: 1px solid blue;
5755
padding: 1em;
5856
border: 10px solid #eee;
5957
}
@@ -83,49 +81,64 @@ div.back:before {
8381
padding-bottom: 1em;
8482
}
8583

86-
.goals > h1 {
87-
border-left: 20px solid #FECACD;
84+
table.bordered td,
85+
table.bordered tr {
86+
border-style: solid;
87+
border-width: 1px;
88+
border-color: black;
89+
padding-left: 5px;
90+
padding-right: 5px;
8891
}
8992

90-
.steps > h1 {
91-
border-left: 20px solid #FBFFCA;
93+
.requirements > h1:before,
94+
.discussion > h1:before,
95+
.hints > h1:before,
96+
.tools_and_references > h1:before,
97+
.goals > h1:before,
98+
.steps > h1:before,
99+
.explanation > h1:before,
100+
.deploying > h1:before,
101+
.further-reading > h1:before {
102+
content: "\00a0";
103+
display: inline-block;
104+
width: 20px;
105+
margin-right: 10px;
92106
}
93107

94-
.explanation > h1 {
95-
border-left: 20px solid #C8FFC9;
108+
.goals > h1:before {
109+
background-color: #FECACD;
96110
}
97111

98-
.deploying > h1 {
99-
border-left: 20px solid #B0DEE7;
112+
.steps > h1:before {
113+
background-color: #FBFFCA;
100114
}
101115

102-
.further-reading > h1 {
103-
border-left: 20px solid #87e5f2;
116+
.explanation > h1:before {
117+
background-color: #C8FFC9;
104118
}
105119

106-
table.bordered td,
107-
table.bordered tr {
108-
border-style: solid;
109-
border-width: 1px;
110-
border-color: black;
111-
padding-left: 5px;
112-
padding-right: 5px;
120+
.deploying > h1:before {
121+
background-color: #B0DEE7;
113122
}
114123

115-
.requirements > h1 {
116-
border-left: 20px solid #93B5DA;
124+
.further-reading > h1:before {
125+
background-color: #87e5f2;
117126
}
118127

119-
.discussion > h1 {
120-
border-left: 20px solid #92F59A;
128+
.requirements > h1:before {
129+
background-color: #93B5DA;
121130
}
122131

123-
.hints > h1 {
124-
border-left: 20px solid #86DFD4;
132+
.discussion > h1:before {
133+
background-color: #92F59A;
125134
}
126135

127-
.tools_and_references > h1 {
128-
border-left: 20px solid #C8A9E0;
136+
.hints > h1:before {
137+
background-color: #86DFD4;
138+
}
139+
140+
.tools_and_references > h1:before {
141+
background-color: #C8A9E0;
129142
}
130143

131144
.console > pre {
@@ -140,15 +153,18 @@ table.bordered tr {
140153
}
141154

142155
.fuzzy-result {
143-
margin : 20px;
156+
margin: 20px;
144157
}
158+
145159
.fuzzy-result > pre {
146160
margin-bottom: 0px;
147161
}
162+
148163
.fuzzy-result .fuzzy-hint {
149164
font-size: 12px;
150165
text-align: right;
151166
}
167+
152168
.fuzzy-result .fuzzy-lightened {
153169
color: #aaa;
154170
}

0 commit comments

Comments
 (0)