body { margin : 0px }

.blue { background-color : #0006a5 }

.lightblue { background-color : #0002bc }

.darkblue { background-color : #00058f }

.fivehigh {
            height : 5px ;
            margin-top : 0px ;
            margin-bottom : 0px ;
            padding-top : 0px ;
            padding-bottom : 0px ;
            max-height : 5px ;
            font-size : 1%;
            background-color : #0006a5 ;
          }

.fivehighlight {
                height : 5px ;
                margin-top : 0px ;
                margin-bottom : 0px ;
                padding-top : 0px ;
                padding-bottom : 0px ;
                max-height : 5px ;
                font-size : 1%;
                background-color : #0002bc ;
               }

.fivehighdark {
                height : 5px ;
                margin-top : 0px ;
                margin-bottom : 0px ;
                padding-top : 0px ;
                padding-bottom : 0px ;
                max-height : 5px ;
                font-size : 1%;
                background-color : #00058f ;
              }