/*
 * Page layout.
 */

body
{
	font-family: Verdana, Arial, sans-serif;
	font-size: 10pt;
	padding: 0px;
	margin: 0px;
	background-color: #FFFFFF;
}

#menu
{
	position: absolute;
	top: 40px;
	background-color: white;
}
a.navlink
{
	background-color: #C5000B;
	line-height: 40px;
	font-size: 14px;
	display: block;
	color: #0645AD;
	text-decoration: none;
	color: white;
	border-top: 1px solid white;
	padding-left: 5px;
}
a.navlink:hover
{
	text-decoration: none;
	background-color: #B5101B;
}

#header-stripe
{
	top: 0px;
	background-color: #C5000B;
	width: 100%;
}

#header
{
	height: 40px;
	color: #FFFFFF;
	width: 950px;
	margin: 0px auto;
}
#menubutton
{
	float: left;
}
#menubutton:hover
{
	background-color: #B5101B;
	cursor: pointer;
}
a.mainlink
{
	color: #FFFFFF;
	text-decoration: none;
}
#searchbutton
{
	float: right;
}
#searchbutton:hover
{
	background-color: #B5101B;
	cursor: pointer;
}
input#searchtext
{
	height: 30px;
	margin: 5px 0px;
	padding: 0px 5px;
	font-size: 14px;
	vertical-align: middle;
	color: #C0C0C0;
	border: 0px;
	width: 240px;
}

.wrap
{
	max-width: 950px;
	margin: 0 auto;
}

#content
{
	float: left;
	width: 780px;
	min-height: 700px;
}

#footer
{
	clear: both;
	background-color: #C5000B;
	line-height: 20px;
	color: #FFFFFF;
	text-align: center;
	margin: 20px 0px 0px 0px;
	font-size: 10px;
}

/*
 * Floating buttons for viewing, discussing, editing, and check revision.
 */
#buttonfloat
{
	float: right;
	width: 160px;
	border-left: 10px solid #FFFFFF; /* Serves as a white margin. */
	margin: 10px 0px 5px 0px;
}
div.button
{
	border-width: 1px 1px 0px 1px;
	border-style: solid;
	border-color: #888888;
	text-align: center;
	margin: 0px;
	background-color: #FFFFFF;
	line-height: 38px;
}
div.button:hover
{
	background-color: #C5000B;
	color: #FFFFFF;
	cursor: pointer;
}
div.button_on
{
	border-width: 1px 1px 0px 1px;
	border-style: solid;
	border-color: #888888;
	text-align: center;
	margin: 0px;
	background-color: #C5000B;
	color: #FFFFFF;
	cursor: pointer;
	line-height: 38px;
}
#adfloat
{
	float: left;
	width: 160px;
	margin-left: 10px;
}

/*
 * Buttons for browsing pages on the home page.
 */

span.buttonbrowse
{
	display: inline-block;
	border: 1px solid #888888;
	text-align: center;
	padding: 4px 0px;
	margin: 0px 1px;
	width: 25px;
	background-color: #FFFFFF;
}
span.buttonbrowse:hover
{
	background-color: #C5000B;
	color: #FFFFFF;
	cursor: pointer;
}
span.buttonbrowse_on
{
	display: inline-block;
	border: 1px solid #888888;
	text-align: center;
	padding: 4px 0px;
	margin: 0px 1px;
	width: 25px;
	cursor: pointer;
	background-color: #C5000B;
}

/*
 * Page contents.
 */

#sitename
{
	float: left;
	height: 40px;
	margin: 0px;
	line-height: 40px;
	font-family: Verdana, Arial, sans-serif;
	font-size: 20px;
	font-weight: normal;
}
h1
{
	font-family: Verdana, Arial, sans-serif;
	font-size: 14pt;
	text-align: left;
	padding-bottom: 0px;
	margin: 8px 0px 15px 0px;
	border-bottom: 1px solid black;
}
h2
{
	font-family: Verdana, Arial, sans-serif;
	font-size: 12pt;
	text-align: left;
	padding-bottom: 0px;
	margin: 15px 0px 15px 0px;
	border-bottom: 1px solid black;
}
a
{
	color: #0645AD;
	text-decoration: none;
}
a:hover
{
	text-decoration: underline;
}
div.gray
{
	font-size: 10pt;
	color: #C0C0C0;
	margin: -15px 0px 15px 0px;
}
ul, ol
{
	margin: 12px 0px 12px 0px;
}
ul ul, ol ol /* A list inside a list shouldn't have a margin. */
{
	margin: 0px;
}
textarea
{
	font-family: Courier New, monospace;
	font-size: 10pt;
}

/*
 * Styles for a icon boxes.
 */
span.loginbox
{
	display: table-cell;
	width: 312px;
	height: 168px;
	border: 1px solid #888888;
	margin: 35px 0px 35px 0px;
	background: transparent url('/images/usericon_big.png') no-repeat 280px 50%;
	vertical-align: middle;
	padding: 15px 268px 15px 368px;
	line-height: 2;
	text-align: center;
}

span.infobox
{
	display: table-cell;
	height: 80px;
	border: 1px solid #888888;
	margin: 35px 0px 35px 0px;
	background: transparent url('/images/infoicon.png') no-repeat 20px 50%;
	vertical-align: middle;
	padding: 15px 15px 15px 80px;
}

/*
 * Styles to display revision history in a nice table.
 */

th.revision, td.revision
{
	text-align: center;
	white-space: nowrap;
	padding: 5px;
}
td.revision_summary
{
	padding: 5px;
	width: 100%;
}

/* Discussion */

div.remarkstitle
{
	font-size: 10pt;
	width: 100%;
	font-weight: bold;
	margin-bottom: 10px;
	padding-top: 10px;
	line-height: 1;
}

div.remark
{
	width: 100%;
	border-style: dashed none none none;
	border-width: 1px;
	margin-bottom: 10px;
	padding-top: 10px;
}

div.remarkname
{	
	margin-bottom: 10px;
	color: gray;
}

/* Python diff. */

table.diff
{
	width: 100%;
}
table.diff td
{
	font-family: Courier New, monospace;
	padding-right: 5px;
	white-space: pre-wrap;
}
table.diff th
{
	border-bottom: 1px solid black;
}
span.diff_sub
{
	color: red;
}
span.diff_add
{
	color: blue;
}
span.diff_sub_highlight
{
	background-color: red;
}
span.diff_add_highlight
{
	background-color: blue;
}