body {
	background-color: rgb(240,240,240);
	font-family: "URW Gothic L", Gothic, helmet, "luxi sans", luxida, verdana, sans;
	background-image: "University Logo.jpg";
}

tr.greybox {
	background-color: rgb(208,208,208);
}

select {
	background: rgb(224,224,224);
}

select:hover {
	background-color: rgb(224,224,240);
}

option:hover {
	background-color: rgb(224,224,240);
}

input {
	background: rgb(224,224,224);
	border-style: ridge;
	border-width: 3px;
}

input:hover {
	background-color: rgb(224,224,240);
}

input:focus{
	background-color: rgb(224,224,240);
	border-style: inset;
	border-width: 3px;
}

div.worksheet_title {
	background-color: rgb(240,240,240);
}

div.top_control_bar {
	background-color: rgb(224,224,224);
}

div.slideshow_progress {
	background-color: rgb(224,224,224);
}

span.search_doc {
	background-color: rgb(224,224,224);
}

div.left_pane_bar {
	background-color: rgb(224,224,224);
}

span.X {
	background-color: rgb(224,224,224);
}

span.pane div.add_new_worksheet_menu {
	background-color: rgb(224,224,224);
}

span.pane a.worksheet_other {
	background-color: rgb(224,224,224);
}

span.pane div.objects_topbar {
	background-color: rgb(224,224,224);
}

span.pane div.variables_topbar {
	background-color: rgb(224,224,224);
}

span.pane div.attached_topbar {
	background-color: rgb(224,224,224);
}

span.pane div.worksheets_topbar {
	background-color: rgb(224,224,224);
}

span.search_doc_topbar {
	background-color: rgb(224,224,224);
}

a.object_name {
	background-color: rgb(224,224,224);
}

a.object_name:hover {
	background-color: rgb(160,160,208);
}

a:hover {
	background-color: rgb(176,200,224);
}

div.worksheet {
	background-color: rgb(240,240,240);
	border-style: groove;
}

div.banner {
	background-color: rgb(240,240,240);
}

div.cellbox {
	background-color: rgb(224,224,224);
}

textarea.cell_input {
	background-color: #dddddd;
	border-style: ridge;
	border-width: 4px;
}

div.cell_not_evaluated {
	border-left: 2px solid #dd0000;
}

div.cell_evaluated {
	border-left: 2px ridge #eeeeee;
}

td.cell_number_running {
	border-left: 10px solid #eedd00;
}

td.cell_number {
	border: 0px ridge #aaaaaa;
}

pre.cell_input {
	background-color: rgb(224,224,224);
}

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

pre.cell_input_hide {
	background-color: rgb(224,224,224);
}

textarea.cell_input_active {
	background-color: rgb(224,224,240);
	border-style: inset;
	border-width: 3px;
}

div.cell_input_active {
	background-color: rgb(224,224,224);
}

div.cell_input_print {
	background-color: rgb(224,224,224);
}

div.debug_window_active {
	background-color: rgb(224,224,224);
}

div.debug_output {
	background-color: rgb(224,224,224);
}

textarea.debug_input {
	background-color: rgb(224,224,240);
}

textarea.edit {
	background-color: rgb(224,224,240);
}

textarea.plaintextedit {
	background-color: rgb(224,224,240);
}

pre.plaintext {
	background-color: rgb(224,224,224);
}

span.pingdown {
	background-color: rgb(224,224,224);
}