#wikiedit textarea { width:98%; }
#wikiedit input#csum { width:70%; }

.diffbox { 
   border: 1px #ccd2d2 solid;
   margin-top: 1em;
}
.difftime { 
   font-family: "Lucida Grande", "Lucida Sans", sans-serif;
   font-size: 75%; 
   background-color:#e7e7e7; 
   padding: 2px;
}
.difftype { 
  clear: none;
  font-family: "Lucida Grande", "Lucida Sans", sans-serif;
  font-size: 75%; 
  font-weight: bold; 
  margin: 0.5em 0;
  padding-left: 2px;
}
.diffrestore { 
  clear: none; 
  font-family: "Lucida Grande", "Lucida Sans", sans-serif;
  font-size: 75%; 
  margin: 0.3em 3px; 
}