body {
 margin: 1em 1em 1em 1em;
}
pre { /* hide from IE */
	/*\*/ overflow:auto !important; /* */ overflow:scroll; width:auto; /* for Mac Safari */ margin: 0px;
}
#errorbox { 
  border: 1px solid #999; background-color: #fff0f0; padding: 1em 1em 1em 1em; 
  font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
  font-size: small;
}
#mainbox { 
  border: 1px solid #999; background-color: #f0f0f0; padding: 1em 1em 1em 1em; 
  font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
  font-size: small;
}
#logbox {
}
#codebox {
  font-size: medium;
}
#paste, #editbutton, #canceleditbutton, #from {
  font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
  font-size: small;
}
#language {
  font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
  font-size: small; 
  width: 5em; 
}
#lockexpire {
  font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
  font-size: small; 
  width: 10em; 
}
#source {         
  width: 100%; 
  border: 1px solid #999;
}
#noticetext {
  font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
  font-size: xx-small; 
}
#updatestuff {
  font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
  font-size: x-small; 
  color: #f26522;
}
.nick { color: #ff0000; }
.language { color: #ff0000; }
.expiration { color: #ff0000; }
.version { color: #ff0000; }
a { 
 font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
 font-size: xx-small;
 color: #000;
 text-decoration: none;
}
a.winnie { 
 font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
 font-size: xx-small;
 color: #f26522;
 text-decoration: none;
}
a:hover {
 text-decoration: underline;
}
a.versionlink { 
 font-family: Tahoma, Verdana, Geneva, Arial, Helvetica, sans-serif;
 font-size: small;
 color: #ff0000;
 text-decoration: none;
}
a.versionlink:hover {
 text-decoration: underline;
}