color: black;
margin: 0em;
font-size: 9pt;
+ font-family: "DejaVu Sans", "Bitstream Vera Sans", "Verdana", sans-serif;
}
.floaty {
margin-bottom: 0;
}
-.beta {
- font-size: 60%;
- vertical-align: sub;
- line-height: 2em;
-}
-
#auth {
border-left: thin solid white;
padding-top: 0em;
padding: 1em;
}
+.patch-pull-url {
+ font-family: "DejaVu Sans Mono", fixed;
+}
+
.quote {
color: #007f00;
}
text-align: center;
}
-table.registerform {
+table.registerform, table.passwordform {
margin-left: auto;
margin-right: auto;
}
padding-left: 0.2em;
margin: 0em;
}
+.error {
+ color: red;
+}
/* generic table with header columns on the left */
table.horizontal {