body {font-family:Verdana, Helvetica, Arial; line-height:1.4;}
div#outer{width:65%;margin:auto;}

div.examp {border: 1 solid #ccf; background-color:#eef; margin: 0 5%; padding: 2% 5%;}
div.nav {border-bottom: 1 solid #444; background-color:#ccc; margin: 0 0 5px 0; 
padding: 0; font-family:  Gill Sans MT, Courier New;}


p {font-size: 11pt;}
sub b, var b { font-style:normal; color:black;}
var {color:blue;font-style:normal;}
h1 {font-family: Perpetua; font-size: 28pt;}
h2 {font-family: Perpetua; font-size: 21pt;}
h3 {font-family: Perpetua; font-size: 20pt;}
h4 {font-family: Perpetua; font-size: 16pt;}
h5 {font-family: Perpetua; font-size: 14pt;}
ol,ul {font-size: 11pt; color:#226;}
ol.black {color:#000;}
a  {color: #448;}
a:visited {color: #446;}
a:active, a:hover {    color: #00a;}

.nav p {margin: 0; padding: 0.5ex 0; }


#connect  {border-collapse: collapse; width:80%; margin:auto;}
#connect tr, td {font-size: 11pt; border: 1px solid #CCC; padding: 15px;}

sup, sub {
   vertical-align: baseline;
   position: relative;
   top: -0.4em;
   line-height: 0;
}
sub { top: 0.4em; }


h1.chapter {font-family:Perpetua; font-weight: normal;font-size: 18pt;}


p.formula, p.steps {margin-left:15%; font-family: Courier New; font-size: 12pt;}
p.atom {margin-left:15%; font-size: 15pt;line-height:2;}
.atom sub {/*font-style:italic;*/ color:blue; line-height: default;}

p.indent, p.quote {margin: 2ex 5%;}

img {display: block; margin: 12pt auto;} 
img.inline {display:inline; vertical-align: -65;}
/*margin-left:auto; margin-right: auto;}*/
img#res1 {width: 45%;}
img#res2 {width: 100%;margin: 20pt auto;}
img#res3 {width:100%;margin: 20pt auto;}
pre {font-size: large;}
pre.unifier {margin-left:5%; font-size: normal;}

#connect td.op {width:20%;}
#connect td.symb {width:10%;}

table.example {width:80%; margin-left:0;}
.example td.first-col {width:17%;}