/* Style sheet trimmed for translation - 2009-01-20 */
div.toc ul {list-style:none;}
pre.example {color:green;font-family:monospace;font-weight:bold;margin-left:0;margin-right:0;white-space:pre;}
pre.dtd {font-family:monospace;font-weight:normal;margin-left:0;margin-right:0;white-space:pre;}
code {color:#609;font-family:monospace;font-weight:bold;}
.normref {font-weight:bold;}
table.moduledef {width:100%;}
div.note {margin-left:5%;font-size:smaller;}
ul.toc {list-style:none;}
/* Style class for newly added text */
pre.example {margin-left:1em;margin-top:0;margin-bottom:0;}
div.example {border:4px double gray;margin-top:4px;padding:0;}
div.example p {margin-top:0;margin-bottom:0;}
div.example pre {background:#d5dee3;border-top:4px double #d3d3d3;border-bottom:4px double #d3d3d3;padding:4px;margin:0;}
pre.example {background:#d5dee3;border-top:4px double #d3d3d3;border-bottom:4px double #d3d3d3;padding:4px;margin:0;}
div.exampleWrapper {margin:4px;}
div.exampleHeader {font-weight:bold;margin:4px;}
/* Table of contents styles */
div.toc, div.subtoc {background:#9ff;border:none;margin-right:5%;padding-top:1px;padding-bottom:3px;}
code {font-family:monospace;font-weight:bold;color:#609;}
a.normref {font-weight:bold;}
.collection {font-family:monospace;font-weight:bold;}
.datatype {font-family:monospace;font-weight:bold;}

/* style added for translation - 2009-01-20 */
.module {font-style:italic;}