/* IE7 and earlier */
zoom: 1;
- *display: inline;
+ *display: inline; /* stylelint-disable declaration-block-no-duplicate-properties */
padding: 7px;
}
#toc h2,
.toc h2 {
display: inline;
- border: none;
+ border: 0;
padding: 0;
font-size: 100%;
font-weight: bold;
}
/* Images */
-/* @noflip */div.floatright, table.floatright {
- margin: 0 0 .5em .5em;
- border: 0;
+/* @noflip */
+div.floatright,
+table.floatright {
+ margin: 0 0 0.5em 0.5em;
}
div.floatright p {
font-style: italic;
}
-/* @noflip */div.floatleft, table.floatleft {
- margin: 0 .5em .5em 0;
- border: 0;
+/* @noflip */
+div.floatleft,
+table.floatleft {
+ margin: 0 0.5em 0.5em 0;
}
div.floatleft p {
/* Thumbnails */
div.thumb {
- margin-bottom: .5em;
+ margin-bottom: 0.5em;
width: auto;
background-color: transparent;
}
}
html .thumbcaption {
- border: none;
+ border: 0;
line-height: 1.4em;
padding: 3px;
font-size: 94%;
/* @noflip */
div.tright {
- margin: .5em 0 1.3em 1.4em;
+ margin: 0.5em 0 1.3em 1.4em;
}
/* @noflip */
div.tleft {
- margin: .5em 1.4em 1.3em 0;
+ margin: 0.5em 1.4em 1.3em 0;
}
/* Hide elements that are marked as "empty" according to legacy Tidy rules,