@font-face {
    font-family: "titillium";
    src: url('../../web1/fonts/titilliumweb-regular.ttf') format('truetype');
}

body {
    font-family: titillium, 'Open Sans', Arial;
    font-style: normal;
    font-weight: normal;
    color: rgb(39, 39, 39);
    margin: 0;
    border: 10px solid #e3e3e3;
    overflow: scroll;
    font-size: 15px;
    padding: 10px 40px 40px 40px;
}

p {
    margin: 10px 0px 10px 0px;
}

dl {
    margin:0px;
}

dt {
    font-weight:bold;
}

dd {
}

a, a:visited {
    text-decoration:none;
    color: rgb(23, 186, 174);
}

h1{
    color: #404040;
    margin-top: 30px;
    margin-bottom: 0;
}

h2{
    padding-bottom: 5px;
	border-bottom:1px solid rgb(207, 207, 207);
    color: rgb(25, 25, 25);
}

h3 {
    margin-top: 20px;
    margin-bottom: 0px;
}

h4 {
    margin-top: 10px;
    margin-bottom: 3px;
    color: grey;
}

td {
	padding-left: 10px;
	vertical-align: top;
}

td.param {
	text-align: right;
	white-space: nowrap;
}

pre {
	margin: 0px;
	overflow: auto;
	border: 1px solid rgb(217, 217, 217);
}

pre.sample {
	width: 100%;
	height: 400px;
}

pre.license {
	padding: 10px;
	width: 100%;
	height: 250px;
	overflow: auto;	
	font-size: 8pt;
}

code > a{
    color: #00f !important;
}

div.fixme {
    border: 1px solid grey;
    background-color: #ffa080;
}

.fnhead {
	background:rgb(245, 245, 245);
	font-weight: bold;
	margin-bottom: 10px;
	margin-top: 10px;
	padding: 5px 10px 5px 10px;
}