diff -r 02e7e1d73ebb -r 75f44d3063da static/style.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/static/style.css	Wed Jan 31 14:34:23 2018 +0200
@@ -0,0 +1,81 @@
+
+body
+{
+    font-family: sans-serif;
+    margin: 0;
+}
+
+.ldraw-code
+{
+    font-family: monospace;
+}
+
+.problems-list
+{
+    list-style: none;
+}
+
+.problems-list li
+{
+    padding: 5px;
+    border: 1px solid black;
+    border-radius: 10px;
+    margin-bottom: 3px;
+}
+
+.problems-list li.problem-error
+{
+    background-color: #b44;
+    border-color: red;
+    color: white;
+}
+
+.problems-list li.problem-warning
+{
+    background-color: #fc6;
+    border-color: #830;
+    color: black;
+}
+
+.problems-list li.problem-notice
+{
+    background-color: #def;
+    border-color: #024;
+    color: black;
+}
+
+.problem-icon
+{
+    float: left;
+    margin-right: 10px;
+}
+
+.top-form
+{
+    background: white;
+    background: linear-gradient(
+        to bottom,
+        #cceecf 0%,
+        #cceecf 85%,
+        #163 100%
+    );
+    padding-bottom: 2vh;
+    padding-top: 2vh;
+    padding-left: 5%;
+    padding-right: 5%;
+    text-align: center;
+}
+
+.report-container
+{
+    background: linear-gradient(
+        to bottom,
+        #ccc 0,
+        #fff 1vh,
+        #fff 100%
+    );
+    min-height: 10vh;
+    padding-left: 5%;
+    padding-right: 5%;
+    padding-top: 2vh;
+}