/**
 * Defines the CSS that is used for the projects section. This can be pretty
 * verbose, so I moved it to a separate file. I know it's more efficient to
 * bundle them together, but my sanity is more important. And I don't feel like
 * setting up a minifier script, blah blah blah.
 */
 
div#project_header {
	margin-left: 10px;
	margin-right: 10px;
}

div#project_header .project_title {
	font-size: 65px;
	vertical-align: top;
	padding-left: 20px;
	text-decoration: none;
	color: white;
}

div#project_header .project_description {
	width: 500px;
	float: right;
	height: 75px;
	overflow: visible;
}

div#project_header ul {
	display: block;
	margin: 0;
	padding: 0;
}

div#project_header ul li {
	display: block;
	float: right;
	width: 20%;
}

div#project_header ul li a {
	display: block;
	width: 100%;
	font-size: 12pt;
	padding-bottom: 5px;
	border: 1px solid transparent;
	text-align: center;
}

div#project_header ul li a:hover,
div#project_header ul li a:active {
	border: 1px solid #333;
	-moz-border-radius: 6pt;
	text-decoration: none;
	font-weight: bold;
	color: #FF9C24;
}

div.picture .info {
	margin-top: 50px;
	border: 1px solid #333;
	border-right: 0;
	-moz-border-radius-topleft: 20px;
	-moz-border-radius-bottomleft: 20px;
	padding: 1em;
	float: right;
	width: 300px;
}

div.picture .info .description {
	font-size: 10pt;
}

div.hash {
	color: #666;
	font-size: 10pt;
	font-family: monospace;
}

div.revision {
	border: 2px solid #333;
	margin: 0.5em;
}

div.revision .files {
	font-color: #666;
	margin-left: 1em;
}

div.revision .info {
	padding: 0.25em;
	color: #666;
}

div.pages_menu {
	width: 250px;
	float: right;
	margin: 1em 0 1em 1em;
	border: 1px solid white;
	border-right: 0;
	-moz-border-radius-topleft: 20px;
	-moz-border-radius-bottomleft: 20px;
	padding: 20px;
}

div.pages_menu ul.pages {
	margin: 0;
	padding: 0;
}

div.pages_menu li.page {
	list-style: none;
}

div.pages_menu li.page a {
	display: block;
	width: 100%;
	text-decoration: none;
	padding: 3px;
}

div.pages_menu li.page a:hover {
	text-decoration: none;
	background-color: #111;
	color: #FFF;
}

div.page_content {
	padding: 1em;
}

div.page_content .title {
	color: #9B9B9B;
}