margin-top: 0;
}
-/* IE confuses the + * :-(
+/* IE confuses the + * :-(
* so reset some things
*/
ul, .section table, .directive-section table {
margin-bottom: 1em;
}
-/* titles for
+/* titles for
* examples, notes and warnings
*/
div.example h3,
/* bordered table cells */
/* ====================== */
-/* turn off borders in tables nested in
+/* turn off borders in tables nested in
* bordered tables per default
*/
table.bordered table td,
}
span.indent {
- padding-left: 1em;
+ padding-left: 1.5em;
display: block;
}
/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* -> The End <-
- * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
+ * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
\ No newline at end of file