body{
  background-image: url("/MathIdentitiesProofs/0StageDark.jpg");
  background-size:cover;
  background-attachment:fixed;
  background-color:#000000;
  color:#EFFF2F;
  font-family:"Lucida Sans";
}
.header{
  border:5px solid #004F2F;
  background-color:rgba(0,0,0,0.5);
  text-align:center;
}
.shell{
  margin-bottom:10px;
  border:5px solid #004F2F;
  background-color:rgba(0,0,0,0.5);
  padding:5px;
  overflow-x:auto;
}
h4{
  margin:0;
  padding-bottom:5px;
  border-bottom:1px solid #004F2F;
  margin-bottom:5px;
}
h5{
  font-size:16px;
  border-top:1px solid #EFFF2F;
  border-bottom:1px solid #EFFF2F;
  margin:20px 0;
}
.jump{
  padding-top:12px;
  padding-bottom:12px;
  font-size:12px;
}
.jumpa{
  padding-top:12px;
  font-size:12px;
}
.jumpb{
  padding-bottom:12px;
  font-size:12px;
}
.jump0{
  font-size:12px;
}
table{
  border-collapse:collapse;
  width:100%;
}
th{
  border:1px solid #004F2F;
  background-color:rgba(0,0,0,.3);
  text-align:left;
  font-weight:normal;
}
td{
  border:1px solid #004F2F;
  padding:0 3px;
}
.eq{
  padding:5px;
}
img{
  width:50%;
  display:block;
  margin-top:10px;
  margin-bottom:10px;
  margin-left:auto;
  margin-right:auto;
}
.wide{
  width:75%;
}
.tab{
  width:100%;
  margin-top:0px;
  margin-bottom:0px;
}
ul{
  margin:0px;
}
li{
  padding-top:2px;
  margin-left:-16px;
}
.thnav{
  border:5px solid #004F2F;
  background-color:rgba(0,0,0,.5);
  padding:5px 0;
  text-align:center;
}
.tdnav{
  border:5px solid #004F2F;
  width:11.111%;
  padding:0 0 0 0;
}
.imgnav{
  width:100%;
  margin-top:0;
  margin-bottom:0;
}
ol{
  margin:0;
}
.linav{
  margin-left:-8px;
  font-family: "Lucida Sans Typewriter";
}
.ten{
  margin-left:-8px;
  font-family: "Lucida Sans Typewriter";
  list-style-type:upper-alpha;
}
p{
  margin:0;
  font-family: "Lucida Sans";
}
a{text-decoration:none;}
a:link {color:#6FDFAF;}
a:visited {color:#6FDFAF;}
a:hover {color:#8FFFCF;}
a:active {color:#FFFFFF;}