body {
font-family: garamond, "times new roman", serif;
font-size: 14pt;
}

p {
font-size: 14pt;
padding: 10px;
}

p.plug {
font-size: 10pt;
}

p.disc {
margin-top: 3px;
font-size: 12px;
}

.links {
border: 1px solid black;
}

#topnav {
width: 600px;
}