also add proper margins for elements nested in lists
Change-Id: I1c2914904da63d21359283de945c9805f5d4af93
dd {
margin:0 0 10px 30px;
}
-dd p {
+dd p,
+dd pre,
+dd ul,
+dd ol,
+dd dl {
margin:10px 0 0;
}
li p,
li pre,
li ul,
-li ol {
+li ol,
+li dl {
margin-top:5px;
margin-bottom:5px;
}
}
pre, code {
color: #060;
- font: 14px/1.5 'courier new', courier, monospace;
+ font: 13px/1.5 monospace;
}
code {
font-weight:bold;
- font: 14px/14px 'courier new', courier, monospace;
+ font: 13px/14px monospace;
}
legend {
p.code-caption {
margin: 0 0 4px 0;
- font: 13px/1.5 'courier new', courier, monospace;
+ font: 12px/1.5 monospace;
color:#666;
}