/*
** HTML elements
*/

body {
    margin: 0; 
    padding: 0;
    text-align: center;
    font-size: 0.8em;
    font-family: /*"Bitstream Vera Sans",*/ "DejaVu Sans", "Lucida Grande", "Trebuchet MS", sans-serif;
    color: #FFFFFF;
    background-color: #000000;
}

.clear {
	clear: both;
}

/* general styles */

table {
	background: white;
	font-size: 100%;
	color: black;
}


a:link, a:visited {
    padding-bottom: 0;
    text-decoration: none;
    color: #FF8080;
    border-bottom: 1px solid #ddddff;
}

a:hover {
    /*text-decoration: underline;
*/
    border-bottom: 1px solid #0057ae;
}

a.title:link, a.title:visited, a.title:hover,
a.title:link abbr, a.title:visited abbr, a.title:hover abbr {
    text-decoration: none;
    color: #FF8080;
  	border-bottom: none;
}

a img {
    border-bottom: none;
}

a:visited {
    color: #FF8080;
}

/*
a.stub {
	color: #772233;
}
a.new, #p-personal a.new {
	color: #ba0000;
}
a.new:visited, #p-personal a.new:visited {
	color: #a55858;
}
*/

a img, a.internal, .internal a {
    border-bottom: none;
}


h1, h2, h3, h4 {
    text-align: left;
    font-weight: bold;
    margin-top: 1.0em;
    color: #FFFFFF;
    background-color: #000000;
}

h1 {
    margin-top: 1.5em;
    font-size: 1.7em;
}
h1 .editsection { font-size: 53%; }

a.firstHeading {
    color: #FFFFFF;
    border-bottom:none;
}

h1.firstHeading {
/*    margin-top: .5em;*/
    margin-top: 0px;
    font-size: 1.7em;
}

h2 {
    font-size: 1.5em;
}
h2 .editsection { font-size: 67%; }

h3 {
    font-size: 1.2em;
    color: #FFFFFF;
}
h3 .editsection { font-size: 76%; font-weight: normal; }

h4 {
    font-size: 1.1em;
}
h4 .editsection { font-size: 86%; font-weight: normal; }

h5 {
    font-size: 1.0em;
}
h5 .editsection { font-weight: normal; }

h6 { font-size: 80%;  }
h6 .editsection { font-size: 125%; font-weight: normal; }

/* js */
.editsection {
    display: none;
}

/* js */
#catlinks * {
	padding-top: 1em;
	color: #aaaaaa;
}

.catlinks a {
	border-bottom: 1px solid #dddddd;
}

/* js */
#toc .toctoggle,
.toc .toctoggle,
.toctoggle a {
	font-size: 80%;
	color: #aaaaaa;
}

#right p {
	line-height: 1.4em;
}
#right ul {
	line-height: 1.4em;
	list-style-type: square;
	margin: .3em 0 0 1.5em;
	padding: 0;
/*	list-style-image: url(bullet.gif);*/
}
ol {
	line-height: 1.4em;
	margin: .3em 0 0 3.2em;
	padding: 0;
	list-style-image: none;
}
li {
	margin-bottom: .1em;
}

hr {
    margin: 0.3em 1em 0.3em 1em;
    height: 1px;
    border: #dddddd dashed;
    border-width: 0 0 1px 0;
}

del {
    color: #FFFFFF;
    text-decoration: line-through;
}

dt {
    font-weight: bold;
    font-size: 1.05em;
    color: #FFFFFF;
}

dd {
    margin-left: 1em;
}

p {
    margin-top: 0.5em;
    margin-bottom: 0.9em;
    text-align: justify;
}

hr {
    margin: 0.3em 1em 0.3em 1em;
    height: 1px;
    border: #FFFFFF dashed;
    border-width: 0 0 1px 0;
}

legend {
	background: white;
	padding: .5em;
	font-size: 95%;
}


input, textarea, select {
    margin: 0.2em;
    padding: 0.1em;
    font-size: 125%; /* for poor aaron */
    color: #FFFFFF;
    background-color: #000000;
    border: 1px solid;
}

fieldset {
    border: #FFFFFF 1px solid;
}

li {
    text-align: justify;
}


form {
    margin: 0;
    padding: 0;
}

hr {
    height: 1px;
    border: #FFFFFF 1px solid;
}

