div.toplevel {
    background-color: #bbbbbb;
    border-style: solid; 
    border-color: blue;
    border-width: 1px;
    padding : 3px; 
    margin-top: 3%;
    margin-bottom: 10px;
    margin-left: 1%;
    margin-right: 1%;
    font-size:120%;
    font-family: sans-serif; 
    font-style: bold;
  }