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.

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;