img {
    border: 0;
}

table {
    border-collapse: collapse;
    font-size: 1em;
}

th {
    text-align: left;
    padding-right: 1em;
    border: #FFFFFF solid;
    border-width: 0 0 3px 0;
}




abbr, acronym, .explain {
	border-bottom: 1px dotted black;
	color: black;
	background: none;
	cursor: help;
}
q {
	font-family: Times, "Times New Roman", serif;
	font-style: italic;
}
/* disabled for now
blockquote {
	font-family: Times, "Times New Roman", serif;
	font-style: italic;
}*/
code {
        font-family: /*'Bitstream Vera Sans Mono',*/ Courier;
	background-color: #f9f9f9;
	padding: 0 0.5em 0 0.5em;
	border: 1px solid #b5cfe9;
}
pre {
	padding: 1em;
/*/	border: 1px dashed #2f6fab;
	color: black;
	background-color: #f9f9f9;*/
	font-size: 1.1em;
	line-height: 1.1em;
	overflow: auto;
}

/*
**The main area for structural Layout
*/

/* Main Header Navigation */
#header {
    width: 100%;
    color: #FFFFFF;
    background-color: #000000;
    border-bottom: 1px solid #bcbcbc;
}

#header_top {
    margin: 0 auto;
    padding: 0;
        min-width: 770px;
    width: 770px;
    max-width: 45em;
    vertical-align: middle;
    color: #FFFFFF;
    background-color: #000000;
    min-height: 51px;
    border-bottom: none;
}

#header_top div {
    margin: 0 auto;
    padding: 0;
    background-color: #000000;
    min-height: 51px;
}

#header_top div div {
    margin: 0 auto;
    padding: 0;
    vertical-align: middle;
    text-align: left;
    font-size: 1.7em;
    font-weight: bold;
    background-color: #000000;
    min-height: 51px;
}

#header_top div div img {
    margin:8px 0 9px 18px;
    vertical-align: middle;
}

#header_top div div table tbody tr td a {
    border-bottom: none;
}

#header_bottom {
        margin: 0 auto;
    padding: 0.6em 0em 0.3em 0;
    width: 60em;
    min-width: 770px;
    max-width: 45em;
    vertical-align: middle;
    text-align: right;
    background-color: #000000;
}

#location {
    padding: 0 0 0 1.5em;
    text-align: left;
    line-height: normal;
    font-size: 1.1em;
    font-weight:bold;
    float: left;
}

#location ul {
    display: inline;
    margin: 0;
    padding: 0;
    list-style: none;
}

#location ul li {
    display: inline;
    white-space : nowrap;
    margin: 0;
    padding: 0 1em 0 0;
}

#body_wrapper {
    margin: 0 auto;
    width: 60em;
    min-width: 770px;
    max-width: 45em;
    

}

#body {
    float: left;
    margin: 0;
    padding: 0;
    padding-bottom: 1em;
    width: 60em;
    min-height: 40em;
    min-width: 770px;
    max-width: 45em;
    border: #FFFFFF solid;
    border-width: 0 0 0 1px;

}

#main {
    width: 100%;
    padding: 10px;
    text-align: left;
}

/* Container for the right content that gets floated right */
#right {
    float: right;
    margin: 0;
    padding: 0;
    width: 77%;
}


/*
** Left Navigation for Wiki
*/

#left {
        float: left;
    margin: 0;
    padding: 0;
    width: 20%;
}


/*
** Top Menu UL Based Menu
*/

#menu {
    margin: 0 0 0 0;
    text-align: right;
    line-height: normal;
    font-size: 90%;
    font-weight: bold;

}

#menu ul {
    display: inline;
    list-style: none;
    margin: 0;
    padding: 0;
    text-align: right;
}

#menu ul li {
    display: inline;
    white-space : nowrap;
    margin: 0 0 0 0;
    padding: 0 0 0 0;
    text-align: center;	
	max-height: 1.6em;
	}	
#menu ul li a, #menu ul li.selected a{ 
	padding: 0.2em 8px 0.3em 0;
	border-bottom: none;
}

#menu ul li a {
	background-color: #000000;
 	color: #FFFFFF;
	text-decoration:none;
    border-bottom: none;
}

#menu ul li.new a {
	background-color: #000000;
 	color: #FFFFFF;
	text-decoration:none;
    border-bottom: none;
}

