#file {
    	visibility: visible;
	position: static;
}

#filealt {
    	visibility: hidden;
	position: absolute;
}

#file3{
    	visibility: visible;
}

#file3alt {
    	visibility: hidden;
}

#file4{
    	visibility: visible;
	position: static;
}

#file4alt {
    	visibility: hidden;
	position: absolute;
}

#file5{
    	visibility: visible;
	position: static;
}

#file5alt {
    	visibility: hidden;
	position: absolute;
}
a.button img{
	width: 61px;
	height: 54px;
	border: none;
}

a.button:hover img.folder {
	background-image: url("../images/folder.png");
}

a.manAnchor img{
    	/*display: block;*/
	width: 61px;
	height: 54px;
	background-image: url("../images/2men.png");
	border: none;
}

a.manAnchor:hover img.man {
	background-position: 0 -54px;
}

a.button img.folder {
	background-image: url("../images/closedfolder.png");
}

a.button:hover img.texas {
  background-image: url("../images/txhigh.gif");
}

a.button img.texas {
  background-image: url("../images/tx.gif");
}

ol li {list-style: decimal}
ol ol li {list-style: upper-alpha}
ol ol ol li {list-style: decimal}
ol ol ol ol li {list-style: lower-alpha}

#rollover_toc {
    width: 50%;
    padding-left: 40px;
    border: .5px;
    border-style: solid;
    border-color: black;
    -webkit-border-radius: 4px;
    -moz-border-radius: 4px;
    border-radius: 4px;
    -webkit-box-shadow: inset 1.5px .7px 1px 1.5px rgba(100, 100, 100, 10);
    -moz-box-shadow: 1.5px .7px 1px 1.5px rgba(100, 100, 100, 10);;
    box-shadow: 1.5px .7px 1px 1.5px rgba(100, 100, 100, 10);;
}