make the border-left the full height of the page

website/static/platform.css

@@ -1,7 +1,7 @@
 .banner {
   text-align: center;
-  margin: 0.5em;
-  padding-bottom:0.5em;
+  margin: 0 0.5em 0.5em 0.5em;
+  padding: 0.5em 0;
   border-bottom:1px solid gray;
   font-size:125%;
 }
@@ -128,4 +128,4 @@ body.dark-theme {
 e.g. https://raw.githubusercontent.com/33kk/uso-archive/flomaster/data/usercss/2154.user.css */
 div[class="vjs-text-track-display"] {
   display: none;
-}
+}