--- a/runtime/NevowServer.py Tue May 06 13:31:40 2025 +0200
+++ b/runtime/NevowServer.py Thu May 15 13:35:04 2025 +0200
@@ -178,13 +178,15 @@
href=url.here.child("webinterface_css"))]
-class StyledSettingsPage(rend.Page):
+class StyledSettingsPageMixin():
# This makes webform_css url answer some default CSS
child_webform_css = webform.defaultCSS
child_webinterface_css = File(paths.AbsNeighbourFile(__file__, 'webinterface.css'), 'text/css')
+class StyledSettingsPage(StyledSettingsPageMixin, rend.Page): class SettingsPage(StyledSettingsPage):
@@ -219,7 +221,6 @@
- tags.a(href='/')['Back'],
tags.h2["Runtime service"],
webform.renderForms('staticSettings'),
tags.h2["Target specific"],