.encoding_name
{
    float:left;
    width:8em;
    padding-top:0px;
    vertical-align:top;
/*    font-weight: bold;*/
}

.encoding_name select
{
    padding-top:1px;
    margin-top:1px;
    vertical-align:top;
}

.encoding_form form
{
    margin-top: .1em;
    margin-bottom: .1em;
}

.encoding_error input, input.encoding_error
{
    color: red;
}

div.encoding_text
{
    float:left;
    vertical-align:top;
}

.encoding_text input, input.encoding_text
{
    font-family:monospace;
    vertical-align:top;
    margin:1px;
}

input.encoding_submit
{
    vertical-align:top;
    margin-top:1px;
    margin-bottom:1px;
    margin-left:0.2em;
}

a.vardelete
{
    margin-left:0.2em;
}