Merge remote-tracking branch 'origin/master'

webapp/src/main/webapp/public/resources/style.css

@@ -1738,3 +1738,7 @@ table.ias-table, table.ias-table td {
     font-family: monospace;
     white-space: pre;
 }
+
+#header-title > .title-short {
+    display: none;
+}