.spacer {width: 10ex; }
.tabs {font-size: 170%;}
.sublinks, div.sublinks a, {font-size: 100%;}