body {
  font-family: "Times New Roman", "Sans-Serif";
  font-size: 12px;
}

div.example {
background: rgb(204,204,255);
padding-left: 1.0em;
padding-top: 0.5em;
padding-right:1.0em;
padding-bottom: 0.5em;
margin-left: 2%;
margin-right: 2%;
border: none;
font-family: "Times New Roman", "Sans-Serif";
font-size: 12px;
}

h3.example {
padding-left: 0;
font-family: "Times New Roman", "Sans-Serif";
font-size: 12px;
}

div.extext {
padding-left: 0.5em;
font-family: "Times New Roman", "Sans-Serif";
font-size: 12px;
}