body {font-family: Georgia, serif;}
h1, h2, h3, h4, h5, h6, .header, a, .a, .extra, .quote {font-family: Arial, sans-serif;}
a:link {color: blue; background-color: transparent;}
a sub {text-decoration: none;}
a {color: #0000ff; background-color: transparent;}
a:visited {color: #660099; background-color: transparent;}
a:hover {color: red; background-color: transparent;}
a:active {color: green; background-color: transparent;}
a.extra, li.extra a {color: #5555ff; background-color: transparent;}
a.extra:visited, li.extra a:visited {color: #8844bb; background-color: transparent;}
a.extra:hover, li.extra a:hover {color: red; background-color: transparent;}
a.extra:active, li.extra a:active {color: green; background-color: transparent;}
.header {font-size: 133%; font-weight: bold;}
.sm, .nav, .extra, .jreq, .jdec {font-size: 78%;}
.quote {font-family: Geneva;
	padding-left: 15px; padding-right: 15px; padding-top: 1ex; padding-bottom: 1ex;
	margin-left: 30px; margin-right: 30px; margin-top: 10px; margin-bottom: 10px;
	border-width: 1px; border-color: #666666; border-style: solid;
	box-shadow: 3px 3px 6px #444444;
	border-radius: 8px;
	}
.jreq {color: red; background-color: transparent;}
.jdec {color: #993333; background-color: transparent;}
span.sp {font-size: 48pt; padding-right: 3pt; float: left; margin-top: -12pt; margin-bottom: -12pt;}
span.oop {color: #666666; background-color: transparent;}
sub, sup {font-size: 75%; font-family: Times, sans-serif;}
table.app {float: right; margin: 10px;}
table.app, table.app table {border: 2px; border-style: ridge;}
#leftapp  {position: absolute; left: 20px; top: 20px;}
table.leftapp {float: left; width: 270px; height: 260px;}
table.leftappWide {float: left; width: 390px; height: 260px;}
table.leftappWide2 {float: left; width: 440px; height: 320px;}
table.leftappTall {float: left; width: 270px; height: 320px;}
ul.errata li {padding-top: 1ex; padding-bottom: 1ex;}
a.vimeo {color: #ffff00; background-color: transparent;}
a.youtube {color: #ff0000; background-color: transparent;}
a:hover.vimeo, a:hover.youtube {color: black; background-color: #ffffc8;}
.noJava {color: red; font-size: 200%;}