on master help sign in
Fixed minor styling bug
commitb538db9ad0c1ddb3b77e96b299aecf55d60c7f3d authorPhilip Rasmussen <pjor@itu.dk> dateWed 16 Apr 2014, 01:38 (13 years ago) parentf192d93
1 file changed+7−3
idrisdoc/styles.css+7−3
idrisdoc/styles.css+7−3
@@ -155,13 +155,13 @@ p {
155155 margin-bottom: 8px;
156156}
157157
158−.decls > dd > dl:not(.decls):last-child {
158+.decls > dd > dl:not(.decls):not(:first-child) {
159159
160160 padding-top: 5px;
161161 border-top: 1px solid #EEE;
162162}
163163
164−.decls > dd > dl:not(.decls):last-child > dt {
164+.decls > dd > dl:not(.decls) > dt {
165165
166166 display: block;
167167 min-width: 70px;
@@ -171,7 +171,7 @@ p {
171171 font-weight: bold;
172172}
173173
174−.decls > dd > dl:not(.decls):last-child > dd {
174+.decls > dd > dl:not(.decls) > dd {
175175
176176 margin-bottom: 2px;
177177}
@@ -187,6 +187,10 @@ p {
187187 cursor: default;
188188}
189189
190+.arg {
191+ font-weight: bold;
192+}
193+
190194a.type, a.name {
191195
192196 cursor: pointer;