body {font-family:verdana, arial, helvetica, sans-serif; margin:0em; padding:0em}
div#page{margin:0em;padding:1px 10px 10px 10px}
p#nav{text-align:center}
p#last{font-size:80%; font-weight:bold}
p.num{font-size:80%;}
h2{margin-top:1.5em}
h2{font-size:100%; padding:0em 0em 0em 0em; margin:0em 0em 0em 0em}
h2.list{float:left; margin:0em 1em 0em 0em; font-size:100%}<!--xhtml-by-example.html-->

ol.code{background-color:whitesmoke;border:1px solid white;padding-top:1em; padding-bottom:1em;padding-left:0em;margin-left:0em;}
li.code{background-color:whitesmoke;padding-left:5px; padding-right:5px; border:1px solid white; margin-left:0em; list-style:none;}
ol.code{background-color:whitesmoke;border:1px solid white;padding-top:1em; padding-bottom:1em;padding-left:0em;margin-left:0em;}


code{font-size:100%;color: black; background-color:transparent; font-family: "Courier New", monospace}

.brown, .e{color:maroon;}
.red, .a{color:red;}

p.summary{border: 1px silver dashed; padding:1em 1em 1em 1em; background-color:azure; font-family:monospace; margin:0em 0em 2em 1em}
p.summary{font-family:monospace}
p.spec{padding:.0em 0em 0em 0em;}