html {
    width: 100%;                    
    height: 100vh;                  
    background: rgb(171, 196, 255);  
    font-size: 1.0em;               
}

body {
  margin: 0;
  padding: 0;
  min-height: 100vh;
  display: flex;
  flex-direction: column;       
}

div.header {
    background: rgb(0, 0, 0, 0.2);                             
    grid-area: head; 
    padding: 0px;
    position: sticky;
    width: 100%;
    top: 0;
    z-index: 100;               
  }

  div.mainbody {
    grid-area: mainbody;
    flex-grow: 1;
  }

  div.footer {
    position: fixed;
    width: 100%;
    bottom: 0;
  }

  .text {
    margin-left: 10px; 
  }

  ol {
    list-style-type: circle; 
  }

  ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
    overflow: hidden;
    background-color: #333;
  }
  
  li {
    float: left;
  }
  
  li a {
    display: block;
    color: white;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
  }
  
  li a:hover:not(.active) {
    background-color: #111;
  }
  
  .active {
    background-color: rgb(2, 62, 138)
  }

  .profile {
    list-style-type:disc;
    float: none;
  }

  div.fixed {
    position: fixed;
    top: 0;
    right: 0;
    width: 100px;
    padding: 30px;
  }