diff --git a/html/favicon.ico b/html/favicon.ico
new file mode 100644
index 00000000..14cb06da
Binary files /dev/null and b/html/favicon.ico differ
diff --git a/html/index.php b/html/index.php
new file mode 100644
index 00000000..2d383536
--- /dev/null
+++ b/html/index.php
@@ -0,0 +1,3 @@
+<?php
+include_once('../pool/index.php');
+?>
diff --git a/html/maintenance.txt.dis b/html/maintenance.txt.dis
new file mode 100644
index 00000000..7db396c2
--- /dev/null
+++ b/html/maintenance.txt.dis
@@ -0,0 +1 @@
+<h1>Web site is down for maintenance</h1>