-/* Clearn defaults */
+/* Clear defaults */
* {
margin: 0;
padding: 0;
}
span.code {
font-family: monospace;
+ font-size: larger;
}
div.code {
font-family: monospace;
margin-bottom: 5px;
color: white;
font-weight: bold;
+ font-size: larger;
}
dt {
/* Layout */
body {
- background: fixed;
background-image: url('../images/main-bg.png');
background-repeat: repeat-x;
background-color: white;
font-size: 11pt;
text-decoration: none;
padding: 8px 25px 8px 25px;
+ margin-bottom: 10px;
background-image: url("../images/dl-bg.png");
border-radius: 10px;
-moz-border-radius: 10px;
margin-right: 25px;
}
-/* Screnshots */
+/* Screenshots */
.gallery {
padding: 0px; /* override ul */
margin: 20px;
dl.small dt {
width: 4em;
}
+
+/* Asciidoc */
+.asciidoc p {
+ margin-top: 0.7em;
+}
+.asciidoc li p,
+.asciidoc td p {
+ margin-top: 0em;
+}
+.asciidoc .hdlist table {
+ padding-left: 1em;
+}