/* for testing only */

body {
  margin-left: 3em;
  margin-right: 3em;
  margin-top: 0.5em;
  margin-bottom: 2em;
  padding: 1px;		/* allows borders in debug.css */
  border: 1px transparent; 
}


@media print {
  body { color: black; background-color: white; }
  .nav  { display: none; }
}


.bordered { border: 1px solid 11CC11; }
.dashed   { border: 1px dashed grey; } 

.right {   float: right; }
.left {   float: left; }

.small { font-size: 90%; }
.smaller { font-size: 80%; }
.smallest { font-size: 70%; }

.padded {
  padding: 1em;
} 

.warning {
   color: PURPLE;
   font-size: 90%;
}

.green {
  background-color: 11CC11;
  color: white;
}
.white {
  background-color: white;
  color: 11CC11;
}


main_sign {
  background-color: white;
  color: 11CC11;
  border: 1px 11CC11;
}