table.outer { 
  background-color: rgb(150,160,150); 
  margin-left : auto; 
  margin-right : auto;
  width : 500;
}

table.stable {
  font-size: small; 
  margin-top: "5"; 
  border-left : "2px solid rgb(100,100,100)";
  border-top : "2px solid rgb(100,100,100)";
  border-right : "3px solid rgb(40,40,40)";
  border-bottom : "3px solid rgb(40,40,40)";

  margin-bottom : 0em;
  margin-left : auto;
  margin-right : auto;
}

table.stable td, table.stable th {
    border : "1px solid grey";
}

div.inner { 
  background-color: rgb(200,210,200); 
  padding : 1em; 
  margin-top : 0px; 
  margin-left : 10px; 
  margin-right : 10px; 
}

div.cright { 
  font-size: small;
}

div.warn { 
  color: red;
}

table.ltable td
, table.ltable tr
{ 
  text-align: center; 
  font-align: center; 
  font-size: x-small; 

  border-left: "1px solid black";
  border-top: "1px solid black";
  border-right: "2px solid black"; 
  border-bottom: "2px solid black";
}