.defntable { vertical-align:top; border:thin solid black; background-color:#E0E0E0; font-size:small; }
.defntable th { text-align:left; padding:2; padding-right:0.5in; }
.defntable td { padding:2; }
.example { padding:4; border:thin solid black; background-color:#F0F0FF }