div.informaltable table
{
border-collapse: separate;
- border-spacing: 1em 0.3em;
+ border-spacing: 1em 0.5em;
border: none;
}
h4
{
color: #555753;
- margin-top: 1em;
- margin-bottom: 1em;
}
hr
padding-bottom: 0.25em;
}
-dl.toc > dt
+dl.toc > dd > dl > dt
{
padding-top: 0.25em;
padding-bottom: 0.25em;
- font-weight: bold;
}
-dl.toc > dl
+dl.toc > dt
{
+ padding-top: 1em;
padding-bottom: 0.5em;
+ font-weight: bold;
}
.parameter
}
@media screen {
- /* these have a <sup> as a first child, but since there are no parent selectors
- * we can't use that. */
- a.footnote
+ sup a.footnote
{
position: relative;
top: 0em ! important;