Changes

Jump to navigation Jump to search
no edit summary
Line 2: Line 2:     
div.version_bar {
 
div.version_bar {
   position: sticky;
+
   position: sticky !important;
   position: -webkit-sticky;
+
   position: -webkit-sticky !important;
 
   top: 0px;
 
   top: 0px;
 
   padding: 0.1em;
 
   padding: 0.1em;

Navigation menu