/* General display settings */

a    {text-decoration: none}
body {background-color: white;
      font-family: arial;
      margin-left: auto; 
      margin-right: auto; 
      padding-left:  15%; 
      padding-right: 15%; 
      text-align: center;
}

/* Border definitions */

dottedenv {border-style: dotted}
shadedenv {border-style: shaded}
grooveenv {border-style: groove}
ridgeenv  {border-style: ridge;
           border-color: red}

div { 
/* every border rounded except top left */
    border-top-right-radius: 20px;
    border-bottom-right-radius: 20px;
    border-bottom-left-radius: 20px;
}

#divallrounded { /* every border rounded */
    border-radius: 10px;
}