body { background-color:#EEEEEE; color:black; font-family:serif; font-style:normal; max-width:48em; }

h1, h2, h3, h4, h5, h6 { font-family:sans-serif; font-style:normal; font-weight:bold; page-break-after:avoid; }
table { page-break-inside:avoid; }
.ff { page-break-before:always; }

em { font-style:italic; font-weight:normal; }
dfn { font-style:italic; font-weight:bold; }

code { font-family:monospace; padding:12px; white-space:pre; background-color:#CCDDFF; } 
var { font-family:serif; font-style:italic; font-weight:normal; }
.math { font-family:serif; font-style:normal; font-weight:normal; white-space:pre; }
p.math { margin-left:40px; }

.toc a { color:black; font-family:sans-serif; font-style:normal; text-decoration:none; }
.toc a:hover { background-color:black; color:#EEEEEE; font-family:sans-serif; font-style:normal; text-decoration:none; }

.abstract { font-family:serif; font-style:italic; font-weight:normal; }
.abstract em { font-family:serif; font-style:normal; font-weight:normal; }

.ex { font-family:serif; font-style:italic; font-weight:normal; color:#bb1100; }
.ex-context { font-family:serif; font-style:italic; font-weight:normal; }
.ex-affix { font-family:serif; font-style:italic; font-weight:bold; color:#bb1100; }
.trsl { font-family:serif; font-style:italic; font-weight:normal; color:#007700; }
.gcode { font-family:sans-serif; font-style:normal; font-weight:normal; }