#menu ul li.selected a{
	background-color: #000000;
	border-bottom: 1px solid white;	
}
#menu ul li span, #menu ul li.selected span {
	padding: 0.2em 0.1em 0.3em 0.6em;
}
#menu ul li span {

	background-color: #000000;
	}
#menu ul li.selected span {
	background-color: #000000;
	color: #FFFFFF;
	border-bottom: 1px solid white;
	}



/*
** Menu CSS code goes in this section
*/
.menu_box {
    padding: 0.2em 0 0.5em 0;
	text-align: left;
	
}

.menu_box ul {
    text-align: left;
/*	margin-left: -10px;
*/
}

.menu_box li {
    list-style-type: none;
    text-align: left;
    margin-left: -20px;	
/*    margin-left: -10px;	*/
}
.menu_box .active{
    color: #FFFFFF;
}

.menutitle {
    text-align: left;
    margin: 0.3em 0 0 0;
    padding:0;
    color: white;
    color: #FFFFFF;
    background-color: #000000;
    height: 1.8em;
}

.menutitle div {
    margin: 0;
    padding:0;
    background-color: #000000;
}
.menutitle div h2 {
    margin: 0;
    padding: 0.2em 0 0.3em 0.5em;
    line-height:1.2em;
    font-size: 120%;
    font-weight: normal;
    color: #FFFFFF;
    background-color: #000000;
}

/* Search Button Classes go here */
.menu_box form {
margin-top: 1.6em;
text-align:center;
margin-left: 0px;	
}
.menu_box form #searchInput{
width: 5em;
border: 2px solid #dddddd;
color: #aaa;
font-size:80%
}
.menu_box input.searchButton {
	/*confirm the colours used in here */
	margin-top: 1px;
	width: 4em;
	background-color: #888a85;
	color: #fff;
	border: 1px solid #bcbdba;
        font-size:80%
}

#footer {
        width: 100%;
    background-color: #000000;
}

#footer_text {
    margin: 0 auto; 
    padding: 1em 0 1em 3.5em;
    width: 51.5em;
    text-align: left;
    color: #FFFFFF;
    background-color: #000000;
}

#footer a:link, #footer a:visited {
    color: #FFFFFF;
}

.printfooter {
    }

img.tex {
        vertical-align: middle;
}
span.texhtml {
        font-family: serif;
}

/* emulate center */
.center {
        width: 100%;
        text-align: center;
}
*.center * {
        margin-left: auto;
        margin-right: auto;
}
/* small for tables and similar */
.small, .small * {
        font-size: 94%;
}
table.small {
        font-size: 100%;
}


/*
** Diff rendering
*/
table.diff, td.diff-otitle, td.diff-ntitle {
	background-color: white;
}
td.diff-addedline {
	background: #cfc;
	font-size: smaller;
}
td.diff-deletedline {
	background: #ffa;
	font-size: smaller;
}
td.diff-context {
	background: #eee;
	font-size: smaller;
}
span.diffchange {
	color: red;
	font-weight: bold;
}

div.floatright, table.floatright {
	clear: right;
	float: right;
	position: relative;
	margin: 0 0 .5em .5em;
	border: 0;
/*
	border: .5em solid white;
	border-width: .5em 0 .8em 1.4em;
*/
}
div.floatright p { font-style: italic; }
div.floatleft, table.floatleft {
	float: left;
	position: relative;
	margin: 0 .5em .5em 0;
	border: 0;
/*
	margin: .3em .5em .5em 0;
	border: .5em solid white;
	border-width: .5em 1.4em .8em 0;
*/
}
div.floatleft p { font-style: italic; }


/* rounded infobox */

.rbroundbox { }
.rbtop div { background: url(tl.png) no-repeat top left; }
.rbtop { background: url(tr.png) no-repeat top right; }
.rbbot div { background: url(bl.png) no-repeat bottom left; }
.rbbot { background: url(br.png) no-repeat bottom right; }

 .rbtopwrap { 
     color: #fff; 
     background-color: #0071bc; 
     padding-bottom: 0.5em;
     font-weight: bold;
     text-align: center;
}
 
.rbtop div, .rbtop, .rbbot div, .rbbot {
    width: 100%;
    height: 7px;
    font-size: 1px;
}

