body { color: black; background: rgb(255,255,255); }
   div.box { border: solid; border-color: blue}
   .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 }
   .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 }
   dl dt { font-weight: bold; font-size: 100%; }
  .insert,.i { 
    text-decoration: underline; 
    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;  }
  .draft { 
   background: url(images/draft.jpg) 30% 
  }
  .print { display: none }

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

  .omit { display:none }

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

@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% }
  span.print { display: inline }
  div.print { display: block }
}