.topbarclass, .topbarclass td {
  background-image: url('bghbar.jpg');
  background-color: black
}
body { background-color: #c6d2fa;
       background-image: url(bgvbar.jpg);
       color: #000070;
       margin: 0px;
       padding: 0px }
hr { width: 100px;
     color: #000070;
     background-color: #000070;
     border: 1px solid #000070 }
.menu img { display: block; border-width: 0px }
.topbarclass img { display: block; border-width: 0px }
h1 { font-size: 300%;
     text-align: center }
h2 { font-size: 200% }
p.bib { text-indent: -40px;
	margin-left: 40px;
	margin-right: 40px }
.bibinfo { font-size: 70% }
.code { background-color: white;
	border: thin solid #000070;
        white-space: pre-wrap }
table.tree { width: 100%;
             text-align: center;
             empty-cells: show;
             border-collapse: collapse }
table.tree td.lft { height: 20px; border-right: 2px solid black }
table.tree td.rgt { height: 20px; border-left: 2px solid black }
table.tree td.tlft { height: 20px; border-right: 2px dashed black }
table.tree td.trgt { height: 20px; border-left: 2px dashed black }
table.tree td.clft { border-right: 2px solid black }
table.tree td.crgt { border-left: 2px solid black }
table.tree tr.meet, table.tree tr.join { height: 10px }
table.tree tr.meet td.tl { border-bottom: 2px solid black;
                           border-right: 2px solid black; }
table.tree tr.meet td.tr { border-left: 2px solid black;
                           border-bottom: 2px solid black }
table.tree tr.meet td.bl, table.tree tr.join td.tl
	{ border-right: 2px solid black }
table.tree tr.meet td.bot { border-left: 2px solid black;
                            border-top: 2px solid black;
			    border-right: 2px solid black }
table.tree tr.meet td.br, table.tree tr.join td.tr
	{ border-left: 2px solid black }
table.tree tr.join td.top { border-left: 2px solid black;
                            border-bottom: 2px solid black;
                            border-right: 2px solid black }
table.tree tr.join td.bl { border-top: 2px solid black;
                           border-right: 2px solid black }
table.tree tr.join td.br { border-left: 2px solid black;
                           border-top: 2px solid black }