autodist/webbuild/html/styles/webbuild.css

label {
   white-space:nowrap;
}

input {
   font-size: 8pt;
   font-family:liberationsans,freesans,Arial,Verdana,Helvetica,sans-serif;
   padding: 0;
   margin: 1px;
}
select {
   font-size: 8pt;
   font-family:liberationsans,freesans,Arial,Verdana,Helvetica,sans-serif;
   padding: 0;
   margin: 1px;
   height: 18px;
}
input[type="text"] {
   padding: 0px;
   margin: 1px;
   height: 1.40em;
   border: 1px solid #AAAAAA;
}

input[type="button"] {
   margin: 1px;
   white-space:nowrap;
   height: 18px;
}
input[type="radio"] {
   font-size: 7pt;
   padding: 0;
   margin: 0;
}
input[type="checkbox"] {
   vertical-align:middle;
   -ms-transform: scale(0.9);
   -moz-transform: scale(0.9);
   -webkit-transform: scale(0.9);
   -o-trasnform: scale(0.9);
   padding: 1px;
   margin: 1px;
}
.boldbutton {
   font-weight: bold;
}
.redbutton {
   color: red;
}
.redbutton[disabled] {
   color: lightgray;
}
.redboldbutton {
   color: red;
   font-weight: bold;
}
.redboldbutton[disabled] {
   color: lightgray;
}
.screencontainer {
   text-align:center;
   position:fixed;
   z-index:15 !important;
   height:100%;
   width:100%;
   left:0;
   top:0;
}

.opaquebackground {
   text-align:center;
   position:fixed;
   z-index:15 !important;
   height:100%;
   width:100%;
   left:0;
   top:0;
   background-color:black;
   filter: alpha(opacity=75);
   -khtml-opacity:0.75;
   -webkit-opacity:0.75;
   -moz-opacity:0.75;
   opacity:0.75;
}

.questionbox {
   display:inline-block;
   text-align:center;
   position:relative;
   font-size:10pt;
   padding:5px;
   align:center;
   margin-top:200px;
   margin-right:auto;
   margin-left:auto;
   width:auto;
   background-color:white;
   border:2px solid #2b6600;
   z-index:20;
}

.multiselect {
   font-size:8pt;
   border:0px;
   padding:0px;
   height:130px;
   border:1px solid #2b6600;
   overflow:auto;
   white-space:nowrap;
}

.multiselect label {
   display:block;
   white-space:nowrap;
}

.socialbox {
   float:right;
   font-size:8pt;
   border:0px;
   padding:0px;
   height:130px;
   line-height: 100%;
   border:1px solid #2b6600;
}

.scroll-pane {
   background-color: #e0f2d0;
   height:130px;
   width:200px;
   overflow:auto;
   float:right;
}

.searchbox {
   position:relative;
   display:block;
   width:215px;
   align:center;
   left:660px;
   top:-25px;
//   height:21px;
   font-size:8pt;
   border:1px solid #2b6600;
//   margin:4px;
   padding:2px;
   background-color: #e0f2d0;
}
.webbuild {
   font-size: 8pt;
}
.webbuild td {
   font-size: 8pt;
}

.editor {
   width:690px;
   height:300px;
   border:1px solid #cccccc;
   padding:0px;
   margin:0px;
   font-family:'Courier New', Courier, 'Nimbus Mono L', monospace;
   font-size:8pt;
}

.maintainer {
   width:684px;
   height:300px;
   overflow:auto;
   font-size:7pt;
   border:1px solid #2b6600;
   padding:0;
   margin:0;
   background-color:white;
}

.processes {
   width:680px;
   font-size:7pt;
   border:1px solid #2b6600;
   padding:2px;
   margin:0;
   margin-bottom:2px;
   background-color:#E0F2D0;
}

.notes {
   width:680px;
   font-size:7pt;
   border:1px solid #2b6600;
   padding:2px;
   margin:0;
   margin-bottom:2px;
   background-color:#ffff00;
}

.output {
   width:680px;
   height:300px;
   overflow:auto;
   overflow-x:hidden;
   word-wrap: break-word;
   font-family:'Courier New', Courier, 'Nimbus Mono L', monospace;
   font-size:8pt;
   border:1px solid #2b6600;
   padding:2px;
   margin:0;
   background-color:black;
   color:white;
}

.output a:link {
   text-decoration: underline;
   color:white;
}

.output a:visited {
   text-decoration: underline;
   color:white;
}

.matrix {
   width:100%;
   height:100%;
   overflow:auto;
   font-size:7pt;
   border:1px solid #2b6600;
   padding:2px;
   margin:0;
//   background-color:#e0f2d0;
   -moz-column-count: 2;
   -moz-column-gap: 1.5em;
   -moz-column-rule: none;
   -webkit-column-count: 2;
   -webkit-column-gap: 1.5em;
   -webkit-column-rule: none;
   /* future proof */
   column-count: 2;
   column-gap: 1.5em;
   column-rule: none;
}

.CodeMirror {
   border:1px solid #2b6600;
//   font-size:10px; // causes problems
}