a.nav:link { color: green }
a.nav:visited { color: #FF1493 /* The DeepPink Colour */  }
a.nav:active { color: blue }
b.nav { color : Black}
b.plain {color : Black}
a:hover { background-color: yellow }
body { background-color : #FFFFFF }
a.contents:active { color: red }
table.mycode { border-style : solid ; border-width : thin }
td.mycode { width : 60em }
table.mydemo, div.mydemo { border-style : solid ; border-width : thin }
td.mydemo, div.mydemo { width : 90% }
div.mydemo { padding : 0.5em }
table.note { border-style : double ; border-width : 3em}
h3.notbold { font-weight: normal }
span.menupath { font-family: monospace }
b.menupathcomponent { color: red }
span.menupathseparator { color: green }
tt.mycode { color : #8A2BE2 /* The BlueViolet Colour */ }
tt { color : #8A2BE2 /* The BlueViolet Colour */ }
li.notbold { padding-bottom : 15em }
ul.contents { list-style-type : none ; padding-left : 2em }
ul.contentsmain { list-style-type : none ; padding-left : 0em }
ul.point { font-size : large }
ol.point { font-size : large }
table.frame { border-style : solid ; border-width : thin }