doc/dest-unreach.css

   1 table {
   2         empty-cells:show;
   3 }
   4 .frame { border-style:solid; border-width:4px; border-color:black; }
   5 .shell { font-family:Courier;
   6       padding:2px; padding-left:6px; padding-right:6px;
   7       border-style:solid; border-width:1px; border-color:gray;
   8       color:lightgreen;  background-color:black;
   9 }