body {
    margin: 2em 1em 2em 70px;
    font-family: sans-serif;
    color: black;
    background: white;
    background-position: top left;
    background-attachment: fixed;
    background-repeat: no-repeat;
  }
  body {
    background-image: url(sun-note.gif);
  }
  div.head { margin-bottom: 1em }
  div.head h1 { margin-top: 3em; clear: both }
  div.head table { margin-left: 2em; margin-top: 2em }
  div.head img { align : right ; color: white; border: none } /* remove border from top image */

  p.copyright { font-size: small }
  p.copyright small { font-size: small }

  /* end W3C-based styles (remove for delivery) */

  h1, h2, h3, h4, h5, h6 {
    text-align: left;
    font-family: sans-serif;
    font-weight: normal;
    /* Sun color - color : #666699 ; */
    color : #3d3d82 ;
    /* W3C heading color - color: #0050B2; */
  }
  h1.div1 { margin-left :  -1em ; }
  .div1  {
    margin-left :  1em ;
    margin-right : 1em ;
  }
  h2.div2 { margin-left :  -1em ; }
  .div2  {
    padding-top : 0.5em ;
    margin-left :  1em ;
    margin-right : 1em ;
  }
  h2.toc { margin-left :  0em ; }
  div.toc  {
    margin-left :  -1em ;
    margin-right : -1em ;
  }
  h3.div3 { font-weight : bold ; margin-left :  -1em ; }
  .div3  {
    padding-top : 0.5em ;
    margin-left :  1em ;
    margin-right : 1em ;
  }
  h4.div4 { font-weight : bold ; margin-left :  -1em ; }
  .div4  {
    margin-left :  1em ;
    margin-right : 1em ;
  }
  h4.example { font-style : italic ; margin-left : -1em ; }
  div.example {
    margin-left :  1em ;
    margin-right : 1em ;
  }
  h5 { font-style : italic ; margin-left : -1em ; }
  div.div5 {
    margin-left :  1em ;
    margin-right : 1em ;
  }
  .indent  {
    margin-left :  3em ;
    margin-right : 3em ;
  }
  dt.label   { display: run-in; }
  blockquote {
    font-family : "Helvetica", sans-serif ;
    font-size : 75% ;
    font-style : italic ;
    margin-right : 5% ;
  }
  ul.toc,ul.none {
    list-style : disc ;  /* Mac NS has problem with 'none' */
    list-style : none ;
  }
  ul.toc2 {
    list-style : disc ;  /* Mac NS has problem with 'none' */
    list-style : none ;
    font-size : small ;
  }
  ul.square {
    list-style: square ;
  }
  pre {
    font-family : "Courier New", "Courier", monospace ;
    white-space : pre ;
    margin-left :  1em ;
    margin-right : 1em ;
    width : 100% ;
    border : none ;
    color : #5000B0 ;
  }
  pre.markup {
    background-color : #daffcb ;
    padding-top : 0.5em ;
    padding-bottom : 0.5em ;
  }
  pre.idl {
    background-color : #ffdacb ;
    padding-top : 0.5em ;
    padding-bottom : 0.5em ;
  }
  li p {
    margin-top: 0.3em ;
    margin-bottom: 0.3em ;
  }
  span.code  { font-family: monospace; color : #200070 ; }
  code  { font-family: monospace; color : #200070 ; }
  tt  { font-family: monospace; }
  .note  { font-family : "Helvetica", sans-serif ; font-size : small ;
           margin-left: -4em; margin-right : 5% ; color : #4764A3 }
  .issue { font-family : "Helvetica", sans-serif ; font-size : small ;
           margin-left: -4em; margin-right : 5% ; color : #FF4300 }
  .ednote { font-family : "Helvetica", sans-serif ; font-size : small ;
           margin-left: -4em; margin-right : 5% ; color : #9C00D1 }
 .dfn {
    font-style : italic ;
    color : #6B0039 ;
  }
  .bref {  /* bibref in text */
    text-decoration : none ;
    font-variant : small-caps ;
  }
  .ref { /* citation in bibliography */
    font-weight : bold ;
  }
  .hdt {
    font-family : "Helvetica", sans-serif ;
    font-size : small ;
    font-style : italic ;
    color : #0050B2 ;
  }
  .hilite {
    font-weight : bold ;
    color : red ;
  }
  th {
    font-family : sans-serif ;
    font-size : 90% ;
    font-weight : normal ;
    font-style : italic ;
    vertical-align : top ;
    text-align : left ;
  }
  th.dcelt {
    font-family : sans-serif ;
    font-size : 90% ;
    font-weight : bold ;
    font-style : normal ;
    text-align : left ;
    vertical-align : top ;
    text-indent : -1em ;
    color : #300090 ;
  }
  td {
    font-family : serif ;
    font-size : 90% ;
  }
  div.deftable {
    margin-left: 2em ;
    margin-right: 5% ;
  }
  .meta {
    display : none ;
  }
  meta {
    display : none ;
  }
  .bibrefTitle {
    font-family : "New Century Schoolbook", "Bookman", "Times", sans-serif ;
    font-size : medium ;
    font-style : italic ;
    color : #300070 ;
  }
  .bibref {
    font-family : "New Century Schoolbook", "Bookman", "Times", sans-serif ;
    font-size : medium ;
    color : #300070 ;
  }
  abbr {
    font-variant : small-caps ;
  }
  .toplink {
    padding-top : 2em ;
    text-align : left ;
    font-family : sans-serif ;
    font-style : italic ;
    font-size : 80% ;
  }
  .sample { /* sample code in table cell */
    padding-top : 0.25em ;
    background-color : #99FFFF ;
  }

  /* TEMPORARY .......................... */
  .test { /* test code in table cell */
    padding-top : 0.5em ;
    padding-bottom : 0.5em ;
    background-color : #CCFFA3 ;
  }
  .test5 {
    padding-top : 0.5em ;
    padding-bottom : 0.5em ;
    background-color : #CCFFA3 ;
    font-family : "New Century Schoolbook", "Bookman", "Times", sans-serif ;
    font-size : medium ;
    color : #300070 ;
  }
  .test6 {
    font-family : "New Century Schoolbook", "Bookman", "Times", sans-serif ;
    font-size : medium ;
    whitespace : pre ;
    color : #300070 ;
  }
  #test7 {
    color : red ;
  }