div.outer { 
  background-color: rgb(150,160,150); 
  /* if margin-left and -right are auto, object us supposed to be centered in
     parent.  But only one browser's supported this. */
  margin-left : auto; 
  margin-right : auto;
  width : 500;

  padding-left : "15"; 
  padding-right : "15";
}

table.stable {
  font-size: "x-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 : "0";
  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-left : "5"; 
  padding-right : "5"; 
  margin-top : "0"; 
  margin-left : "auto"; 
  margin-right : "auto"; 
}

div.cright { font-size: "x-small"; }

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;
}