pre {
    color:lime;
    background:black;
    font-weight:bolder;

}
a.dev {
    color:white;
font-family:monospace;
font-weight:bold;


}
dev {
 /* border: thin solid green;
padding: 5px;
 border: thin, solid, blue; */
}
div.con{
width: 500px;
background-color: #0099ff;
color:white;
font-family:monospace;
 border: thin solid green;
padding: 5px;

}
div.labels{
text-align: right;
width: 300px;
float: left;
font-weight:bold;
 /*
border: thin solid green;
*/
padding: 5px;
/* border: thin solid yellow; */

}

div.fields{
width: 400px;
float:left;
}

div.langMenu{
width: 200px;
float:left;
padding:20px;
}
div.langViewer{
width: 1028px;
float:left;
}

div.button{
width: 450px;
text-align: right;

}
div.toolbar{
    background-color:red;
    padding: 5px;

}