A:link    { color: #00e; }
A:visited { color: #00e; }
A:hover   { color: #f00; }

.f11 { font-size: 12.5px; }

font[size="2"] {
	font-size: 0.82rem;
}

@media print {
	.navi { display: none; }
}