body {
        font-family: sans-serif;	
	margin: 2% 6%;
	margin-right: 9em;
}

h1 {
        text-align: center;
}

h2, h3, h4 { 
    margin: 2pt;
    margin-top: 1em;
}
hr {
        border: 1px solid #428a42;
}

/* ul { margin: 1pt; } This breaks IE */
li { padding: 1pt; }

p.para {
}

pre {
	margin-left: 2em;
	border : 2px 
}

div.banner {
  margin: 0;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;       /* Fallback if 'fixed' is not supported */
  top: 2%;
  right: 1em;
  left: auto;
  width: 6.5em;
}

/* WinIE6 gets confused by 'fixed', so hide it.*/
*>div.banner {
 /*  position: fixed; */     /* Overrides 'absolute' above */
}
div.banner ul {
	margin: 0px; 
	list-style-type: none;
	list-style-position: outside;
	padding: 0.1em 0.1em;
	font-family: sans-serif;
	background-color: #EFFFEF; border: 2px solid #428A42; /* rio */
	border: 2px solid #428a42;
	color: black;
}
.banner ul li {
	margin: 0px;
}

.banner ul a {
	display: block;
	padding: 1pt;
        text-decoration: none;
        font-weight: 600;
        color: black;
        border: 2px solid #EFFFEF; /* rio */
}

.banner ul a:hover {
        border: 2px solid #428a42; /* rio */
}

.banner img {
	border: 0px;
	padding: 4pt;
}
.banner_sep {
	display: none; /* hide from non-css browsers */
}

.footer_sep {
        border: 0px solid #428a42;
        border-bottom: 1px solid #428a42;
	padding-top: 5pt;

}

.footer {
	text-align: center;
	/*border-top: 2px solid #428a42;*/
	padding: 2pt;
}
.footer a {
	font-weight: 600;
	font-size: 90%;
}

.footer img {
	border: none;
}
.last_mod {
}

.about_wiki {
}

/* dissabled stuff */
#top_sidebar_link {
	display: none;
}

/* Diff */
.diff_head {
	font-style: italic;
	border: solid 2px #428a42;
	padding: 0.5em;
}
.old_text {
	color: #777;
}
.new_text, .new_text li, .new_text pre, .new_text h2  {
	background-color: #EFFFEF;
	color: #428a42;
	border: solid 1px #428a42;
	padding: 0.1em;
}