diff options
Diffstat (limited to 'static')
-rw-r--r-- | static/style.css | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/static/style.css b/static/style.css new file mode 100644 index 0000000..14cd656 --- /dev/null +++ b/static/style.css @@ -0,0 +1,34 @@ +body {
+ font-family: "Helvetica Neue", Helvetica;
+ font-size: 11.5pt;
+ margin: auto;
+ padding: 1em;
+ padding-stop: 0.25em;
+ max-width: 80ch;
+}
+
+footer {
+ color: #333;
+ font-size: 9pt;
+}
+
+.sourceCode {
+ font-size: 10pt;
+}
+
+.navbar ul {
+ display: inline-flex;
+ flex-wrap: wrap;
+ list-style-type: none;
+ margin: 0;
+ padding: 0;
+}
+
+.navbar ul li {
+ display: list-item;
+ padding: 6px;
+}
+
+.navbar ul li:hover {
+ background-color: #eeeeee;
+}
|