pre     { font-size: 100%; }

.styleswitch .small   { border-bottom: 3px solid rgb(80%,80%,80%); }
.styleswitch .regular { border-bottom: 0px; }
.styleswitch .large   { border-bottom: 0px; }