.txt90percent { font-size: .90em; }
.txt75percent { font-size: .75em; }
.txt66percent { font-size: .66em; }
.jumplinks {
    margin-top: 0;
	font-size: .85em;
}
.code {font-family: courier, monospace; color: #336699; border: solid 1px #669966; padding: 8px; width: 488px; }
.section { font-weight: bold; border-top: solid 1px #6699cc; padding-top: 8px; }