Merge remote-tracking branch 'origin/master'

2018-09-20 14:04:29 +01:00 · 2018-09-20 14:04:29 +01:00 · 33686d0db5
commit 33686d0db5
parent 7d3d4b5d47 33cdd67154
10 changed files with 27 additions and 4 deletions
--- a/resources/public/css/yyy-common.css
+++ b/resources/public/css/yyy-common.css
@ -399,6 +399,10 @@ th {
    padding-bottom: 2em;
  }

+  #issue-text {
+    font-size: 200%;
+  }
+
  #main-container {
    width: 100%;
    margin: 0;