span.sgc-6 {background-color: #fff0f0}
  span.sgc-5 {color: #303090; font-weight: bold}
  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}