/* contrast-style0 */
body {  }
span.def  { color:#000 !important; background-color:#fff !important; }
span.hidef  { color:#ff0 !important; background-color:#000 !important; }
/* h1 { clear:left; } */