/* Style Sheet for E-text tutorial at The Web KANZAKI
 * edited on April 9, 1998 by M.Kanzaki
 * original http://www.kanzaki.com/docs/etext/etext.css
 */

/*body {
    background: #fdfdf6 url(etext.png)
                no-repeat fixed top left;
}*/
p   {
    line-height: 1.4;
    color: black;
}
pre {
    margin-left: 2%;
    margin-right: 2%;
}
.aux  {
    margin-left: 1em;
    margin-right: 1em;
    padding: 1em;
    border: solid thin #fefef9;
    background: #eeeeee;
}
.example {
    margin-right: 20%;
    padding: 1em 2em;
    border: solid thin #fefef9;
    background: #ffffcc;
}