changes on server

2019-09-11 12:17:19 +02:00
parent c5af587d38
commit 47ce5c4d37
7 changed files with 126 additions and 80 deletions
--- a/special/recentchanges/index.html
+++ b/special/recentchanges/index.html
@@ -6,17 +6,19 @@
 <link rel="stylesheet" type="text/css" href="/m/style.css">
 <style>
    body {
-        margin: 5%;
-        margin-left: 50px;
-        margin-top: 10px;
-        background: #111111;
+        margin: 1.5em;
+        margin-left: 40px;
+        margin-top: 2.5em;
+        background: #333;
        color: white;
        overflow: auto;
+	font-family: Vega;
+	font-size: 17px;
    }
    h1 {
        margin: 0;
        font-family: Combined;
-        font-size: 100%;
+        font-size: 1.5em;
    }
    #content {
        margin-top: 1em;
@@ -40,7 +42,7 @@
        padding: 5px;
    }
    div.edit {
-        margin-bottom: 0.5em;
+        margin-bottom: 1em;
    }
 </style>
 </head>