.editbox{
    border-width: 0;
    font-family: monospace;
    font-size: 10pt;
    line-height: normal;
    margin-top: 0;
    padding-top: 0.4em;
}