html {
    margin: 0;
    padding: 0;
}

body {
    alink: #dc143c;
    link: #000088;
    vlink: #822222;
    text: #000000;
    background-color: #cce;
    margin: 0;
    padding: 0;
}

div.topbanner {
    background-color: #44e;
    margin: 0;
    padding: 0;
}

div.topbanner > img {
    margin: 0;
    padding: 0;
}

div.topbanner > p {
    text-align: center;
    font-size: 140%;
    font-style: italic;
    color: #fff;
    margin: 0;
    padding: 0;
}

div.mainbody {
    background-color: #fff;
    margin: 4pt;
    padding: 6pt;
}

img {
    margin: 8pt;
}

h1 {
    color: #8080ff;
}
h2 {
    color: #8080ff;
}
h3 {
    color: #8080ff;
}

span.code {
    font-weight: bold;
    color: #000088;
}

span.bold {
    font-weight: bold;
}

div.info_page {
    border: 3px double #ccc;
    padding: 8pt;
    background-color: #f8f8ff;
    color: #22c;
}

@media only screen and (max-width: 899px) {

    h2.menu_body {
	border: 3px double #ccc;
	padding: 8pt;
	background-color: #eef;
    }

    dl.menu_body {
	border: 3px double #ccc;
	padding: 8pt;
	background-color: #eef;
    }

}

@media only screen and (min-width: 900px) {

    h2.menu_body {
	visibility: hidden;
    }

    dl.menu_body {
	border: 3px double #ccc;
	padding: 8pt;
	background-color: #eef;
	position: sticky;
	bottom: 2pt;
	opacity: 0.9;
    }

}

dl.menu_body dt::after {
    content: ":";
}

@media only screen and (max-width: 599px) {

    dl.menu_body dt {
	text-indent: 0pt;
	float: left;
	clear: left;
	min-width: 30%;
	text-align: right;
	color: #8080ff;
	font-weight: bold;
    }

    dl.menu_body dd {
	margin: 0 12pt 0 34%;
    }

}

@media only screen and (min-width: 600px) and (max-width: 899px) {

    dl.menu_body dt {
	text-indent: 0pt;
	float: left;
	clear: left;
	min-width: 33%;
	text-align: right;
	color: #8080ff;
	font-weight: bold;
	margin: 0 12pt 0 0;
    }

    dl.menu_body dd {
	margin: 0 12pt 0 34%;
    }

}

@media only screen and (min-width: 900px) {

    dl.menu_body dt {
	text-indent: 0pt;
	float: left;
	clear: left;
	min-width: 35ex;
	text-align: right;
	color: #8080ff;
	font-weight: bold;
    }

    dl.menu_body dd {
	margin: 0 12pt 0 37ex;
    }

}