/* $Id$ */

body {
}

h2 input {
 font-size: 100%;
}

div.buttongroupright input {
 font-size: 100%;
}

textarea {
 font-size: 90%;
}
div.diffframe {
 font-size: 90%;
}

div.tempedit textarea,
div.tempedit_readonly textarea {
 width: 582px !important;
 border: none;
}