option.disabled-option {
  color: rgb(180,180,195);
}

div.previous-batch {
float: left;
}

div.next-batch {
float: right;
}

a.alerted {
  font-weight: bold;
  color: Red;
}

div.frame {
  margin: 1em 2em 2em 1em;
}

div.workspace-title {
  margin-left:13em;
}

div.workspace {
  margin-left:13em;
}

div.left-side {
  float: left;
  width: 12em;
}

div.left-side div.menu {
  margin-left: -1em;
}

div.left-side ul.menu {
  list-style-type: none;
}

div.left-side ul.menu li{
}

div.left-side ul.menu li a {
}

div.left-side ul.menu li a#selected {
  background-color: LightGrey;
  border: 1px solid DarkGrey;
}

div.left-side div.messages {
  color: #555;
  background: #f3f3d9;
  margin-right: 1em;
  margin-top: 2em;
  padding: 0.5em;
  width: 12em;
}

table.listing div.note, table.listing div.hint {
  color: Grey;
  font-size: 80%;
  font-style: italic;
  margin: 0.25em 0em 0.25em 0em;;
}

table.listing tr.controls div.note,
table.listing thead div.note,
table.listing tr.controls div.hint,
table.listing thead div.hint {
  color: LightGrey;
}

table.listing td.fieldname {
  font-weight: bold;
  text-align: right;
  white-space: nowrap;
}

table.listing .required {
  font-weight: bold;
  font-size : 100%;
}

table.listing th.label-column {
  width: 25%;
  white-space: nowrap;
}

table {
  color: rgb(0,0,0);
  font-size: 8pt;
}

table.resultlist {
  width: 100%;
  font-size: 120%;
}

table.resultlist thead {
  font-size: 125%;
  text-align: left;
}

table.resultlist td {
  margin-left: 1em;
  margin-right: 1em;
}

tr {
  vertical-align: top;
}

.odd {
  background-color: rgb(230,230,235);
}

.even {
  background-color: rgb(240,240,245);
}

td.required {
  color: rgb(240,0,0);
}

/*.formtitle { 
  text-align: center;
}*/

.errormsg {
  color: #cc0000;
  font-size: 80%;
  font-style: italic;
  margin: 0.25em 0em 0.25em 0em;;
}

.comment {
  color: rgb(0,0,0);
  font-size : 80%;
  margin-top : 0.5em;
  margin-bottom : 0.5em;
  margin-left: 1em;
  margin-right: 1em;
}

.deflabel {
  color: rgb(0,0,0);
  font-size : 110%;
  margin-top : 0.5em;
  margin-bottom : 0.1em;
  margin-left: 0em;
  margin-right: 0em;
}

table.authorstable {
  padding: 0px;
  margin: 0px;
  width: 100%;
}

table.authorstable tr {
  border: 0px;
  padding: 0px;
}

table.authorstable td {
  border: 0px;
  padding: 0px;
  margin: 0px;
}

table.authorstable td.plusminus {
    width: 42px;
}

table.authorstable td img {
  border: 1px solid #797f7f;
  margin-left: 2px;
  margin-right: 2px;
}

table.authorstable td img:hover { 
  border: 1px solid #797f7f;
  background : #c3d5e7;
  cursor: pointer;
}

table.authorstable td input {
  padding: 0px;
  margin: 0px;
  width: 100%;
}
