##// END OF EJS Templates
CSS tweaks to make definition lists look nicer
Thomas Kluyver -
Show More
@@ -120,6 +120,11 b' dd {'
120 color: #060;
120 color: #060;
121 }
121 }
122
122
123 dt {
124 font-weight: bold;
125 padding-left: 0.5em;
126 }
127
123 dt:target,
128 dt:target,
124 .highlight {
129 .highlight {
125 background-color: #fbe54e;
130 background-color: #fbe54e;
General Comments 0
You need to be logged in to leave comments. Login now