git.iko.soy/Idris-dev
on master help sign in
Fixed minor styling bug
b538db9Philip Rasmussen
idrisdoc/styles.css+7−3
compare with master
unifiedsplit
@@ -155,13 +155,13 @@ p {
155 margin-bottom: 8px;
155 margin-bottom: 8px;
156}
156}
157
157
158−.decls > dd > dl:not(.decls):last-child {
158+.decls > dd > dl:not(.decls):not(:first-child) {
159
159
160 padding-top: 5px;
160 padding-top: 5px;
161 border-top: 1px solid #EEE;
161 border-top: 1px solid #EEE;
162}
162}
163
163
164−.decls > dd > dl:not(.decls):last-child > dt {
164+.decls > dd > dl:not(.decls) > dt {
165
165
166 display: block;
166 display: block;
167 min-width: 70px;
167 min-width: 70px;
@@ -171,7 +171,7 @@ p {
171 font-weight: bold;
171 font-weight: bold;
172}
172}
173
173
174−.decls > dd > dl:not(.decls):last-child > dd {
174+.decls > dd > dl:not(.decls) > dd {
175
175
176 margin-bottom: 2px;
176 margin-bottom: 2px;
177}
177}
@@ -187,6 +187,10 @@ p {
187 cursor: default;
187 cursor: default;
188}
188}
189
189
190+.arg {
191+ font-weight: bold;
192+}
193+
190a.type, a.name {
194a.type, a.name {
191
195
192 cursor: pointer;
196 cursor: pointer;