@font-face {
	font-family: "Source Code Pro";
	font-weight: 200;
	font-style: normal;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-ExtraLight"),
	     url("fonts/EOT/SourceCodePro-ExtraLight.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-ExtraLight.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-ExtraLight.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-ExtraLight.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-ExtraLight.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 200;
	font-style: italic;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-ExtraLightIt"),
	     url("fonts/EOT/SourceCodePro-ExtraLightIt.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-ExtraLightIt.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-ExtraLightIt.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-ExtraLightIt.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-ExtraLightIt.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 300;
	font-style: normal;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-Light"),
	     url("fonts/EOT/SourceCodePro-Light.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-Light.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-Light.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-Light.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-Light.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 300;
	font-style: italic;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-LightIt"),
	     url("fonts/EOT/SourceCodePro-LightIt.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-LightIt.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-LightIt.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-LightIt.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-LightIt.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 400;
	font-style: normal;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-Regular"),
	     url("fonts/EOT/SourceCodePro-Regular.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-Regular.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-Regular.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-Regular.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-Regular.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 400;
	font-style: italic;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-It"),
	     url("fonts/EOT/SourceCodePro-It.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-It.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-It.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-It.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-It.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 500;
	font-style: normal;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-Medium"),
	     url("fonts/EOT/SourceCodePro-Medium.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-Medium.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-Medium.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-Medium.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-Medium.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 500;
	font-style: italic;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-MediumIt"),
	     url("fonts/EOT/SourceCodePro-MediumIt.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-MediumIt.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-MediumIt.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-MediumIt.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-MediumIt.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 600;
	font-style: normal;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-Semibold"),
	     url("fonts/EOT/SourceCodePro-Semibold.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-Semibold.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-Semibold.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-Semibold.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-Semibold.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 600;
	font-style: italic;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-SemiboldIt"),
	     url("fonts/EOT/SourceCodePro-SemiboldIt.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-SemiboldIt.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-SemiboldIt.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-SemiboldIt.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-SemiboldIt.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 700;
	font-style: normal;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-Bold"),
	     url("fonts/EOT/SourceCodePro-Bold.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-Bold.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-Bold.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-Bold.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-Bold.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 700;
	font-style: italic;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-BoldIt"),
	     url("fonts/EOT/SourceCodePro-BoldIt.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-BoldIt.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-BoldIt.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-BoldIt.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-BoldIt.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 900;
	font-style: normal;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-Black"),
	     url("fonts/EOT/SourceCodePro-Black.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-Black.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-Black.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-Black.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-Black.ttf") format("truetype");
}

@font-face {
	font-family: "Source Code Pro";
	font-weight: 900;
	font-style: italic;
	font-stretch: normal;
	font-display: optional;
	src: local("SourceCodePro-BlackIt"),
	     url("fonts/EOT/SourceCodePro-BlackIt.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/TTF/SourceCodePro-BlackIt.ttf.woff2") format("woff2"),
	     url("fonts/WOFF/OTF/SourceCodePro-BlackIt.otf.woff") format("woff"),
	     url("fonts/OTF/SourceCodePro-BlackIt.otf") format("opentype"),
	     url("fonts/TTF/SourceCodePro-BlackIt.ttf") format("truetype");
}

@font-face {
	font-family: Charter;
	font-style: normal;
	font-weight: normal;
	font-stretch: normal;
	font-display: optional;
	src: local("Charter"),
	     url("fonts/EOT/charter_regular-webfont.eot") format("embedded-opentype"),
	     url("fonts/WOFF/charter_regular-webfont.woff") format("woff");
}

@font-face {
	font-family: Charter;
	font-style: italic;
	font-weight: normal;
	font-stretch: normal;
	font-display: optional;
	src: local("Charter-Italic"),
	     url("fonts/EOT/charter_italic-webfont.eot") format("embedded-opentype"),
	     url("fonts/WOFF/charter_italic-webfont.woff") format("woff");
}

@font-face {
	font-family: Charter;
	font-style: normal;
	font-weight: bold;
	font-stretch: normal;
	font-display: optional;
	src: local("Charter-Bold"),
	     url("fonts/EOT/charter_bold-webfont.eot") format("embedded-opentype"),
	     url("fonts/WOFF/charter_bold-webfont.woff") format("woff");
}

@font-face {
	font-family: Charter;
	font-style: italic;
	font-weight: bold;
	font-stretch: normal;
	font-display: optional;
	src: local("Charter-BoldIt"),
	     url("fonts/EOT/charter_bold_italic-webfont.eot") format("embedded-opentype"),
	     url("fonts/WOFF/charter_bold_italic-webfont.woff") format("woff");
}

@font-face {
	font-family: Fira;
	font-style: normal;
	font-weight: 300;
	font-stretch: normal;
	font-display: optional;
	src: local("FiraSans-Light"),
	     url("fonts/EOT/FiraSans-Light.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/FiraSans-Light.woff2") format("woff2"),
	     url("fonts/WOFF/FiraSans-Light.woff") format("woff"),
	     url("fonts/OTF/FiraSans-Light.otf") format("opentype"),
	     url("fonts/TTF/FiraSans-Light.ttf") format("truetype");
}

@font-face {
	font-family: Fira;
	font-style: italic;
	font-weight: 300;
	font-stretch: normal;
	font-display: optional;
	src: local("FiraSans-LightItalic"),
	     url("fonts/EOT/FiraSans-LightItalic.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/FiraSans-LightItalic.woff2") format("woff2"),
	     url("fonts/WOFF/FiraSans-LightItalic.woff") format("woff"),
	     url("fonts/OTF/FiraSans-LightItalic.otf") format("opentype"),
	     url("fonts/TTF/FiraSans-LightItalic.ttf") format("truetype");
}

@font-face {
	font-family: Fira;
	font-style: normal;
	font-weight: 400;
	font-stretch: normal;
	font-display: optional;
	src: local("FiraSans-Regular"),
	     url("fonts/EOT/FiraSans-Regular.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/FiraSans-Regular.woff2") format("woff2"),
	     url("fonts/WOFF/FiraSans-Regular.woff") format("woff"),
	     url("fonts/OTF/FiraSans-Regular.otf") format("opentype"),
	     url("fonts/TTF/FiraSans-Regular.ttf") format("truetype");
}

@font-face {
	font-family: Fira;
	font-style: normal;
	font-weight: 600;
	font-stretch: normal;
	font-display: optional;
	src: local("FiraSans-Medium"),
	     url("fonts/EOT/FiraSans-Medium.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/FiraSans-Medium.woff2") format("woff2"),
	     url("fonts/WOFF/FiraSans-Medium.woff") format("woff"),
	     url("fonts/OTF/FiraSans-Medium.otf") format("opentype"),
	     url("fonts/TTF/FiraSans-Medium.ttf") format("truetype");
}

@font-face {
	font-family: "Font Awesome 5 Brands";
	font-style: normal;
	font-weight: normal;
	font-display: block;
	src: local("FontAwesome"),
	     url("fonts/EOT/fa-brands-400.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/fa-brands-400.woff2") format("woff2"),
	     url("fonts/WOFF/fa-brands-400.woff") format("woff"),
	     url("fonts/TTF/fa-brands-400.ttf") format("truetype");
}

@font-face {
	font-family: "Font Awesome 5 Free";
	font-style: normal;
	font-weight: 400;
	font-display: block;
	src: local("FontAwesome"),
	     url("fonts/EOT/fa-regular-400.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/fa-regular-400.woff2") format("woff2"),
	     url("fonts/WOFF/fa-regular-400.woff") format("woff"),
	     url("fonts/TTF/fa-regular-400.ttf") format("truetype");
}

@font-face {
	font-family: "Font Awesome 5 Free";
	font-style: normal;
	font-weight: 900;
	font-display: block;
	src: local("FontAwesome"),
	     url("fonts/EOT/fa-solid-900.eot") format("embedded-opentype"),
	     url("fonts/WOFF2/fa-solid-900.woff2") format("woff2"),
	     url("fonts/WOFF/fa-solid-900.woff") format("woff"),
	     url("fonts/TTF/fa-solid-900.ttf") format("truetype");
}

.fas { font-family: "Font Awesome 5 Free"; font-weight: 900; }
.far { font-family: "Font Awesome 5 Free"; font-weight: 400; }
.fab { font-family: "Font Awesome 5 Brands"; }

.fas.projects::before { content: "\f0ad"; }
.far.slides::before { content: "\f1c4"; }
.fab.github::before { content: "\f09b"; }
.fas.work::before { content: "\f0b1"; }
.fas.resume::before { content: "\f15b"; }
.fab.linkedin::before { content: "\f08c"; }
.fas.university::before { content: "\f19c"; }
.fas.code::before { content: "\f121"; }

* {
	margin: 0;
	padding: 0;
}

body, li p {
	font-family: Charter, Garamond, "Times New Roman", serif;
}

html, body {
	max-width: 100%;
	overflow-x: hidden;
}

@viewport { width: device-width; }
@media all { html { font-size: 22px; } }
@media all and (max-width:920px) { html { font-size: 22px; } }
@media all and (max-width:880px) { html { font-size: 21px; } }
@media all and (max-width:840px) { html { font-size: 20px; } }
@media all and (max-width:800px) { html { font-size: 19px; } }
@media all and (max-width:760px) { html { font-size: 18px; } }
@media all and (max-width:720px) { html { font-size: 17px; } }
@media all and (max-width:680px) { html { font-size: 16px; } }
@media all and (max-width:640px) { html { font-size: 15px; } }
@media all and (max-width:600px) { html { font-size: 14px; } }
@media all and (max-width:560px) { html { font-size: 13px; } }
@media all and (max-width:520px) { html { font-size: 12px; } }
@media all and (max-width:520px) { html { font-size: 18px; } }

body {
	margin-left: auto;
	margin-right: auto;
	width: 100%;
	max-width: 1000px;
	min-height: 100%;
	text-rendering: optimizeLegibility;
	font-feature-settings: "kern" 1, "liga" 1;
	border-top: 0px solid black;
	border-bottom: 0px solid black;
	position: relative;
	z-index: -10000;
	display: block;
	padding: 3rem 0 1rem 0;
}

body > * {
	font-size: 100%;
	margin-left: 8.5rem;
	margin-right: 5.5rem;
}


li {
	break-inside: avoid-column;
	hypens: auto;
	margin: 1em 0;
}

ul {
	margin-bottom: 1em;
	list-style-type: square;
}

.cv-list li p {
	display: inline;
}

hr {
	border: none;
	background-color: #8c8b8b;
	height: 1px;
}

h1, h2, h3, h4, h5 {
	font-family: Fira, Helvetica, Arial, sans-serif;
	border-top: 0;
	padding-top: 0;
	font-weight: bolder;
}

h1 {
	font-size: 120%;
	line-height: 1.10;
	margin-bottom: 1rem;
}

h2, h3, h4, h5 {
	line-height: 1;
	padding-top: 0.4rem;
	margin-top: 0.4rem;
	padding-bottom: 0.2rem;
	margin-bottom: 0.2rem;
	text-transform: uppercase;
}

h2 { font-size: 100%; }
h3 { font-size: 90%; }
h4 { font-size: 80%; }
h5 { font-size: 70%; }

.hlist { line-height: 1.5; }

pre, code {
	font-family: "Source Code Pro", Courier, monospace;
}

pre {
	font-size: 65%;
	overflow: auto;
	background-color: #f9f9f9;
	border-radius: 8px;
	padding: 1em;
	margin: 1em 0;
	box-shadow: 3px 3px 3px #eee;
	border: 1px solid #ccc;
	font-weight: 400;
}

code {
	font-size: 80%;
	word-break: keep-all;
	font-weight: 500;
	hypens: none;
	white-space: nowrap;
}

textarea { overflow-x: auto; }

thead { border-bottom: solid; }

th {
	text-align: left;
	padding-left: 1rem;
	padding-bottom: .5em;
}

table {
	border-collapse:collapse;
	width: 100%;
	margin-bottom: 1em;
}

td, th { vertical-align:top; }
dt { font-weight: bold; }

p {
	margin-bottom: 1em;
	line-height: 1.5;
	hyphens: auto;
	/* text-align: justify; */
}

a {
	text-decoration: none;
	transition-property: background;
	transition-duration: 0.2s;
	hypens: none;
}

a:active { color: #777; }

a:after {
	position: relative;
	margin-left: 0.10em;
	font-size: 90%;
	top: -0.10em;
	color: #933;
}

a:hover {
	background: #fbf3f3;
	transition-property: background;
	transition-duration: 0.2s;
	border-radius: 8px;
}

@media all and (max-width: 520px) {
	body > * {
		margin-left: 2rem;
		margin-right: 2rem;
		margin-top: 1.5rem;
		margin-bottom: 1.5rem;
	}
	body { padding: 0; }
}

@media all and (min-width: 520px) {
	pre {
		margin-left: -2em;
		margin-right: -2em;
	}
}

/*
 * index.html
 */

ul.cv-list li {
	list-style: none;
	margin-bottom: 1em;
	margin-top: 0;
	margin-left: 0;
	margin-right: 0;
	line-height: 1.35;
}

ul.cv-list li.focused {
	font-weight: bold;
}

ul.cv-list li:before {
	content: "⇒";
	margin-left: -1.25em;
}

ul.cv-list li.focused:before {
	content: "❦ ⇒";
	margin-left: -2.28em;
}

ul.children {
	font-size: 90%;
	column-count: 2;
	column-gap: 2.5rem;
}

@media all and (max-width:520px) {
	ul.children {
		font-size: 100%;
		column-count: 1;
		column-gap: 2em;
	}
}

ul.children li {
	margin-bottom: 0;
	padding-bottom: 1em;
}

li .date {
	float: right;
	padding-left: 1em;
	padding-bottom: 1em;
}

li .link:after { content: "»"; }
li .link:before { content: "«"; }
a.name { font-weight: 500; }
.title { text-align: center; }

.cv-footer {
	margin-top: 2em;
}

.cv-source {
	float: right;
}

/*
 * Org Mode
*/

.todo {
	font-family: monospace;
	color: red;
}
.done { color: green; }
.tag {
	background-color: #eee;
	font-family: monospace;
	padding: 2px;
	font-size: 80%;
	font-weight: normal;
}
.timestamp { color: #bebebe; }
.timestamp-kwd {
	color: #5f9ea0;
}
.right	{
	margin-left: auto;
	margin-right: 0px;
	text-align: right;
}
.left {
	margin-left: 0px;
	margin-right: auto;
	text-align: left;
}
.center { margin-left: auto; margin-right: auto; text-align: center; }
.underline { text-decoration: underline; }
#postamble p, #preamble p { font-size: 90%; margin: .2em; }
.footpara { display: inline; }
.footdef { margin-bottom: 1em; }
.figure { padding: 1em; }
.figure p { text-align: center; }
.linenr { font-size: smaller }

.inlinetask {
	padding: 10px;
	border: 2px solid gray;
	margin: 10px;
	background: #ffffcc;
}

#org-div-home-and-up {
	text-align: right;
	font-size: 70%;
	white-space: nowrap;
}

.code-highlighted { background-color: #ffff00; }

.org-info-js_info-navigation {
	border-style: none;
	font-size: 70%;
	margin-bottom: 1em;
}
#org-info-js_console-label {
	font-size: 10px;
	font-weight: bold;
	white-space: nowrap;
}
.org-info-js_search-highlight {
	background-color: #ffff00;
	color: #000000;
	font-weight: bold;
}

#text-table-of-contents ul { margin-bottom: 1em; }
#text-table-of-contents ul li { text-transform: uppercase; }
#text-table-of-contents ul li ul { margin-left: 1em; }
#text-table-of-contents ul li ul li { text-transform: lowercase; }

.header {
	margin-bottom: 1em;
	font-weight: bolder;
}

#archive {
	margin: 1em 4em 0 4em;
	border-top: .1em solid rgb(50, 50, 50);
	padding-top: .5em;
	text-align: center;
	text-transform: uppercase;
	font-family: Fira, Helvetica, Arial, sans-serif;
	font-weight: bolder;
}

h2.post-title {
	border-bottom: .1em solid rgb(50, 50, 50);
	padding-bottom: 1em;
	padding-left: 1em;
}

.post-date { margin-top: 1em; }

p.verse { margin-left: 3%; }

pre.src {
	position: relative;
	overflow: auto;
}
pre.src:before {
	display: none;
	font-weight: bolder;
	position: absolute;
	overflow: visible;
	background-color: white;
	top: 0;
	right: 0;
	padding: 3px;
	border: 1px solid black;
}
pre.src:hover:before { display: none; }
pre.src-nix:before  { content: "Nix";	}
pre.src-asymptote:before { content: "Asymptote"; }
pre.src-awk:before { content: "Awk"; }
pre.src-C:before { content: "C"; }
pre.src-clojure:before { content: "Clojure"; }
pre.src-css:before { content: "CSS"; }
pre.src-D:before { content: "D"; }
pre.src-ditaa:before { content: "ditaa"; }
pre.src-dot:before { content: "Graphviz"; }
pre.src-calc:before { content: "Emacs Calc"; }
pre.src-emacs-lisp:before { content: "Emacs Lisp"; }
pre.src-fortran:before { content: "Fortran"; }
pre.src-gnuplot:before { content: "gnuplot"; }
pre.src-haskell:before { content: "Haskell"; }
pre.src-hledger:before { content: "hledger"; }
pre.src-java:before { content: "Java"; }
pre.src-js:before { content: "Javascript"; }
pre.src-latex:before { content: "LaTeX"; }
pre.src-ledger:before { content: "Ledger"; }
pre.src-lisp:before { content: "Lisp"; }
pre.src-lilypond:before { content: "Lilypond"; }
pre.src-lua:before { content: "Lua"; }
pre.src-matlab:before { content: "MATLAB"; }
pre.src-mscgen:before { content: "Mscgen"; }
pre.src-ocaml:before { content: "Objective Caml"; }
pre.src-octave:before { content: "Octave"; }
pre.src-org:before { content: "Org mode"; }
pre.src-oz:before { content: "OZ"; }
pre.src-plantuml:before { content: "Plantuml"; }
pre.src-processing:before { content: "Processing.js"; }
pre.src-python:before { content: "Python"; }
pre.src-R:before { content: "R"; }
pre.src-ruby:before { content: "Ruby"; }
pre.src-sass:before { content: "Sass"; }
pre.src-scheme:before { content: "Scheme"; }
pre.src-screen:before { content: "Gnu Screen"; }
pre.src-sed:before { content: "Sed"; }
pre.src-sh:before { content: "shell"; }
pre.src-sql:before { content: "SQL"; }
pre.src-sqlite:before { content: "SQLite"; }
pre.src-forth:before { content: "Forth"; }
pre.src-io:before { content: "IO"; }
pre.src-J:before { content: "J"; }
pre.src-makefile:before { content: "Makefile"; }
pre.src-maxima:before { content: "Maxima"; }
pre.src-perl:before { content: "Perl"; }
pre.src-picolisp:before { content: "Pico Lisp"; }
pre.src-scala:before { content: "Scala"; }
pre.src-shell:before { content: "Shell Script"; }
pre.src-ebnf2ps:before { content: "ebfn2ps"; }
pre.src-cpp:before  { content: "C++"; }
pre.src-abc:before  { content: "ABC"; }
pre.src-coq:before  { content: "Coq"; }
pre.src-groovy:before  { content: "Groovy"; }
pre.src-bash:before  { content: "bash"; }
pre.src-csh:before  { content: "csh"; }
pre.src-ash:before  { content: "ash"; }
pre.src-dash:before  { content: "dash"; }
pre.src-ksh:before  { content: "ksh"; }
pre.src-mksh:before  { content: "mksh"; }
pre.src-posh:before  { content: "posh"; }
pre.src-ada:before { content: "Ada"; }
pre.src-asm:before { content: "Assembler"; }
pre.src-caml:before { content: "Caml"; }
pre.src-delphi:before { content: "Delphi"; }
pre.src-html:before { content: "HTML"; }
pre.src-idl:before { content: "IDL"; }
pre.src-mercury:before { content: "Mercury"; }
pre.src-metapost:before { content: "MetaPost"; }
pre.src-modula-2:before { content: "Modula-2"; }
pre.src-pascal:before { content: "Pascal"; }
pre.src-ps:before { content: "PostScript"; }
pre.src-prolog:before { content: "Prolog"; }
pre.src-simula:before { content: "Simula"; }
pre.src-tcl:before { content: "tcl"; }
pre.src-tex:before { content: "TeX"; }
pre.src-plain-tex:before { content: "Plain TeX"; }
pre.src-verilog:before { content: "Verilog"; }
pre.src-vhdl:before { content: "VHDL"; }
pre.src-xml:before { content: "XML"; }
pre.src-nxml:before { content: "XML"; }
pre.src-conf:before { content: "Configuration File"; }
pre.src.src-sh span { background-color: inherit; }
pre span.org-builtin {color:#006FE0;font-weight:bold;}
pre span.org-string {color:#008000;}
pre span.org-keyword {color:#0000FF;}
pre span.org-variable-name {color:#BA36A5;}
pre span.org-function-name {color:#006699;}
pre span.org-type {color:#6434A3;}
pre span.org-preprocessor {color:#808080;font-weight:bold;}
pre span.org-constant {color:#D0372D;}
pre span.org-comment-delimiter {color:#8D8D84;}
pre span.org-comment {color:#8D8D84;font-style:italic}
pre span.org-outshine-level-1 {color:#8D8D84;font-style:italic}
pre span.org-outshine-level-2 {color:#8D8D84;font-style:italic}
pre span.org-outshine-level-3 {color:#8D8D84;font-style:italic}
pre span.org-outshine-level-4 {color:#8D8D84;font-style:italic}
pre span.org-outshine-level-5 {color:#8D8D84;font-style:italic}
pre span.org-outshine-level-6 {color:#8D8D84;font-style:italic}
pre span.org-outshine-level-7 {color:#8D8D84;font-style:italic}
pre span.org-outshine-level-8 {color:#8D8D84;font-style:italic}
pre span.org-outshine-level-9 {color:#8D8D84;font-style:italic}
pre span.org-rainbow-delimiters-depth-1 {color:#707183;}
pre span.org-rainbow-delimiters-depth-2 {color:#7388d6;}
pre span.org-rainbow-delimiters-depth-3 {color:#909183;}
pre span.org-rainbow-delimiters-depth-4 {color:#709870;}
pre span.org-rainbow-delimiters-depth-5 {color:#907373;}
pre span.org-rainbow-delimiters-depth-6 {color:#6276ba;}
pre span.org-rainbow-delimiters-depth-7 {color:#858580;}
pre span.org-rainbow-delimiters-depth-8 {color:#80a880;}
pre span.org-rainbow-delimiters-depth-9 {color:#887070;}
pre span.org-sh-quoted-exec {color:#FF1493;}
pre span.org-org-block-begin-line {color:#909183;}
pre span.org-org-meta-line {color:#909183;}
pre span.org-org-document-info-keyword {color:#BA36A5;}
pre span.org-org-document-title {color:#0000FF;}
pre span.org-org-document-info {color:#0000FF;}
pre span.org-nix-builtin {color:#006FE0;font-weight:bold;}
pre span.org-nix-string {color:#008000;}
pre span.org-nix-keyword {color:#0000FF;}
pre span.org-nix-variable-name {color:#BA36A5;}
pre span.org-nix-function-name {color:#006699;}
pre span.org-nix-type {color:#6434A3;}
pre span.org-nix-preprocessor {color:#808080;font-weight:bold;}
pre span.org-nix-constant {color:#D0372D;}
pre span.org-nix-comment-delimiter {color:#8D8D84;}
pre span.org-nix-comment {color:#8D8D84;font-style:italic}

caption.t-above { caption-side: top; }
caption.t-bottom { caption-side: bottom; }

th.right { text-align: center;	}
th.left { text-align: center;	}
th.center { text-align: center; }
td.right { text-align: right;	}
td.left	{ text-align: left;	}
td.center { text-align: center; }

.equation-container {
  display: table;
  text-align: center;
  width: 100%;
}
.equation {
  vertical-align: middle;
}
.equation-label {
  display: table-cell;
  text-align: right;
  vertical-align: middle;
}

/* Local Variables: */
/* indent-tabs-mode: t */
/* End: */