color: #13a;
}
-/* Dashed line under the header. */
+/* Dividing line under the header. */
h1 {
- border-bottom: 1px dashed black;
+ border-bottom: 1px solid black;
margin-top: 0;
overflow: auto;
}
text-decoration: underline;
}
+/* Keep help-popup links unbolded in e.g. table headings. */
+.helplink {
+ font-weight: normal;
+}
+
/* Highlight error messages in bright red. */
.error {
color: #FF0000;
display: inline;
padding: .2em;
}
+
+/* Logged-in welcome message. */
+.loggedin {
+ float: right;
+}
+.loggedin .name {
+ font-weight: bold;
+}