# HG changeset patch
# User Edouard Tisserant
# Date 1700642072 -3600
# Node ID dcc83e03d065485dba5f10e2fdfe7f656b55cca3
# Parent  d1fa9536b3927e121daa4e9a5db3dc535f8b133f
Runtime web settings: fix punctuation and update CSS again

diff -r d1fa9536b392 -r dcc83e03d065 runtime/NevowServer.py
--- a/runtime/NevowServer.py	Mon Nov 20 11:52:27 2023 +0100
+++ b/runtime/NevowServer.py	Wed Nov 22 09:34:32 2023 +0100
@@ -311,13 +311,13 @@
             CSS_tags
         ],
         tags.body[
-            tags.h1["Settings:"],
+            tags.h1["Settings"],
             tags.a(href='/')['Back'],
-            tags.h2["Runtime service:"],
+            tags.h2["Runtime service"],
             webform.renderForms('staticSettings'),
-            tags.h2["Target specific:"],
+            tags.h2["Target specific"],
             webform.renderForms('dynamicSettings'),
-            tags.h2["Extensions:"],
+            tags.h2["Extensions"],
             extensions_settings
         ]]])
 
diff -r d1fa9536b392 -r dcc83e03d065 runtime/webinterface.css
--- a/runtime/webinterface.css	Mon Nov 20 11:52:27 2023 +0100
+++ b/runtime/webinterface.css	Wed Nov 22 09:34:32 2023 +0100
@@ -2,46 +2,51 @@
 	background-color: #f5faff;
 }
 
-h1 {
+* {
     font-family: Tahoma, Verdana, sans-serif;
-	color: darkslateblue;
 }
 
-h2 {
-    font-family: Tahoma, Verdana, sans-serif;
+h1, h2 {
 	color: darkslateblue;
 }
 
 fieldset {
-	font-family: Tahoma, Verdana, sans-serif;
 	color: #424242;
+	border: 1px solid gray;
+	border-radius: 4px;
 }
 
-a {
-	font-family: Tahoma, Verdana, sans-serif;
-    color: darkslateblue;
+input, select, button, a {
+	font-size: 14px;
 }
 
-a:hover {
-    color: crimson;
+button,
+input,
+select,
+textarea {
+    color: inherit;
 }
 
-legend {
-	font-family: Tahoma, Verdana, sans-serif;
+legend, .freeform-form-label {
 	color: darkslateblue;
 }
 
 .freeform-label {
     float: left;
     width: 30%;
-	font-family: Tahoma, Verdana, sans-serif;
 }
 
-.freeform-input {
-    font-family: Tahoma, Verdana, sans-serif;
+a {
+    background-color: #e9e9ed;
+    color: #424242;
+    padding: 2px 6px;
+    text-align: center;
+    text-decoration: none;
+    display: inline-block;
+    border: 1px solid gray;
+    border-radius: 4px;
 }
 
-.freeform-form-label {
-    font-family: Tahoma, Verdana, sans-serif;
-	color: darkslateblue;
+a:hover, a:active {
+    background-color: silver;
 }