#code_file_list {
	background-color: white;
}

#code_file {
	background-color: white;
	border: 2px solid #E0E0E0;
	border-radius: 14px;
}

#code_file #title_widget {
	background-color: #E0E0E0;
	border-top-left-radius: 10px;
	border-top-right-radius: 10px;
	margin-bottom: 5px;
	min-height: 28px;
	padding-right: 5px;
}

#code_file #title_label {
	background: none;
	border: none;
	border-radius: 3px;
	font-size: 14px;
	padding: 2px 4px;
	margin: 2px 8px;
}

#code_file #title_label:hover {
	background-color: #D0D0D0;
}

#code_file #title_label:disabled {
	color: black;
}

#code_file #code_snippet{
	border-top: 2px solid #E0E0E0;
	padding-top: 2px;
}

#code_file #code_snippet[isFirst=true] {
	border: none;
	padding-top: 0px;
}

#code_file #code_snippet #scope_name, #code_file #code_snippet #dots {
	background: none;
	color: gray;
	border: none;
	font-family: "Source Code Pro";
	font-size: 14px;
}

#code_file #code_snippet #dots {
	padding-right: 13px;
	text-align: right;
}

#code_file #code_snippet #scope_name {
	padding-left: 4px;
}

#code_area {
	background-color: transparent;
	font-family: "Source Code Pro";
	font-size: 14px;
}

#code_area #line_number_area {
	font-family: "Source Code Pro";
	font-size: 14px;
}

#code_file #maximize_button, #code_file #snippet_button, #code_file #minimize_button {
	margin: 3px;
	max-height: 16px;
	max-width: 16px;
}

#code_file #maximize_button {
	border-image: url(data/gui/code_view/images/maximize_inactive.png);
}

#code_file #maximize_button:enabled {
	border-image: url(data/gui/code_view/images/maximize_active.png);
}

#code_file #snippet_button {
	border-image: url(data/gui/code_view/images/snippet_inactive.png);
}

#code_file #snippet_button:enabled {
	border-image: url(data/gui/code_view/images/snippet_active.png);
}

#code_file #minimize_button {
	border-image: url(data/gui/code_view/images/minimize_inactive.png);
}

#code_file #minimize_button:enabled {
	border-image: url(data/gui/code_view/images/minimize_active.png);
}

QToolTip {
	background-color: rgb(204, 204, 204);
	border: 1px solid rgb(0, 0, 0);
	color: rgb(0, 0, 0);
}