numerous improvements

2020-12-09 22:59:07 +00:00
parent 55cb599364
commit d7766a7d95
15 changed files with 146 additions and 9 deletions
@@ -91,8 +91,9 @@ button a {
  color: inherit;
 }

-#admin-link {
+#admin-link, #logout-link, #profile-link {
  float: right;
+  padding-left: 10px;
 }

 .marking-list {