/* ========= various ========= */

pre {color:blue; background: #cc3;}
.notice {background: pink;font-weight: bold}
.warning {color: red; font-size: 150%;}

.ra {text-align: right}

/* ========= in-page table of contents ========= */

.toc {border: thin red solid; background: ivory}

.tl1 {margin-left: 1em}
.tl2 {margin-left: 2em}
.tl3 {margin-left: 3em}
.tl4 {margin-left: 4em}
.tl5 {margin-left: 4em}
.tl6 {margin-left: 4em}

/* ========= html tables ========= */

table {background: ivory;}

td { min-wdith: 10%;
     border: thin blue solid;
   }