html { overflow-y: scroll; }
body {
	font-size: 12px;
	}

.head-tab a { padding: 2px 4px 0 4px; }
.head-prop { margin-top: 0; }
.head-prop a { top: -0.5em; }
.head-function { min-height: none; height: 20px; }

#sitemap { font-size: 13px; }
#sitemap li{ line-height: 1.2em; }
