/* Whole document: */
body{
font-family: Times New Roman;
font-size: 16pt;
}


.test {
border-top:  double #333;
border-bottom:  double #333;
# padding: -1px -5px -1px -5px;
}


.smallsize {
      font-size: 17px;
      color:  SlateGrey;
      font-weight: bold}


.column-margin {
            font-size: 0.8em; /* Adjust the font size as desired */
          }  
          
}