body {  
  font-size: 12px;
  cursor: default;
  font-family: Verdana, sans-serif;
}

pre { font-family: monospace; }

.procspec { 
  color: olive;
}

.stxspec { 
  color: firebrick;
}

.ident { 
  font-weight: bold;
  color: navy;
}