--- a/runtime_files.list	Fri Jul 20 11:10:42 2018 +0200
+++ b/runtime_files.list	Tue Aug 14 11:14:20 2018 +0200
@@ -10,6 +10,7 @@
 runtime/PLCObject.py
 runtime/NevowServer.py
 runtime/webinterface.js
+runtime/webinterface.css
 runtime/__init__.py
 runtime/ServicePublisher.py
 runtime/typemapping.py