a.wikilink1 {
	color: green;
}

a.wikilink2 {
	color: red;
}
span.wikilink2 {
	color: red;
}

h1 {
    font-size: 2em;
    margin: 0 0 .444em;
}

/* http://stackoverflow.com/questions/6370690/media-queries-how-to-target-desktop-tablet-and-mobile */

@media (min-width:961px)  { 
	/* tablet, landscape iPad, lo-res laptops ands desktops */ 
	div.main {
		padding-top: 48px;
	}
} 

pre.code {
	font-size: 10px;
}

em.u {
	font-style: normal;
	font-weight: bold;
	text-decoration: underline;	
	color: grey;
}

hr {
	border: 2px;
	border-top: 2px solid #eeeeee;
	border-bottom: 1px solid grey;
}

ul {
	list-style: square outside;
}

li.level1 {
	color: #999;
	margin: 0 0 0 1.5em;
}

div.li {
	color: #000;
}

code {
	color: #333;
}