body {background-color: #eeffff}
    h1 { text-align: center; color: #000088; }
    .title {color: #0000aa}
    .subtitle {color: #00aa00}
    .center {text-align: center}
    .head {text-align: center; color: #aa4400}
    .box {
      border: thin solid #00aaaa;
      margin: 12px 12px 12px 12px;
      padding: 12px 12px 12px 12px;
      text-align: left
    }
    pre.example {  mono;
    color: #000000; background-color: #FFFFCC;
    padding-top: 8px; padding-right: 8px; padding-bottom: 8px;
    padding-left: 8px; border: #000000; border-style: dashed;
    border-top-width: 1px; border-right-width: 1px;
    border-bottom-width: 1px; border-left-width: 1px; width:auto;
    }
    .lin { display: none; }
    .den, .nom { display: block;  width:100%; text-align:center }
    .nom { text-decoration: underline; } 
    table.example {  mono;
    color: #000000; background-color: #FFFFCC;
    padding-top: 8px; padding-right: 8px; padding-bottom: 8px;
    padding-left: 30px; border: #000000; border-style: dashed;
    border-top-width: 1px; border-right-width: 1px;
    border-bottom-width: 1px; border-left-width: 1px; width:auto;
    }
    block.vocab:hover {	background: #50e0ff;
    }
    block.vocab span {display: none;}
    block.vocab:hover span {
    position: absolute;
    display: block;
    background: #fdd;
    border: 1px solid red;
    }
    /* The above hover change defeats the
    IE/Win display changing bug, according to
    http://www.communitymx.com/content/article.cfm?page=4&cid=4E2C0 */
    .divider {
      border: thick solid #00aaaa;
      margin: 12px 12px 12px 12px;
      padding: 12px 12px 12px 12px;
      text-align: center;
      color: #aa4400;
      background: #fdd;
    }
    .summary {
      border: thin solid #00aaaa;
      margin: 12px 12px 12px 12px;
      padding: 12px 12px 12px 12px;
      font-size: larger;
      color: #00;
      background: #aaeaea;
    }

    HR {
      page-break-after: always;
    }