/* STYLES NOT APPLICABLE TO NETSCAPE4 */
@import "nons4.css";

/* BODY */
body {
	margin: 0 2em;
	padding: 0;
	background: white url(../images/bgcross-b.png);
	color: black;
}

/* BANNER */
div#banner {
	height: 48px;
	margin: 0 -2em;
	background-color: white;
//	border-bottom: 1pt navy solid;
}
div#banner p {
	margin: 0;
	padding: 0;
}
div#banner img {
	border: 0;
}

/*  BOXED COLUMNS */
.signboard {
	border: medium gray ridge;
	margin: 1em;
	padding: 0 1em;
	background: #eeeeee;
	clear: both;
}
.boxedarticle {
	border: 2pt #9999ff solid;
	margin: 1em;
	padding: 0 1em;
	background: #ddddff;
	clear: both;
}
.endbox {
	clear: both;
	text-align: right;
}
.searchbox {
	border: 1pt #999 solid;
	border-left:6pt #999 solid;
	margin: 1em;
	padding: 1em 2em;
	background: white;
}
.signboard .title {
	border-bottom: 2px #cccccc solid;
	padding: 0.2em 0.5em;
}
.boxedarticle .title {
	border-bottom: 2px #ccccff solid;
	padding: 0.2em 0.5em;
}

/* HEADLINES */
h1 {
	margin: 0.5em 0 1em -2em;
	padding: 0.2em 2em;
	border-bottom: 2pt #0000cc solid;
}
h2 {
	margin: 1.5em 0 0 0;
	padding: 0.2em 0.5em;
	border-bottom: 2pt #9999ff solid;
	border-left: 12pt #9999ff solid;
}
h3 {
	margin: 1em 0 0 0;
	padding: 0.2em 0.5em;
	border-top: 1pt #ccccff dotted;
	border-bottom: 1pt #ccccff dotted;
	border-left: 4pt #9999ff solid;
}
h4 {
	margin: 0.5em 0;
	padding: 0.2em 0.5em;
	border-bottom: 2pt #6666ff solid;
}
h5 {
	margin: 1.5em 0 0 0;
	padding: 0.2em 0.5em;
	border-bottom: 1pt #ccccff solid;
	border-left: 3pt #ccccff solid;
}
h6 {
	margin: 1em 0 0 0;
	padding: 0.2em 0.5em;
	border-top: 1pt #ccccff dotted;
	border-bottom: 1pt #ccccff dotted;
	border-left: 2pt #ccccff solid;
}
h2:before {
	content: url(../images/checkm-b.png);
}

/* FIGURES, TABLES, AND EQUATIONS */
p.figure {
	border: 1px gray solid;
	margin: 2em 3em;
	padding: 1em;
	background: white;
	text-align: center;
}
p.figurenoborder {
	border: none;
	margin: 1em;
	padding: 1em;
	background: white;
	text-align: center;
}
.equation {
	margin: 1em 3em;
	vertical-align: middle;
}
table {
	margin: 1em;
}

/* FOOTER (or HEADER) */
hr {
	clear: both;
}
address {
	margin: 1em 4em;
	text-align: right;
}
p.navigation {
	margin: 0 -2em;
	padding: 0.5em;
	color: black;
	background-color: #cccccc;
	clear: both;
}
p.langsw {
	margin: 0 -2em;
	padding: 0.5em;
	color: black;
	background-color: #ddeeff;
	clear: both;
}

/* OTHER STYLES */
.commandline {
	font-family: monospace;
	background-color: #eeeeee;
	border-top: 1px silver solid;
	border-left: 1px silver solid;
	border-bottom: 1px #eeeeee solid;
	border-right: 1px #eeeeee solid;
}
.variable {
	font-style: italic;
}
.comment {
	color: gray;
}
.warning {
	color: #cc0000;
}
.publisher {
	text-align: right;
}

a:hover {
	background: #eeeeff;
}
div#banner a:hover {
	border-bottom: 1px dotted navy;
}
p.navigation a:hover {
	background: #bbbbbb;
}
p.langsw a:hover {
	background: #ccddee;
}
.signboard a:hover {
	background: #cccccc;
}
.boxedarticle a:hover {
	background: #ccccff;
}
ul.check li {
	list-style-image: url(../images/checks-r.png);
}
dl.emph dt {
	font-weight: bold;
	color: navy;
	margin: 1em 0 0 0;
}
dl.emph dt:before {
	content: url(../images/checksi-r.png)
}
img.mailto {
	vertical-align: middle;
}
.external:after {
	content: url(../images/checksi-g.png)
}

/*
 * MEDIA-SPECIFIC STYLES
 */

@media print {

div#banner, p.navigation, p.langsw, .searchbox {
	display: none;
}

.comment {
	color: #666666;
}

}