@import url(menu.css);
@import url('https://fonts.googleapis.com/css2?family=Kalam:wght@400;700&family=Noto+Sans:ital,wght@0,400;0,700;1,400;1,700&family=Roboto:ital,wght@0,400;0,700;1,400;1,700&display=swap');

@media screen {
	body { padding: 0 0 80px 0; }
	#printHeader { display:none; }
	#container { margin: 0 0 0 210px; overflow: auto; padding: 90px 2em 6em 2em; position: relative; }
	#container h1 { color: #400; font-size: 180%; font-weight: bold; margin: .5em -.5em; padding: 0; }
	#container h2 { color: #600; font-size: 140%; font-weight: bold; margin: 0; padding: .5em 0; }
	#container h3 { color: #666; font-size: 120%; font-weight: bold; margin: 0; padding: .5em 0; }
	#container > p.motd, #container > div[lang] > p.motd { color: #666; font-size: 110%; font-style: italic; font-weight: bold; }
	#container p { margin: .3em 0; padding: 0; }
	#container ul, #container ol { margin-top: 0 !important; margin-bottom: 0 ! important; padding-top: .3em ! important; padding-bottom: .3em ! important }
	#container a { text-decoration: none; color: #900; }
	#container a:hover { text-decoration: none; color: #c00; }
	#container pre { margin-bottom: unset; }
	.footer { text-align:center; font-size:10px; color:#666; margin: 3em 0 0 0; height: 40px; }
	#bottomLine { height: 200px; margin: 0 100px 0 240px; }
	#gsearch {max-width: 40%;float:right;margin:-5em -4em 0 0;}
}

#container { font-family: 'Noto Sans', Verdana, sans-serif; font-size: 1em; }
#container code, #container tt, #container pre { font-family: 'Source Code Pro', monospace; }
a img { border: none; }
.gray { color: #999; }

@media print {
	.footer { display: none; }
	#printHeader { padding: 0; font-size: 50%; font-family: sans-serif; color: #ccc; margin: 0 0 .5em 0; }
	#bannerImage { display: none; }
	#bottomLine { display: none; }
}
@media screen and (min-width:992px) {
	#container > h1:first-of-type, #container > div[lang]:first-of-type > h1:first-of-type { background-color: #eee; color: #600; height: 64px; left: 210px; line-height: 100%; margin: 0; overflow: hidden; padding: 10px 0; position: fixed; right: 0; top: 0; z-index: 10; }
	#container > p.motd, #container > div[lang] > p.motd { background-color: #ddd; border-radius: 16px 0 0 0; height: 28px; left: 210px; margin: -20px 0 0 0; overflow: hidden; padding: 0 10px 0 1rem; position: fixed; right: 0; text-overflow: ellipsis; top: 64px; white-space: nowrap; z-index: 10; }
}

@media screen and (max-width:992px) {
	#bannerImage, #quicklinks { display: none; }
	#container { background-color: #fff; border: none; left: 0; margin: 0; overflow: auto; padding: .5em; position: relative; right: 0; }
	#container h1 { font-size: 150%; margin: .5em 0; }
	#container h2 { font-size: 130%; margin: 0; }
	#bottomLine { display: none; }
	#container > p.motd, #container > div[lang] > p.motd { font-size: 100%; margin-left: 2em; text-align: right; }
	#gsearch {}
}