body {
	background-color:#ffffff;
	margin:0px;
	padding:0px;
}

/* Basic (2 column, liquid) layout */

div#layout-maincontainer {
	margin-right:10px;
}
div#layout-main {
	float:left;
	width:100%;
	margin:0 -260px 0 0;
}
div#layout-leftcol {
	width:260px;
	margin:0 0 0 0;
}
div#layout-footer {
	clear:both;
}

div.gpuverify-command {
        font-family:"Courier New", "Lucida Console";
        font-size:14;
        background:#000000;
	color:#ffffff;
        padding:4px 4px 4px 4px;
	margin-top:0.7em;
	margin-bottom:0.7em;
}

div.gpuverify-code {
        font-family:"Courier New", "Lucida Console";
        font-size:14;
        background:#000000;
	color:#ffffff;
        padding:4px 4px 4px 4px;
	margin-top:0.7em;
	margin-bottom:0.7em;
}

div.gpuverify-license {
        font-family:"Courier New", "Lucida Console";
        font-size:14;
        background:#000000;
        color:#ffffff;
        padding:4px 4px 4px 4px;
        margin-top:0.7em;
        margin-bottom:0.7em;
}

font.code-type-keyword {
        color:#00ff00;
}

font.code-other-keyword {
        color:#ffff00;
}

font.code-macro-style {
        color:#0000ff;
}

font.code-string-style {
        color:#ff00ff;
}

font.code-comment-style {
        color:#00ffff;
}

font.code-line-number {
        color:#aaaaaa;
}

font.gpuverify-error {
        color:#ff0000;
}



/* Banner */

#gpuverify-banner {
	width:630px;
	height:100px;
	margin:0;
	padding:0;
	border:0;
	text-align:center;
	background-color:#ffffff;
}
#gpuverify-imperiallogo {
	position:absolute;
	top:0;
	left:0;
	width:165px;
	height:80px;
	margin:0;
        padding-top:5px;
        padding-left:10px;
        padding-right:15px;
	text-align:left;
	background-color:#ffffff;
}

#gpuverify-bannertext {
	position:absolute;
	top:0;
	left:155px;
	width:345px;
	height:80px;
	margin:0;
	text-align:center;
	background-color:#ffffff;
        color:#000000;
        font-size:24pt;
        font-family:"Arial Rounded MT", Arial;
}

#gpuverify-carplogo {
    position:absolute;
    top:0;
    left:510px;
    width:120px;
    height:80px;
    margin:0;
    padding-left:5px;
    padding-top:15px;
    text-align:left;
    background-color:#ffffff;
}

/* Main navigation bar (horizontal) */

ul.gpuverify-navbar {
	margin:0 0 0 0;
	padding:0 0 0 0.5em;
	background-image:url(constant-shade.png);
	background-position:bottom;
	background-repeat:repeat-x;
	background-color:#000000;
	border:solid #000000;
	border-width:1px 0 0 0;
	margin-right:35px;
}
 
ul.gpuverify-navbar li {
	list-style-type:none;
	margin:0;
	padding:0;
	display:inline;
}

ul.gpuverify-navbar li a {
	display:inline-block; 
	margin:6px 0 0 0;
	padding:6px;
	text-decoration:none;
	background-color:#000000;
	color:#FFFFFF;
	border:2px solid #ffffff;
	-webkit-border-radius: 5px; -moz-border-radius: 5px; border-radius: 5px;
	-webkit-border-bottom-right-radius: 0; -webkit-border-bottom-left-radius: 0; -moz-border-radius-bottomright: 0; -moz-border-radius-bottomleft: 0; border-bottom-right-radius: 0; border-bottom-left-radius: 0;
}

ul.gpuverify-navbar li a:hover {
	background-color:#ffffff;
    color:#000000;
}

ul.gpuverify-navbar li.gpuverify-navitem-sel a {
background-color:#FFFFFF; color:#000000; background-image:none; border-color:#FF0000; border-bottom-color:#fff;
}

ul.gpuverify-navbar li.gpuverify-navitem-selected a {
background-color:#FF0000; background-image:none; border-color:#00FF00; border-bottom-color:#fff;
}

ul.sections li.s0 a {
	background-color:#FFFFFF;
	background-image:none;
	border-color:#BBD8E7 #BBD8E7 #FFFFFF;
}

#prism-navbar .prism-navitem:link { color:black; text-decoration:none; }
#prism-navbar .prism-navitem:visited { color:black; text-decoration:none; }
#prism-navbar .prism-navitem:hover { color:black; text-decoration:none; background-color:#aaaaaa; }
#prism-navbar .prism-navitem:active { color:black; text-decoration:none; }

#prism-navbar .prism-navitemsel:link { color:white; text-decoration:none; }
#prism-navbar .prism-navitemsel:visited { color:white; text-decoration:none; }
#prism-navbar .prism-navitemsel:hover { color:white; text-decoration:none; background-color:#aaaaaa; }
#prism-navbar .prism-navitemsel:active { color:white; text-decoration:none; }

/* News box */

#rhsbox {
	float:right;
	width:190px;
	margin-top:25px;
	margin-right:70px;
	padding:0;
}

#newsbox {
	width:100%;
	margin-top:20px;
	padding:0 13px 20px 13px;
	background-color:#d6e8f0;
	border:1px solid #bbccdd;
}

#sponsorsbox {
	width:100%;
	margin-top:20px;
	padding:0 13px 20px 13px;
	background-color:#d6e8f0;
	border:1px solid #bbccdd;
}

/* Main content box */

#gpuverify-mainbox {
	padding:5px 30px 100px 30px;
	background-color:#ffffff;
}

/* Footer */

#gpuverify-footer {
	/*margin-left:260px;*/
	padding:20px 0 30px 0;
	text-align:center;
}

/* Other */

div.h6 {
	font-weight:bold;
	color:#225588;
	margin-top:0.7em;
	margin-bottom:0.7em;
}

div.credits {
	float:right;
	margin:6px 6px 0 0;
	color:#aaaaaa;
}


div.credits a {
	color:#666666;
	font-size:16pt;
}