      body {
	  color: black;
          background: white;
          width: 600px;
          margin: 1em 2.5em;
          text-align: left;
      }
      h1 {color:blue; font-size: 150%}
      h2 {color:green; font-size: 120%}
      h3 {color:#3db3e9; font-size: 100%}
      blockquote{width: 500px}
      pre {color: maroon; margin-left: 1em}
      pre.example {
          font-family: Courier, monospace
          line-height: 120%;
          background: #d8e0d0;
          padding: 0.5em;
          border: thin outset #d8e0d0;
      } 
      .point {color:red}
      .additional {background: yellow}

