/* last updated: Wednesday, day: 26, month: 10, year: 2005 */


@import url(../MyStyle.css);

DIV.h-proof {
   margin-bottom: 1em;
   margin-top: 2em;
   text-decoration: underline;
}
DIV.proof { font-family: monospace; }
DIV.source { text-align: center; }

IMG.float { float: right; }

TABLE.ratio TD {
   border: solid;
   border-color: white;
}