better headings, labels in info page

[invirt/packages/invirt-web.git] / code / static / style.css

diff --git a/code/static/style.css b/code/static/style.css
index 3b713ec..91ca503 100644 (file)
--- a/code/static/style.css
+++ b/code/static/style.css
@@ -25,9 +25,9 @@ h1, h2, h3, h4, h5, h6 {
     color: #13a;
 }
 
     color: #13a;
 }
 

-/* Dashed line under the header. */
+/* Dividing line under the header. */

 h1 {
 h1 {

-    border-bottom: 1px dashed black;
+    border-bottom: 1px solid black;

     margin-top: 0;
     overflow: auto;
 }
     margin-top: 0;
     overflow: auto;
 }

@@ -44,6 +44,11 @@ a:link:hover, a:visited:hover {
     text-decoration: underline;
 }
 
     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;
 /* Highlight error messages in bright red. */
 .error {
   color: #FF0000;

@@ -64,3 +69,11 @@ td.error {
   display: inline;
   padding: .2em;
 }
   display: inline;
   padding: .2em;
 }

+
+/* Logged-in welcome message. */
+.loggedin {
+  float: right;
+}
+.loggedin .name {
+  font-weight: bold;
+}