@font-face {
    font-family: 'open_sans';
    src: url('fonts/OpenSans-Regular-webfont.svg#open_sansregular') format('svg'),
         url('fonts/OpenSans-Regular-webfont.woff') format('woff'),
         url('fonts/OpenSans-Regular-webfont.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'open_sans';
    src: url('fonts/OpenSans-Light-webfont.svg#open_sanslight') format('svg'),
         url('fonts/OpenSans-Light-webfont.woff') format('woff'),
         url('fonts/OpenSans-Light-webfont.ttf') format('truetype');
    font-weight: 200;
    font-style: normal;
}

@font-face {
    font-family: 'open_sans';
    src: url('fonts/OpenSans-LightItalic-webfont.svg#open_sanslight_italic') format('svg'),
         url('fonts/OpenSans-LightItalic-webfont.woff') format('woff'),
         url('fonts/OpenSans-LightItalic-webfont.ttf') format('truetype');
    font-weight: 200;
    font-style: italic;

}

@font-face {
    font-family: 'open_sans';
    src: url('fonts/OpenSans-Bold-webfont.svg#open_sansbold') format('svg'),
         url('fonts/OpenSans-Bold-webfont.woff') format('woff'),
         url('fonts/OpenSans-Bold-webfont.ttf') format('truetype');
    font-weight: bold;
    font-style: normal;

}

/*
@font-face {
    font-family: 'droid_sans_monoregular';
    src: url('fonts/DroidSansMono-webfont.svg#droid_sans_monoregular') format('svg'),
         url('fonts/DroidSansMono-webfont.woff') format('woff'),
         url('fonts/DroidSansMono-webfont.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'source_code_pro_light';
    src: url('fonts/SourceCodePro-Light.svg') format('svg'),
         url('fonts/SourceCodePro-Light.ttf.woff') format('woff'),
         url('fonts/SourceCodePro-Light.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}
*/

@font-face {
    font-family: 'source_code_pro_regular';
    src: url('fonts/SourceCodePro-Regular.svg') format('svg'),
         url('fonts/SourceCodePro-Regular.ttf.woff') format('woff'),
         url('fonts/SourceCodePro-Regular.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'source_code_pro_semibold';
    src: url('fonts/SourceCodePro-Semibold.svg') format('svg'),
         url('fonts/SourceCodePro-Semibold.ttf.woff') format('woff'),
         url('fonts/SourceCodePro-Semibold.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}

html {
	min-height: 100%;
	position: relative;
}

body {
	font-family: open_sans, sans-serif;
	font-weight: lighter;
	font-size: 120%;
	background-color: white;
	margin: 0;
	padding: 0 0 30px 0;
	min-height: 100%;
	position: relative;
}

p {
	text-align: justify;
}

tt {
/*	font-family: droid_sans_monoregular, monospace;*/
	font-family: source_code_pro_semibold, monospace;
	font-size: 85%;
}

pre {
	font-family: source_code_pro_regular, monospace;
	font-size: 85%;
}

.pageheading a,
.pageheading a:hover,
.pageheading a:link,
.pageheading a:visited {
	color: white;
	font-size: 250%;
	font-weight: bold;
	font-variant: small-caps;
	text-decoration: none;
	vertical-align: middle;
	}

.pageheading img {
	vertical-align: middle;
	}

.pageheading {
	text-align: center;
	vertical-align: middle;
	background-color: midnightblue;
	padding-bottom: 1em;
	padding-top: 0.5em;
}

.column {
	width: 100%;
	max-width: 35em;
	margin-left: auto;
	margin-right: auto;
	font-size: 110%;
}

div.code {
	background-color: lightcyan;
	padding: 1em;
	margin: 2em;
}

.navigation {
	text-align: center; 
	margin-top: 0.5pc;
	margin-bottom: 2pc;
	padding: 0.25em; 
	background-color: white; 
	font-size: 120%;
}
.navigation a:link,
.navigation a:visited {
	text-decoration: none;
	color: #003399;
	text-shadow: #6699ff 1px 1px 2px;
}
.navigation a:hover,
.navigation a:active {
	color: red;
	text-shadow: #6699ff 1px 1px 2px;
}

h1 {
	color: #191970;
	font-weight: normal;
	/*font-variant: small-caps;*/
	font-size: 200%;
}

h2 {
	color: #191970;
	font-weight: normal;
	/*font-variant: small-caps;*/
	font-size: 150%;
}

h3 {
	color: #191970;
	font-weight: normal;
	/*font-variant: small-caps;*/
	font-size: 120%;
}

h4 {
	color: #191970;
	font-weight: normal;
	/*font-variant: small-caps;*/
	font-size: 110%;
/*	font-weight: normal;*/
	font-style: italic;
}

.docbiglink {
	/*font-weight: normal;*/
}

div.button {
	border: 1px solid black; 
	border-radius: 0.5em; 
	padding: 0.5em; 
	display: inline-block; 
	font-weight: normal; 
	background: linear-gradient(to bottom, white, lightgrey ); 
	color: #191970;
	box-shadow: 1px 1px 2px black;
}

a.button:link,
a.button:visited {
	text-decoration: none;
	color: #191970;
}

a:hover div.button,
a:active div.button {
	background: linear-gradient(to bottom, oldlace, lightgrey); 
}

span.toc1 {
}
span.toc2 {
	font-size: 90%;
}
span.toc3 {
	font-size: 80%;
}

.footer {
	background-color: darkgrey;
	font-size: 80%;
	text-align: right;
	color: white;
/*	padding-left: 1em;
	padding-right: 1em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;*/
	position:absolute;
	left: 0;
	bottom: 0;
	width: 100%;
	margin: 0;
	padding: 0;
	border: 0;
}

.footer a:link,
.footer a:visited {
	text-decoration: none;
	color: white;
}

/*
.tryitbutton {
	font-size: 150%;
	margin-bottom: 0.5em;
}

.tryitbutton a:link,
.tryitbutton a:visited { 
	padding: 0.25em;
	border-radius: 0.15em;
	background-image: url('tryitgradient.png');
	background-position: left top;
	background-repeat: repeat-x;
	background-size: auto 100%;
	background-color: #339966;
	text-decoration: none;
	color: white;
}

.tryitbutton a:hover,
.tryitbutton a:active {
	color: yellow;
}
*/


/******************************************************
 FOR GENERIC TABLES IN THE DOCUMENTATION
*/

table.table,
table.table td,
table.table th {
	border: 0px solid lightgrey;
	border-bottom: 1px solid lightgrey;
	padding-left: 0.5em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	text-align: left;
}

table.table {
	border-collapse: collapse;
}

table.table td {
	background-color: #F5f5f5;
}

table.table th {
	background-color: lightgrey;
}

table.table tt {
	font-family: source_code_pro_regular, monospace;
	font-size: 85%;
}

/******************************************************
 FOR THE TRANSLATION MAPPING TABLES
*/

/*
table.mapping {
	background-color: white;
	border-collapse: collapse;
}

table.mapping th {
	background-color: lightgrey;
}

table.mapping tr.globalscope td {
	border-top: 1px solid white;
	border-bottom: 1px solid white;
	background-color: lightgrey;
}

table.mapping td:nth-child(3) {
	font-style: italic;
}

table.mapping td.heading {
	font-size: 150%;
	color: white;
	background-color: black;
}

table.mapping td, table.mapping th {
	padding-left: 5px;
	padding-right: 5px;
	text-align: left;
	border-top: 1px solid lightgrey;
	border-bottom: 1px solid lightgrey;
}

*/