.rbcontent { margin: 0 7px; padding-top: 0.5em; }
.rbroundbox { width: 50%; margin: 1em auto; background-color: #dadde0;}

/* rounded codebox */

div.rtop, div.rbottom { display: block; }
div.rtop b, div.rbottom b { display: block; height: 1px; overflow: hidden; }
div.rtop b.r1, div.rbottom b.r1 { margin: 0 5px; background: #555753; }
b.r2 {margin: 0 3px; border-left: 2px solid #555753; border-right: 2px solid #555753;}
b.r3 {margin: 0 2px; border-left: 1px solid #555753; border-right: 1px solid #555753;}
div.rtop b.r4, div.rbottom b.r4 
{ margin: 0 1px; height: 2px; border-left: 1px solid #555753; border-right: 1px solid #555753; }
div.rmiddle { border-left: 1px solid #555753; border-right: 1px solid #555753; padding: 0 5px; }
div.rcode p, pre { margin: 0; } 
div.codebox { margin-bottom: 1em; } 

div.rcode { 
  margin: 0; 
  padding: 0;
  display: block;
  overflow:auto;
  font-family: /*'Bitstream Vera Sans Mono',*/ monospace;
  white-space: pre;
}

.codebarbg {
  background-image: url(codebarbg.png);
  background-position: center right;
  background-repeat: no-repeat;
  background-color: #f1f1f1;
  font-family: /*'Bitstream Vera Sans Mono'*/, monospace;
  font-weight: bold;
  font-size: 14px;
  color: #555753;
  padding: 0em 0.5em 0em 0.5em;
  margin-bottom: 0.5em;
}


/* thumbnails */
div.thumb {
	margin-bottom: .5em;
	border-style: solid;
	border-color: white;
	width: auto;
}
div.thumbinner {
/*	border: 1px solid #ccc;*/
	padding: 3px !important;
/*	background-color: #f9f9f9;*/
	font-size: 94%;
	text-align: center;
	overflow: hidden;
}
html .thumbimage {
	border: 1px solid #ccc;
}
html .thumbcaption {
	border: none;
	text-align: left;
	line-height: 1.4em;
	padding: 3px !important;
	font-size: 94%;
}
div.magnify {
	float: right;
	border: none !important;
	background: none !important;
}
div.magnify a, div.magnify img {
	display: block;
	border: none !important;
	background: none !important;
}
div.tright {
 clear: right;
 float: right;
 border-width: .5em 0 .8em 1.4em;
}
div.tleft {
 float: left;
 clear: left;
 margin-right: .5em;
 border-width: .5em 1.4em .8em 0;
}

#bodyContent a[href ^="http://pl.wikipedia.org"]
{
    background: url(wikipedia.org_12.gif) center right no-repeat;
    padding-right: 13px;
}

#bodyContent a[href ^="http://"],
#bodyContent a[href ^="gopher://"]
{
    background: url("external.png") center right no-repeat;
    padding-right: 13px;
}


/* js: pretty tables */
table.wikitable,
table.prettytable {
  margin: 1em 1em 1em 0;
  background: #f9f9f9;
  border: 1px #aaaaaa solid;
  border-collapse: collapse;
  margin-left:auto;
  margin-right:auto;
}

table.wikitable th, table.wikitable td,
table.prettytable th, table.prettytable td {
  border: 1px #aaaaaa solid;
  padding: 0.2em;
}

table.wikitable th,
table.prettytable th {
  background: #f2f2f2;
  text-align: center;
}

table.wikitable td,
table.prettytable td {
  background: #fff;
}

table.wikitable caption,
table.prettytable caption {
  margin-left: inherit;
  margin-right: inherit;
}


/* js: pretty quotes */
blockquote {
color:#6d7179;
font-style: italic;
margin-top:2em;
margin-bottom:1em;
padding-right:20px;
}

.bqstart {
font-family: Arial, Helvetica, sans-serif;
font-style: normal;
float: left;
height: 45px;
margin-left:-40px;
margin-top: -100px;
padding-top: 75px;
margin-bottom: -50px;
font-size: 600%;
color: #dadde0;
}

.bqend {
font-family: Arial, Helvetica, sans-serif;
font-style: normal;
float: right;
height: 25px;
margin-right:-20px;
margin-top: -80px;
padding-top: 65px;
font-size: 600%;
color: #dadde0;
}