--- a/Applications/StoneWebViewer/WebApplication/app-fixes.css	Fri Oct 28 07:47:55 2022 +0200
+++ b/Applications/StoneWebViewer/WebApplication/app-fixes.css	Wed Nov 02 15:14:56 2022 +0100
@@ -43,3 +43,31 @@
     border-radius: 5px;
     padding: 7px;
 }
+
+
+.wvVerticalScrollbar {
+    position: absolute;
+    top: 0;
+    bottom: 0;
+    right: 0;
+    width: 10px;
+    background-color: #1b663e;
+}
+
+.wvInfoRightMargin {
+    right: 10px !important;  /* must match the "width" of "wvVerticalScrollbar" */
+}
+
+.wvVerticalScrollbarHighlight {
+    position: absolute;
+    left: 0;
+    right: 0;
+    height: 5%;
+    background-color: #00ff00;
+}
+
+.wvInputInstanceNumber {
+    width: 6ch;  /* width of 6 characters */
+    border: 2px solid rgba(255, 202, 128, 0.24);
+    background-color: transparent;
+}