Make header box resizeable.

diff --git a/build/index.py b/build/index.py
index dd9f85979a6442889db29eb6801cf716c6752528..3a78d12f1b2de352fcee5a5e4c8918581b3d3af2 100644 (file)
--- a/build/index.py
+++ b/build/index.py
@@ -74,11 +74,11 @@ class Site:
                                }
                                #header {
                                        width: 800px;
-                                       height: 115px;
                                        text-align: center;
                                        background: #E0E0E0;
                                        border: 1px solid #999;
                                        padding-top: 10px;
+                                       padding-bottom: 5px;
                                }
                                #content {
                                        padding-top: 10px;