h1           {color: #0000FF }
h2           {color: #0000FF }
h3           {color: #0000FF; font-weight: bold }
body         {color:#333333; font-family:Arial }
.Example     { padding:5; border:1px solid #A099CC; background-color: #DDDDFF; margin-left:30; margin-right:30 }
.exampleHeader { padding:0; border-bottom:1px solid #A099CC; border-left-width:1; border-right-width:1; border-top-width:1; background-color: #DDDDFF; font-style:italic; color:#0000FF }
span.element-mandatory { color: #0000FF; font-style: italic; font-weight:bold }
span.element-optional { color: #0000FF; font-weight: bold }
span.element-normal { color: #0000FF; }