body { color: black; background: rgb(255,255,255); }
   div.box { border: solid; border-color: blue}
   div.blackbox { padding: 1em;  border-width:  medium; border-color: black }
   div.greenbox { border: solid; border-color: green}
   div.redbox { border: solid; border-color: red; padding-left:  1em;}
   div.testbox { border: solid green; padding: 5pt}
   div.note,div.notes { border: dashed;  border-color: gray; padding:10pt; 
              margin-left: 2em; }
   div.note:before { content: "Note:";  display: block; font-weight: bold}
   div.notes:before { content: "Notes:";  display: block; font-weight: bold}
  .user { font-family: "Comic Sans MS", cursive, sans-serif; 
	  text-decoration: none }
  .gen { font-family: "Courier New", Courier, monospace; font-style: italic;
         text-decoration: none }
   .yellowback {background: yellow}
   .try {font-family: Arial}
   .tba,.toappear * {display:none  }
   .tba:before { content: "To Be Announced" ; display:inline }
   .toappear:before { content: "(To appear)" ; display:inline }
   .logic { font-size: 1.5em; vertical-align: -10%; }
   .logic2 { font-size: 1.3em; } 
   .formal { background-color:  #ffffa0; padding: .35em; 
	border-width: thin;  border-style: solid;  
	line-height: 1.5; font-style: normal }
   .scm { padding: .35em; 
	border-width: thin;  border-style: solid;  
	line-height: 1.5; font-style: normal;  font-family: monospace }
   .blackbox { padding: 1em;  border-width:  medium; border-color: black }
   .box { padding: 1em;  border-width:  medium; border-style: double; }
   .boolean { font-variant: small-caps;  font-style:  oblique }
   table.formal { background-color: #ffffa0 ; padding: 0; border-width: thin}
   .upper-romlist { list-style-type:  upper-roman }
   .lower-romlist { list-style-type:  lower-roman }
   .upper-letlist { list-style-type:  upper-alpha }
   .lower-letlist { list-style-type:  lower-alpha }

   .hang { padding-left:  4em;  text-indent: -4em; }
   .hang2 { padding-left:  8em;  text-indent: -4em; }
   dl dt { font-weight: bold; font-size: 100%; }
  .trywarn { 
    text-decoration: underline; 
    color: red; }
  .insert,.i { 
    text-decoration: underline; 
    background-color: rgb(128,255,128); }
  .i2 { 
    background-color: rgb(128,255,128); }
  .delete,.d { 
    text-decoration: line-through; 
    background-color: rgb(255,128,128);  }
  .comment,.c { 
    font-size: 80%;
    font-style: italic;
    background-color: rgb(128,128,255);  
    border-width: 2pt;  
    border-style:  solid;  }
  .Comment,.C { 
    background-color: rgb(128,128,255);  }
  .fillin,.f {
    font-style: italic;
    font-weight: bold;
    font-family: monospace; 
  }
  pre.indent { padding-left: 2em; }
  .draft { 
   background: url(images/draft.jpg) 30% 
  }
  .omit { display:none }
  .noomit { }
  .gray,.grey,.grey select { background: LightGray; opacity:0.6}
  .shade {
   background-color: rgb(192,192,192);
  }

  .print { display: none }

  .plan { 
   background: lightgreen;  
   border: solid green 1px ; 
   padding: 10px 
  } 

  .rab {
   color:  green;
  }
  .rab-form-name {font-family: monospace}
  .rab-form-name:before {content: "<"; display: inline}
  .rab-form-name:after {content: ">"; display: inline}


  .alarm {color:red;  font-weight: bolder;  font-size: 120%;  border:solid 1px }
  dl.bold dt {font-weight: bold;  font-size: 100%}
  .missing {color:red; border-color: red}

  .hilite {background-color:yellow}
  .uline {text-decoration: underline;}
  .underline {text-decoration: underline;}
  .obar {text-decoration: overline;}
  .bold {font-weight: bold;}
  .it {font-style: italic;}
  .attrib {font-size: 80%}
  .red { color:  red; }
  .blue { color:  blue; }
  .green { color:  green; }
  .intel { background-color: rgb(192,192,255); padding: 10px; border-width:  medium; border: solid; }
  .m1 { background-color: rgb(180,210,190); padding: 10px; border-width:  medium; border: solid }
  a.button {
    -webkit-appearance: button;
    -moz-appearance: button;
    appearance: button;

    text-decoration: none;
    color: initial;
  }

@media print {
  .pagebreak, .newpage {page-break-inside: avoid;  page-break-after: always}
  .insert,.i { 
    text-decoration: underline; 
    color: green; }
  .delete,.d { 
    text-decoration: line-through; 
    color: red;  }
  .comment,.c { 
    font-size: 80%;
    font-style: italic;
    color: blue;  
    border-width: 2pt;  
    border-style:  solid;  }
  .draft { background: url(images/draft.jpg) 30% }
  .bold {font-weight: bold;}
  span.print { display: inline }
  div.print { display: block }
  .omit { display:none }

}