body {
    background: white;
    color: black;
	font-family: 'Benton Sans', Arial, sans-serif;
	margin:0;
	padding-left:15px;
	padding-right:15px;
    transition: background-color .5s;
	overflow-x: hidden;
}

a:link {
    background: white;
    color: blue;
}

a:visited {
    background: white;
    color: rgb(50%, 0%, 50%);
}

h1 {
    background: white;
    color: rgb(55%, 55%, 55%);
    font-family: monospace;
    font-size: x-large;
    text-align: center;
}

h2{ 
	margin-right: 5%; 
    font-weight: 600;
    display: inline-block;
    margin-top: 8px;
    margin-bottom: 0;
    line-height: 36px;
    vertical-align: top;
    position: relative;
	font-size: 21.994px;
}

h3{
	font-weight: bold;
	line-height:17.6022px;
	vertical-align: top;
	font-size: 18.002px;
}

h4 {
    background: white;
    color: rgb(40%, 40%, 40%);
    font-family: monospace;
    font-style: italic;
    font-size: large;
}

h5 {
    background: white;
    color: rgb(40%, 40%, 40%);
    font-family: monospace;
}

h6 {
    background: white;
    color: rgb(40%, 40%, 40%);
    font-family: monospace;
    font-style: italic;
}
		
img.toplogo {
    width: 4em;
    vertical-align: middle;
}

img.arrow {
    width: 30px;
    height: 30px;
    border: 0;
}

span.acronym {
    font-size: small;
}

span.env {
    font-family: monospace;
}

span.file {
    font-family: monospace;
}

span.option{
    font-family: monospace;
}

span.pkg {
    font-weight: bold;
}

span.samp{
    font-family: monospace;
}

div.vignettes a:hover {
    background: rgb(85%, 85%, 85%);
}