/* As fonts are loaded lazily, there's no issue with the spares.*/
/* open-sans-regular - latin */
@font-face {
	font-family: 'Open Sans';
	font-style: normal;
	font-weight: 400;
	src: local('Open Sans Regular'), local('OpenSans-Regular'),
		 url('./fonts/open-sans-v16-latin-regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
		 url('./fonts/open-sans-v16-latin-regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
  }
  
@font-face {
	font-family: 'Nimbus Mono';
	src: url('./fonts/nimbusmono-regular.otf') format('opentype');
}
/* roboto-mono-300 - latin */
@font-face {
	font-family: 'Roboto Mono Light';
	font-style: normal;
	font-weight: 300;
	src: local('Roboto Mono Light'), local('RobotoMono-Light'),
		 url('./fonts/roboto-mono-v6-latin-300.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
		 url('./fonts/roboto-mono-v6-latin-300.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
  }
  
  /* roboto-mono-regular - latin */
  @font-face {
	font-family: 'Roboto Mono Regular';
	font-style: normal;
	font-weight: 400;
	src: local('Roboto Mono'), local('RobotoMono-Regular'),
		 url('./fonts/roboto-mono-v6-latin-regular.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
		 url('./fonts/roboto-mono-v6-latin-regular.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
  }
  
  /* roboto-mono-500 - latin */
  @font-face {
	font-family: 'Roboto Mono Medium';
	font-style: normal;
	font-weight: 500;
	src: local('Roboto Mono Medium'), local('RobotoMono-Medium'),
		 url('./fonts/roboto-mono-v6-latin-500.woff2') format('woff2'), /* Chrome 26+, Opera 23+, Firefox 39+ */
		 url('./fonts/roboto-mono-v6-latin-500.woff') format('woff'); /* Chrome 6+, Firefox 3.6+, IE 9+, Safari 5.1+ */
  }
  

body {
	background-color: rgb(255,255,255);
	background-image: url('../images/backgrounds/default.svg');
	background-size: 100% auto;
	color: #555581;
	font-family: 'Open Sans', sans-serif;
	margin: 0px;
	padding: 0px;
}
p, li {
	color: #555581;/*c0;/*#777799;*/
}
ul {
	list-style-type: disc;
}
.nestedContainer {
	list-style-type: none;
}
.nested-1 {
	list-style-type: circle;
}
.spacedContainer > li {
	margin-bottom: 0.15em;
}
.footnote {
	margin-left: 10%;
	margin-right: 10%;
	background-color: #fff5;
	border-style: solid;
	border-radius: 8px;
	border-width: 1px;
	border-color: #0003;
	font-size: .9em;
	padding-left: .4em;
	padding-right: .4em;
}
.citation {
	margin-left: 10%;
	margin-right: 10%;
	color: #55558190;/*#777799;*/
	font-size: .7em;
	margin-top: -.7em;
	/* margin-bottom: 1px; */
	line-height: 0em;
}
h4 {
	line-height: 1em;
}
hr {
	height: 2px;
	border: none;
	background-image: linear-gradient(to right, rgba(0, 0, 0, 0), rgba(85, 85, 129, 1), rgba(0, 0, 0, 0));
	/*color: #9797b9;
	border-color: #9797b9;
	background-color: #9797b9;*/
}
.code {
	font-family: 'Roboto Mono Light', monospace;
}
pre {
	text-align: left;
	background-color: #fff5;
	border-style: solid;
	border-width: 1px;
	border-color: #0003;
	padding: 1em;
	white-space: pre-wrap;
	font-size: .8em;
	padding-bottom: 0px;
}
.imageBorder {
	border-style: solid;
	border-width: 2px;
	border-color: rgba(85, 85, 129, 1);
	border-radius: 2em;
}
.noHeight {
	line-height: 0px;
}
.deEmphasized {
	color: #55558190;/*#777799;*/
	font-size: .9em;
}
.emphasized {
	color: #555581d0;
	font-size: 1.1em;
}
.noEdge {
	margin: 0px;
	padding: 0px;
	border: none;
}
.fullWidth {
	width: 100%;
}
.columnWidth {
	width: 80vw;
	min-width: 300px;
	max-width: 40rem;
}
.center {
	margin-left: auto;
	margin-right: auto;
	text-align: center;
}
.paperSize {
	width: 8.5in;
}
.inchPadded {
	padding: 1in;
}
.left {
	text-align: left;
}
.right {
	text-align: right;
}
.indented {
	margin-left: 2em;
}
.block {
	display: block;
}
.inline {
	display: inline;
}
.inlineBlock {
	display: inline-block;
}

.footnote {
	margin-left: 10%;
	margin-right: 10%;
	background-color: #fff5;
	border-style: solid;
	border-radius: 8px;
	border-width: 1px;
	border-color: #0003;
	font-size: .9em;
	padding-left: .4em;
	padding-right: .4em;
}
.tab {
	display: inline;
	padding-left: 4rem;
}

.header {
	background-color: #fffb;
	padding-top: .5em;
	padding-bottom: .5em;
	font-size: 1.5em;
	position: fixed;
	top: 0px;
	left: 0px;
}
.belowHeader {
	margin-top: 4.5em;
}
.headerLink {
	color: #555581d0;
	margin-left: 1em;
}
.headerLinkRight {
	color: #555581d0;
	margin-left: 1em;
	margin-right: 1em;
	float: right;
	text-align: right;
}
.active {
	text-decoration: none;
}