--- 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 @@
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:"],
--- 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;
font-family: Tahoma, Verdana, sans-serif;
- font-family: Tahoma, Verdana, sans-serif;
- font-family: Tahoma, Verdana, sans-serif;
+ border: 1px solid gray; +input, select, button, a {
- font-family: Tahoma, Verdana, sans-serif;
- font-family: Tahoma, Verdana, sans-serif;
+legend, .freeform-form-label { - font-family: Tahoma, Verdana, sans-serif;
- font-family: Tahoma, Verdana, sans-serif;
+ background-color: #e9e9ed; + border: 1px solid gray;
- font-family: Tahoma, Verdana, sans-serif;
+ background-color: silver;