Move web server related files into a folder

1 files changed, 63 insertions, 0 deletions

diff --git a/web_server/static/style.css b/web_server/static/style.css
new file mode 100644
index 0000000..09a985c
--- /dev/null
+++ b/web_server/static/style.css
@@ -0,0 +1,63 @@
+@font-face {
+  font-family: 'roboto-regular';
+  src: url('fonts/Roboto-Regular.ttf') format('truetype');
+}
+
+@font-face {
+  font-family: 'roboto-light';
+  src: url('fonts/Roboto-Light.ttf') format('truetype');
+}
+
+@font-face {
+  font-family: 'roboto-bold';
+  src: url('fonts/Roboto-Bold.ttf') format('truetype');
+}
+
+body {
+  background-color: #151515;
+}
+
+main {
+  margin: auto;
+  max-width: 800px;
+  padding: 1em;
+  background-color: #202020;
+  color: #eee;
+  font-family: 'roboto-regular', Arial;
+}
+
+nav > a {
+  font-size: 1.4rem;
+}
+
+a, a:visited {
+  color: #eee;
+}
+
+a:hover {
+  color: #ccc;
+}
+
+pre {
+  font-size: 0.9rem;
+  font-family: monospace;
+  background-color: #151515;
+  overflow: auto;
+  padding: 1em;
+}
+
+.code-background {
+  background-color: #151515;
+}
+
+.code-normal {
+  color: #c0c5ce;
+}
+
+.code-string {
+  color:#a3be8c;
+}
+
+.code-number {
+  color: #d08770;
+}