span.sgc-7 {color: #6000E0; font-weight: bold}
  span.sgc-6 {color: #303090; font-weight: bold}
  span.sgc-5 {background-color: #fff0f0}
  div.sgc-4 {background: #ffffff;  width:auto;color:black;background:white;border:solid gray;border-width:.1em .1em .1em .8em;padding:.2em .6em;}
  pre.sgc-3 {margin: 0; line-height: 125%}
  span.sgc-2 {color: #0e84b5; font-weight: bold}
  span.sgc-1 {color: #008000; font-weight: bold}

  span.sgc-9 {color: #0060B0; font-weight: bold}

  span.sgc-16 {color: #808080}

  span.sgc-10 {font-weight:bold;}