body { 
	background-color	:	papayawhip;
	color				:	#00002e;
	font-family			:	"Times New Roman", sans-serif;
}

div {
	background-color	:	inherit;
	color				:	inherit;
}

div#header {
	/*width		:	6em;
	height		:	1.6em; */
	background-color	:	white;
	color				:	darkgrey;
	float		:	right;
	font-size	:	xx-large;
	font-family	:	sans-serif;
	border		:	black solid 1px;
}
div#header a {
	color	:	inherit;
	text-decoration	:	none;
}

div.code {
	margin	:	1em;
	padding	:	0.2em 1em;
	border	:	solid 3px gray;
	background-color	:	#eef;
	color	:	inherit;
}

div.bnav ul {
	list-style	:	none;
	padding-left	:	0;
	padding-top	:	1em;
}

div.bnav ul li {
	padding	:	0;
	margin	:	0;
}

div.bnav img.icon {
	vertical-align	: middle;
}

td.num {
	text-align	:	right;
}

img.blockeq {
	padding	:	1em;
	display :	block;
}

img.inlineeq {
	padding	:	0 .2em;
}

table.dict {
	border	:	solid darkgrey 2px;
	border-collapse	:	collapse;
}

table.dict th {
	border	:	solid darkgrey 1px;
	padding	:	.1em .3em;
}

table.dict td {
	border-left		:	solid darkgrey 1px;
	border-right	:	solid darkgrey 1px;
	padding	:	.1em .3em;
}