@CHARSET "UTF-8";
body{
	font-size: 1em;
}


h1 {
	margin-top: 0px;
	font-size: 1.6em;
}

h2 {
	font-size: 1.4em;
}

h3 {
	font-size: 1.2em;
}

h4 {
	font-size: 1.0em;
}

h5 {
	font-size: 0.8em;
}

h6 {
	font-size: 0.6em;
}

p {
	font-size: 1em;
}

pre {
	padding: 3px;
	margin: 10px;
	background-color: black;
	border: 5px solid gray;
	color: white;
        text-align: left;
}

.ui-widget-content a,
a {
    color: #7EC012;
}