/* default font-size */
html body {
	font-size:medium;
}
html>body { /* Mozilla */
	font-size:medium;	
}

/* for heading with Daya Bay background */
div.dayabay {
  background-image: url(/twiki/pub/img/dyb_panorama.jpg);
  width: 760px;
  height: 220px;
  text-align: right;
  color: red;
  padding: 1px 0px 0px 0px;
}

pre {
   background: #F5EFFB;
   padding: 1ex 1ex;
   margin: 1ex 1em;
}

/* for attention block */
.dybAttention {
   margin: 0 5%;
   padding: 1ex 1ex 1em 1ex;
   background: #ffff00;
   color: #ff0000;
   text-align: center;
   font-weight: bold;
}

/* using monospace fonts for edit */
textarea {
   font-family: monospace;
}