body { font-family: serif; }
table { padding: 10px; }
.notice { color: green; }
.warning { color: red; background-color: white; }
.title { text-decoration: underline; }
.toc { color: black; background-color: #eeeeee; border-style: solid; border-color: black; border-width: 1px; }