summaryrefslogtreecommitdiff
path: root/static
diff options
context:
space:
mode:
authorstuebinm2022-03-28 17:07:03 +0200
committerstuebinm2022-03-28 17:07:03 +0200
commit82082e8b6f02f7fa003f8cf311122fa013ae641e (patch)
tree16f19da05557e1802539b4fd3578be5f532b2d10 /static
parentd15920f72891db83a9b3a96d71a8d31c0f0920a0 (diff)
server: show helpful information for result
This includes the backlink to the lobby (auto-generated only for now) and a "help!"-button for sending mails. Also general info regarding which commit was linted / published.
Diffstat (limited to 'static')
-rw-r--r--static/style.css5
1 files changed, 5 insertions, 0 deletions
diff --git a/static/style.css b/static/style.css
index 7a84ea6..c2846ce 100644
--- a/static/style.css
+++ b/static/style.css
@@ -15,6 +15,11 @@ body {
font-family: Ubuntu, sans-serif;
}
+.btn {
+ margin-left: 2em;
+ font-family: Ubuntu;
+}
+
.main-content {
padding: 2em;
border-radius: 1em;