body {
  font-family:sans-serif;
}

a.banner, a.banner:visited {
  color:black;
}

a.usercontrol {
  padding:0.1ex;
  padding-left:0.8ex;
  font-size:13px;
}

a.usercontrol:hover {
  text-decoration:none;
}

span.username {
  font-size:13px;
}

td {
  vertical-align:top;
}

a.worksheet_title {
  border-bottom:1px dashed #666666;
}

a.worksheet_title:hover {
  color:#222222;
  border-bottom:0px;
  background-color:inherit;
}

a.control-select, a.control {
  -moz-border-radius:5px 5px 0px 0px;
}

a.control-select:hover {
  background-color:#5588BB;
}

a.control:hover {
  background-color:#88AACC;
}

div.worksheet {
  -moz-border-radius:0px 0px 10px 10px;
  background-color:#9191FF;
}

table {
  border:2px solid #C8C8FF;
  background-color:#C8C8FF;
  border-bottom:0px;
  -moz-border-radius:10px 10px 0px 0px;
}

.banner table {
  border:0px;
  -moz-border-radius:0px;
}

div.worksheet_title {
  background-color:#C8C8FF;
}

table#topbar {
  border-top:0px;
  -moz-border-radius:0px;
}

table.cell_output_box {
  -moz-border-radius:5px;
}

textarea.cell_input, textarea.cell_input_active, pre.shrunk {
  font-size:11pt;
}

a.eval_button_active {
  color:black;
}

a.eval_button_active:link {
  color:#EEEEEE;
}

a.eval_button_active:hover {
  text-decoration:none;
}