/* Redefining elements */
body {font-family: "century schoolbook", "times new roman", times, serif; margin-left:5%; margin-right:5%; }
h1 h2 h3 {font-family: "gill sans", arial, helvetica, sans-serif;}
h1 {font-size: 200%;}
h2 {font-size: 130%;}
h3 {font-size: 110%;}
code {font-family: courier, monospace; }

/* New named styles */
.note {font-size:90%; font-family: "gill sans", arial, sans-serif; margin-left:5%; }
.navbar {font-size:80%; font-family: "gill sans", arial, sans-serif; text-align:center; }
.warn {color:red; background-color:#ffff99; font-family: "gill sans", arial, sans-serif; text-align:center; padding: 5px; font-weight:700; }
.tbhead {text-align: center; font-family: "Gill Sans", Helvetica, Arial, sans-serif; font-weight: 900; }

/* Styles for the push button navigation bar */
.nav {margin:0; padding:0; margin-left:50px; } 
.nav li {list-style:none; float:left; margin:0; white-space:nowrap; font-size:12px; line-height:24px; margin-right: 1px; }
.nav a {text-decoration:none; font-weight:bold; border:2px solid; border-color: #ffffff #333333 #333333 #ffffff; display:block; float:left; background: #cccccc; color: #333333; width: 0.1em; }
html>body .nav a {width:auto; } /* fixes necessary width hack for non-IE browsers */
.nav a:hover {background-color: #333333; color: #cccccc; border-color: #000000 #cccccc #cccccc #000000; }
/* Commented backslash Hack hides rule from IE5-Mac \*/
.nav a {float:none;} /* End hack for ie5-Mac */
.nav #current, .nav #current a {color: #ffffff; background: #333333; }