--- 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
]]])