body {
  font-family:"Trebuchet MS", Helvetica, sans-serif;
}

div {
  padding:0px;
  margin:0px;
}

table.matrix{   
   border-collapse:collapse;
   margin:20px;
   padding-top:0px;   
   margin-left: -7px;
   margin-top: -23px;
}      
table.matrix tr.T {      
 border-bottom:6px solid black;
 padding-bottom:-6px;
}
table.matrix tr.B {      
 border-bottom:2px solid black;
 height:14px;
}
table.matrix td.L {      
 border-right:6px solid black;
 padding-right:-6px;
}

table.matrix td.R {      
  border-right:2px solid black;
  width:14px;
}

table.matrix td, .defaulttd {
  text-align:center;
  width:16px;
  height:16px;
  padding:5px;
  font-size:small;
}

.defaulttr{
  border:0px none black;
}

.group_header{
  display:box;
  margin:10px;
  padding:10px;
  width:582px;
  border:1px solid lightgray;
  font-size:large;
  background-color:orange;    
}

#display_code, #display_pic{
  display:box;
  margin:10px;
  padding:10px;
  float:left;
}

#display_code{
  width:582px;
  margin:10px;
  border:1px solid orange;
  font-size:small;
}

#display_code .curStat{
    color:red;
}

#display_pic{
  float:right;
  padding:0px;
  margin:0px;
}

#display_pic .operand0 {
  font-size:x-large;	  
  float:left;
  clear:left;
}

#display_pic .operand1 {
  font-size:x-large;	
  float:left;  
}

#display_pic .operand .matrix{

}


#footer{
  margin-left:auto;
  margin-right:auto;
  width:60%;
}

#footer li {
  display:inline;
  list-style-type:none;
}

#footer li a{
  padding: 0px 5px;
  border-left:1px solid orange;
  border-right:1px solid orange;
  font-size:small;
  color:gray;
  text-decoration:none;
}

#footer li a:visited{
  color:gray;
}

#footer li a:hover{
  color:orange;
}


#nav {
  height:40px;
}
#nav ul{
  background-color:orange;
  padding-left:0px;
  padding-top:10px;
  padding-bottom:10px;;
  margin-left:0px;
}
#nav li{
  display:inline;
  list-style-type:none;
  background-color:orange;
  padding:0px 20px;
  font-size:large;
}

#nav a:link, #nav a:visited {
  color:black;
  text-decoration:none;  
}
#nav a:hover {
  color:white;
  text-decoration:none;  
}

#display_block{
//  border:1px solid blue;
  height:350px;
}

#display_header ul{
  background-color:orange;
  margin-left:0px;
}

#display_header li{
  display:inline;
  font-size:x-large;
  padding:0px 25px;
  margin:0px;
}
#display_header li.spacer{
  display:inline;
  font-size:xx-large;
  font-weight:bolder;
  padding:0px;
  margin:0px;
}


.display_item .header a:link, .display_item .header a:visited {
  color:black;
  text-decoration:none;  
}

.display_item .header a:hover{
  text-decoration:none;
  color:white;
}

.display_item div{
  padding:10px;
}

#publications ul li{
