html { 
    font-family: 'Source Serif Pro';
	font-size: 18.88px;
}

body {
	background-color: rgb(255, 239, 205);
	-webkit-text-size-adjust: 100%;		/* Prevent Webkit (Chrome, Safari, ...) from resizing fonts */
}

a { 
	text-decoration: none;
	color: #2258a8; 
}
a:hover { text-decoration: underline; }

p, ul, dl, blockquote { 
	font-size: 1em;
}

/* Used for internal references: <ref>§1.2.3 sectiontitle</ref> */
ref {
	font-size: 0.9em;
}

.footer {
	top: 20pt;
	text-align: center;
	font-size: 0.8em;
	font-style: italic;
	margin-top: 4rem;
}

blockquote {
	font-style: italic;
}

quote {
	font-style: italic;
}

/* Inline LaTeX */
img.inlineLatex {
	vertical-align: sub;
}

div.compiledLatex {
	padding: 5;
	overflow: hidden;
}

.nowrap {
	white-space: nowrap;
}

h0 {
	font-size: 2.8em;
	font-weight: bold;
	font-variant: small-caps;
}

h1 {
	font-size: 1.8em;
	letter-spacing: 0.04em;
}

h2, h5 {
	font-size: 1.25em;
	letter-spacing: 0.04em;
	margin-top: 1.6em;
}

h3 {
	font-size: 1em;
	letter-spacing: 0.04em;
	margin-top: 1.5em;
}

/* For the TOC */
h4 {
	font-size: 1.2em;
	text-align: center;
	margin-block-start: 0.2em;
	margin-block-end: 0.2em;
}

/* For non-numbered h2 sections */
h5 {
	/* display: block; */
	/* font-size: 1.5em; */
	margin-top: 0.83em;
	margin-bottom: 0.83em;
	margin-left: 0;
	margin-right: 0;
	/* font-weight: bold; */
}

code, codeDisplay {
	font-family: 'Source Code Pro';
	font-size: 0.85em;
}
code { white-space: nowrap; }
code, codeDisplay, div.codebox {
	background-color: rgb(240, 240, 240);
}
.codebox {
	padding: 5;
}

div.correctbox {
	background-clip: content-box;
	padding: 2px;
	box-shadow: inset 0 0 0 2px rgb(95, 95, 95)
	/* padding: 10px;
	box-shadow: inset 0 0 0 10px rgb(218, 253, 218); */
}

div.incorrectbox {
	/* background-color: rgb(255, 226, 226); */
	padding: 2px;
	background-clip: content-box;
	box-shadow: inset 0 0 0 2px rgb(180, 27, 27);
}

.outer-box-frame {
	width: 700px;
	border: 3pt solid #858585;
	margin: auto;
	padding: 2rem;
	background-color: rgb(255, 255, 255); /*rgb(255, 249, 235);*/
}


table {
	width:100%;
}





/* source-code-pro-regular - latin */
@font-face {
	font-family: 'Source Code Pro';
	font-style: normal;
	font-weight: 400;
	src: url('fonts/source-code-pro-v13-latin-regular.eot'); /* IE9 Compat Modes */
	src: local('Source Code Pro Regular'), local('SourceCodePro-Regular'),
		 url('fonts/source-code-pro-v13-latin-regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
		 url('fonts/source-code-pro-v13-latin-regular.woff2') format('woff2'), /* Super Modern Browsers */
		 url('fonts/source-code-pro-v13-latin-regular.woff') format('woff'), /* Modern Browsers */
		 url('fonts/source-code-pro-v13-latin-regular.ttf') format('truetype'), /* Safari, Android, iOS */
		 url('fonts/source-code-pro-v13-latin-regular.svg#SourceCodePro') format('svg'); /* Legacy iOS */
  }

@font-face {
	font-family: 'Source Serif Pro';
	font-style: normal;
	font-weight: 400;
	src: url('fonts/source-serif-pro-v10-latin-regular.eot'); /* IE9 Compat Modes */
	src: local('Source Serif Pro'), local('SourceSerifPro-Regular'),
		 url('fonts/source-serif-pro-v10-latin-regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
		 url('fonts/source-serif-pro-v10-latin-regular.woff2') format('woff2'), /* Super Modern Browsers */
		 url('fonts/source-serif-pro-v10-latin-regular.woff') format('woff'), /* Modern Browsers */
		 url('fonts/source-serif-pro-v10-latin-regular.ttf') format('truetype'), /* Safari, Android, iOS */
		 url('fonts/source-serif-pro-v10-latin-regular.svg#SourceSerifPro') format('svg'); /* Legacy iOS */
  }
  /* source-serif-pro-italic - latin */
  @font-face {
	font-family: 'Source Serif Pro';
	font-style: italic;
	font-weight: 400;
	src: url('fonts/source-serif-pro-v10-latin-italic.eot'); /* IE9 Compat Modes */
	src: local('Source Serif Pro Italic'), local('SourceSerifPro-It'),
		 url('fonts/source-serif-pro-v10-latin-italic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
		 url('fonts/source-serif-pro-v10-latin-italic.woff2') format('woff2'), /* Super Modern Browsers */
		 url('fonts/source-serif-pro-v10-latin-italic.woff') format('woff'), /* Modern Browsers */
		 url('fonts/source-serif-pro-v10-latin-italic.ttf') format('truetype'), /* Safari, Android, iOS */
		 url('fonts/source-serif-pro-v10-latin-italic.svg#SourceSerifPro') format('svg'); /* Legacy iOS */
  }
  /* source-serif-pro-600 - latin */
  @font-face {
	font-family: 'Source Serif Pro';
	font-style: normal;
	font-weight: 600;
	src: url('fonts/source-serif-pro-v10-latin-600.eot'); /* IE9 Compat Modes */
	src: local('Source Serif Pro SemiBold'), local('SourceSerifPro-SemiBold'),
		 url('fonts/source-serif-pro-v10-latin-600.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
		 url('fonts/source-serif-pro-v10-latin-600.woff2') format('woff2'), /* Super Modern Browsers */
		 url('fonts/source-serif-pro-v10-latin-600.woff') format('woff'), /* Modern Browsers */
		 url('fonts/source-serif-pro-v10-latin-600.ttf') format('truetype'), /* Safari, Android, iOS */
		 url('fonts/source-serif-pro-v10-latin-600.svg#SourceSerifPro') format('svg'); /* Legacy iOS */
  }