@import "non47extensions.css";

body {
font-family: "hoefler text","georgia","bookman","new century schlbk","garamond",serif;
}

:link {
color: #666699;
text-decoration: none;
font-weight: bold;
}

:visited {
color: #777788;
text-decoration: none;
font-weight: bold;
}

.logo {
float: left;
margin-right: 2em;
padding: 1em;
}

.floatRight {
float: right;
}

address.webreference {
margin-top: 3em;
width: 50%;
}

address.footer {
margin-top: 1em;
width: 50%;
}

div.navmenu{
padding: 1ex;
border: 0px;
background-color: #ddddff;
text-align: center;
font-size: 85%;
font-family: verdana, sans-serif;
}

tr{
margin:0px;
padding:0px;
}

tr.stripe{
background-color: #ddddff;
}

table{
caption-side: bottom;
border-spacing: 0px;
border-width: 0px;
}

caption{
font-size: 85%;
padding: 1ex;
}

td{
margin:0px;
padding:0px;
padding-left: 1ex;
padding-right: 1ex;
}

th{
background-color: #3333ff;
margin:0px;
padding:0px;
padding-top: 1ex;
}

div.navtext{
padding: 1ex;
background-color: #ddddff;
font-size: 85%;
font-family: verdana, sans-serif;
}

div.mainattraction {
text-align: center;
clear: both;
}

.stealth {
font-size: 80%;
color: #aaaaaa;}

h1 {
margin-right: 50%;
margin-top: 0px;
font-size: 166%;
font-family: verdana, sans-serif;
}

h1.intro {
margin-top: 0px;
font-size: 166%;
font-family: verdana, sans-serif;
}

h2 {
font-size: 133%;
font-family: verdana, sans-serif;
}
h3 {
font-size: 116%;
font-family: verdana, sans-serif;
}

img {
border: 0px;
}

.bibliographic {
text-indent: -2em;
}

.annotation {
padding-left: 2em;
}

p {
text-indent: 3em;
padding-top: 0em;
padding-bottom: 0em;
margin-top: 0em;
margin-bottom: 0em;
line-height: 133%;
}

address + p{
margin-top: 1em;
}

abbr {
text-decoration: inherit;
}

dl.code-defs dt{
font-family: courier, "courier new", monaco, monospace;
margin-top: 1em;
margin-left: 2em;
}

dl.title-defs dt{
	font-weight: bold;
	font-family: verdana, sans-serif;
}


div.key, .display{
	margin-left: 2em;
	margin-right: 2em;
	padding-left: 2em;
	padding-right: 2em;
	font-style: italic;
}

.display{
	background-color: silver;
	margin: 2em;
	border: 1px #333333;
	text-align: center;
}

img.captioned-bottom{
	margin-top: 1em;
}