.warningbox,
.successbox {
border: 1px solid;
- padding: .5em 1em;
+ padding: 0.5em 1em;
margin-bottom: 1em;
display: inline-block;
zoom: 1;
color: inherit;
font-weight: bold;
display: inline;
- margin: 0 .5em 0 0;
+ margin: 0 0.5em 0 0;
border: 0;
}
}
#toc ul, .toc ul {
- margin: .3em 0;
+ margin: 0.3em 0;
}
/* Correct directionality when page dir is different from site/user dir */