/** Reset some basic elements */
body, h1, h2, h3, h4, h5, h6, p, blockquote, pre, hr, dl, dd, ol, ul, figure { margin: 0; padding: 0; }

/** Basic styling */
body { font: 400 16px/1.5 "Helvetica Neue", Helvetica, Arial, sans-serif; color: #111; background-color: #fdfdfd; -webkit-text-size-adjust: 100%; -webkit-font-feature-settings: "kern" 1; -moz-font-feature-settings: "kern" 1; -o-font-feature-settings: "kern" 1; font-feature-settings: "kern" 1; font-kerning: normal; }

/** Set `margin-bottom` to maintain vertical rhythm */
h1, h2, h3, h4, h5, h6, p, blockquote, pre, ul, ol, dl, figure, .highlight { margin-bottom: 15px; }

/** Images */
img { max-width: 100%; vertical-align: middle; }

/** Figures */
figure > img { display: block; }

figcaption { font-size: 14px; }

/** Lists */
ul, ol { margin-left: 30px; }

li > ul, li > ol { margin-bottom: 0; }

/** Headings */
h1, h2, h3, h4, h5, h6 { font-weight: 400; }

/** Links */
a { color: #2a7ae2; text-decoration: none; }

a:visited { color: #1756a9; }

a:hover { color: #111; text-decoration: underline; }

/** Blockquotes */
blockquote { color: #828282; border-left: 4px solid #e8e8e8; padding-left: 15px; font-size: 18px; letter-spacing: -1px; font-style: italic; }

blockquote > :last-child { margin-bottom: 0; }

/** Code formatting */
pre, code { font-size: 15px; border: 1px solid #e8e8e8; border-radius: 3px; background-color: #eef; }

code { padding: 1px 5px; }

pre { padding: 8px 12px; overflow-x: auto; }

pre > code { border: 0; padding-right: 0; padding-left: 0; }

/** Wrapper */
.wrapper { max-width: -webkit-calc(900px - (30px * 2)); max-width: calc(900px - (30px * 2)); margin-right: auto; margin-left: auto; padding-right: 30px; padding-left: 30px; }

@media screen and (max-width: 800px) { .wrapper { max-width: -webkit-calc(900px - (30px)); max-width: calc(900px - (30px)); padding-right: 15px; padding-left: 15px; } }

/** Clearfix */
.footer-col-wrapper:after, .wrapper:after { content: ""; display: table; clear: both; }

/** Icons */
.icon > svg { display: inline-block; width: 16px; height: 16px; vertical-align: middle; }

.icon > svg path { fill: #828282; }

/** Site header */
.site-header { border-top: 5px solid #424242; border-bottom: 1px solid #e8e8e8; min-height: 56px; position: relative; }

.site-title { font-size: 26px; font-weight: 300; line-height: 56px; letter-spacing: -1px; margin-bottom: 0; float: left; }

.site-title, .site-title:visited { color: #424242; }

.site-nav { float: right; line-height: 56px; }

.site-nav .menu-icon { display: none; }

.site-nav .page-link { color: #111; line-height: 1.5; }

.site-nav .page-link:not(:last-child) { margin-right: 20px; }

@media screen and (max-width: 600px) { .site-nav { position: absolute; top: 9px; right: 15px; background-color: #fdfdfd; border: 1px solid #e8e8e8; border-radius: 5px; text-align: right; } .site-nav .menu-icon { display: block; float: right; width: 36px; height: 26px; line-height: 0; padding-top: 10px; text-align: center; } .site-nav .menu-icon > svg { width: 18px; height: 15px; } .site-nav .menu-icon > svg path { fill: #424242; } .site-nav .trigger { clear: both; display: none; } .site-nav:hover .trigger { display: block; padding-bottom: 5px; } .site-nav .page-link { display: block; padding: 5px 10px; margin-left: 20px; } .site-nav .page-link:not(:last-child) { margin-right: 0; } }

/** Site footer */
.site-footer { border-top: 1px solid #e8e8e8; padding: 30px 0; }

.footer-heading { font-size: 18px; margin-bottom: 15px; }

.contact-list, .social-media-list { list-style: none; margin-left: 0; }

.footer-col-wrapper { font-size: 15px; color: #828282; margin-left: -15px; }

.footer-col { float: left; margin-bottom: 15px; padding-left: 15px; }

.footer-col-1 { width: -webkit-calc(35% - (30px / 2)); width: calc(35% - (30px / 2)); }

.footer-col-2 { width: -webkit-calc(20% - (30px / 2)); width: calc(20% - (30px / 2)); }

.footer-col-3 { width: -webkit-calc(45% - (30px / 2)); width: calc(45% - (30px / 2)); }

@media screen and (max-width: 800px) { .footer-col-1, .footer-col-2 { width: -webkit-calc(50% - (30px / 2)); width: calc(50% - (30px / 2)); } .footer-col-3 { width: -webkit-calc(100% - (30px / 2)); width: calc(100% - (30px / 2)); } }

@media screen and (max-width: 600px) { .footer-col { float: none; width: -webkit-calc(100% - (30px / 2)); width: calc(100% - (30px / 2)); } }

/** Page content */
.page-content { padding: 30px 0; }

.page-heading { font-size: 20px; }

.post-list { margin-left: 0; list-style: none; }

.post-list > li { margin-bottom: 30px; }

.post-meta { font-size: 14px; color: #828282; }

.post-link { display: block; font-size: 24px; }

/** Posts */
.post-header { margin-bottom: 30px; }

.post-title { font-size: 42px; letter-spacing: -1px; line-height: 1; }

@media screen and (max-width: 800px) { .post-title { font-size: 36px; } }

.post-content { margin-bottom: 30px; }

.post-content h2 { font-size: 32px; }

@media screen and (max-width: 800px) { .post-content h2 { font-size: 28px; } }

.post-content h3 { font-size: 26px; }

@media screen and (max-width: 800px) { .post-content h3 { font-size: 22px; } }

.post-content h4 { font-size: 20px; }

@media screen and (max-width: 800px) { .post-content h4 { font-size: 18px; } }

/** Syntax highlighting styles */
.highlight { background: #fff; }

.highlighter-rouge .highlight { background: #eef; }

.highlight .c { color: #998; font-style: italic; }

.highlight .err { color: #a61717; background-color: #e3d2d2; }

.highlight .k { font-weight: bold; }

.highlight .o { font-weight: bold; }

.highlight .cm { color: #998; font-style: italic; }

.highlight .cp { color: #999; font-weight: bold; }

.highlight .c1 { color: #998; font-style: italic; }

.highlight .cs { color: #999; font-weight: bold; font-style: italic; }

.highlight .gd { color: #000; background-color: #fdd; }

.highlight .gd .x { color: #000; background-color: #faa; }

.highlight .ge { font-style: italic; }

.highlight .gr { color: #a00; }

.highlight .gh { color: #999; }

.highlight .gi { color: #000; background-color: #dfd; }

.highlight .gi .x { color: #000; background-color: #afa; }

.highlight .go { color: #888; }

.highlight .gp { color: #555; }

.highlight .gs { font-weight: bold; }

.highlight .gu { color: #aaa; }

.highlight .gt { color: #a00; }

.highlight .kc { font-weight: bold; }

.highlight .kd { font-weight: bold; }

.highlight .kp { font-weight: bold; }

.highlight .kr { font-weight: bold; }

.highlight .kt { color: #458; font-weight: bold; }

.highlight .m { color: #099; }

.highlight .s { color: #d14; }

.highlight .na { color: #008080; }

.highlight .nb { color: #0086B3; }

.highlight .nc { color: #458; font-weight: bold; }

.highlight .no { color: #008080; }

.highlight .ni { color: #800080; }

.highlight .ne { color: #900; font-weight: bold; }

.highlight .nf { color: #900; font-weight: bold; }

.highlight .nn { color: #555; }

.highlight .nt { color: #000080; }

.highlight .nv { color: #008080; }

.highlight .ow { font-weight: bold; }

.highlight .w { color: #bbb; }

.highlight .mf { color: #099; }

.highlight .mh { color: #099; }

.highlight .mi { color: #099; }

.highlight .mo { color: #099; }

.highlight .sb { color: #d14; }

.highlight .sc { color: #d14; }

.highlight .sd { color: #d14; }

.highlight .s2 { color: #d14; }

.highlight .se { color: #d14; }

.highlight .sh { color: #d14; }

.highlight .si { color: #d14; }

.highlight .sx { color: #d14; }

.highlight .sr { color: #009926; }

.highlight .s1 { color: #d14; }

.highlight .ss { color: #990073; }

.highlight .bp { color: #999; }

.highlight .vc { color: #008080; }

.highlight .vg { color: #008080; }

.highlight .vi { color: #008080; }

.highlight .il { color: #099; }

/*! normalize.css v3.0.1 | MIT License | git.io/normalize */
/** 1. Set default font family to sans-serif. 2. Prevent iOS text size adjust after orientation change, without disabling user zoom. */
html { font-family: sans-serif; /* 1 */ -ms-text-size-adjust: 100%; /* 2 */ -webkit-text-size-adjust: 100%; /* 2 */ }

/** Remove default margin. */
body { margin: 0; }

/* HTML5 display definitions ========================================================================== */
/** Correct `block` display not defined for any HTML5 element in IE 8/9. Correct `block` display not defined for `details` or `summary` in IE 10/11 and Firefox. - but setting it would remove the traingle before the summary, so don't actually set it. Correct `block` display not defined for `main` in IE 11. */
article, aside, figcaption, figure, footer, header, hgroup, main, nav, section { display: block; }

/** 1. Correct `inline-block` display not defined in IE 8/9. 2. Normalize vertical alignment of `progress` in Chrome, Firefox, and Opera. */
audio, canvas, progress, video { display: inline-block; /* 1 */ vertical-align: baseline; /* 2 */ }

/** Prevent modern browsers from displaying `audio` without controls. Remove excess height in iOS 5 devices. */
audio:not([controls]) { display: none; height: 0; }

/** Address `[hidden]` styling not present in IE 8/9/10. Hide the `template` element in IE 8/9/11, Safari, and Firefox < 22. */
[hidden], template { display: none; }

/* Links ========================================================================== */
/** Remove the gray background color from active links in IE 10. */
a { background: transparent; }

/** Improve readability when focused and also mouse hovered in all browsers. */
a:active, a:hover { outline: 0; }

/* Text-level semantics ========================================================================== */
/** Address styling not present in IE 8/9/10/11, Safari, and Chrome. */
abbr[title] { border-bottom: 1px dotted; }

/** Address style set to `bolder` in Firefox 4+, Safari, and Chrome. */
b, strong { font-weight: bold; }

/** Address styling not present in Safari and Chrome. */
dfn { font-style: italic; }

/** Address variable `h1` font-size and margin within `section` and `article` contexts in Firefox 4+, Safari, and Chrome. */
h1 { font-size: 2em; margin: 0.67em 0; }

/** Address styling not present in IE 8/9. */
mark { background: #ff0; color: #000; }

/** Address inconsistent and variable font size in all browsers. */
small { font-size: 80%; }

/** Prevent `sub` and `sup` affecting `line-height` in all browsers. */
sub, sup { font-size: 75%; line-height: 0; position: relative; vertical-align: baseline; }

sup { top: -0.5em; }

sub { bottom: -0.25em; }

/* Embedded content ========================================================================== */
/** Remove border when inside `a` element in IE 8/9/10. */
img { border: 0; }

/** Correct overflow not hidden in IE 9/10/11. */
svg:not(:root) { overflow: hidden; }

/* Grouping content ========================================================================== */
/** Address margin not present in IE 8/9 and Safari. */
figure { margin: 1em 40px; }

/** Address differences between Firefox and other browsers. */
hr { -moz-box-sizing: content-box; box-sizing: content-box; height: 0; }

/** Contain overflow in all browsers. */
pre { overflow: auto; }

/** Address odd `em`-unit font size rendering in all browsers. */
code, kbd, pre, samp { font-family: monospace, monospace; font-size: 1em; }

/* Forms ========================================================================== */
/** Known limitation: by default, Chrome and Safari on OS X allow very limited styling of `select`, unless a `border` property is set. */
/** 1. Correct color not being inherited. Known issue: affects color of disabled elements. 2. Correct font properties not being inherited. 3. Address margins set differently in Firefox 4+, Safari, and Chrome. */
button, input, optgroup, select, textarea { color: inherit; /* 1 */ font: inherit; /* 2 */ margin: 0; /* 3 */ }

/** Address `overflow` set to `hidden` in IE 8/9/10/11. */
button { overflow: visible; }

/** Address inconsistent `text-transform` inheritance for `button` and `select`. All other form control elements do not inherit `text-transform` values. Correct `button` style inheritance in Firefox, IE 8/9/10/11, and Opera. Correct `select` style inheritance in Firefox. */
button, select { text-transform: none; }

/** 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio` and `video` controls. 2. Correct inability to style clickable `input` types in iOS. 3. Improve usability and consistency of cursor style between image-type `input` and others. */
button, html input[type="button"], input[type="reset"], input[type="submit"] { -webkit-appearance: button; /* 2 */ cursor: pointer; /* 3 */ }

/** Re-set default cursor for disabled elements. */
button[disabled], html input[disabled] { cursor: default; }

/** Remove inner padding and border in Firefox 4+. */
button::-moz-focus-inner, input::-moz-focus-inner { border: 0; padding: 0; }

/** Address Firefox 4+ setting `line-height` on `input` using `!important` in the UA stylesheet. */
input { line-height: normal; }

/** It's recommended that you don't attempt to style these elements. Firefox's implementation doesn't respect box-sizing, padding, or width. 1. Address box sizing set to `content-box` in IE 8/9/10. 2. Remove excess padding in IE 8/9/10. */
input[type="checkbox"], input[type="radio"] { box-sizing: border-box; /* 1 */ padding: 0; /* 2 */ }

/** Fix the cursor style for Chrome's increment/decrement buttons. For certain `font-size` values of the `input`, it causes the cursor style of the decrement button to change from `default` to `text`. */
input[type="number"]::-webkit-inner-spin-button, input[type="number"]::-webkit-outer-spin-button { height: auto; }

/** 1. Address `appearance` set to `searchfield` in Safari and Chrome. 2. Address `box-sizing` set to `border-box` in Safari and Chrome (include `-moz` to future-proof). */
input[type="search"] { -webkit-appearance: textfield; /* 1 */ -moz-box-sizing: content-box; -webkit-box-sizing: content-box; /* 2 */ box-sizing: content-box; }

/** Remove inner padding and search cancel button in Safari and Chrome on OS X. Safari (but not Chrome) clips the cancel button when the search input has padding (and `textfield` appearance). */
input[type="search"]::-webkit-search-cancel-button, input[type="search"]::-webkit-search-decoration { -webkit-appearance: none; }

/** Define consistent border, margin, and padding. */
fieldset { border: 1px solid #c0c0c0; margin: 0 2px; padding: 0.35em 0.625em 0.75em; }

/** 1. Correct `color` not being inherited in IE 8/9/10/11. 2. Remove padding so people aren't caught out if they zero out fieldsets. */
legend { border: 0; /* 1 */ padding: 0; /* 2 */ }

/** Remove default vertical scrollbar in IE 8/9/10/11. */
textarea { overflow: auto; }

/** Don't inherit the `font-weight` (applied by a rule above). NOTE: the default cannot safely be changed in Chrome and Safari on OS X. */
optgroup { font-weight: bold; }

/* Tables ========================================================================== */
/** Remove most spacing between table cells. */
table { border-collapse: collapse; border-spacing: 10px; }

td, th { padding: 7px; }

* { box-sizing: border-box; }

.contributions-box-list { border: 0px; padding: 0px; margin: 0px; margin-top: 20px; margin-bottom: 20px; border-radius: 10px; box-shadow: 3px 3px 15px 0px; display: flex; flex-direction: column; }

.contributions-box { padding-left: 10px; padding-top: 5px; padding-right: 10px; padding-bottom: 0px; margin: 0px; border: 0px; }

.contributions-box-header-line { font-size: small; display: flex; flex-direction: row; }

.contributions-box-date { flex-grow: 1; text-align: right; }

.contributions-box-project-name { font-weight: bold; font-size: x-large; }

.contributions-box-project-comment { font-size: large; }

.contributions-box-contribution-title-box { padding-left: 15px; padding-right: 15px; padding-top: 0px; padding-bottom: 0px; }

.contributions-box-contribution-title-title { font-weight: bold; padding-bottom: 5px; font-size: x-large; }

.contributions-box-description { padding-left: 15px; padding-right: 15px; padding-top: 0px; padding-bottom: 0px; }

.contributions-box-description-summary { font-weight: bold; padding-bottom: 5px; }

.contributions-box-description-title-only { font-weight: bold; padding-bottom: 5px; }

.contributions-box-description-details { font-size: small; border-radius: 10px; padding-left: 5px; padding-right: 5px; padding-top: 0px; padding-bottom: 0px; }

.contributions-box-status-line { /*  display: flex; flex-direction: row; */ }

.contributions-box-status-line-status { padding-left: 10px; width: 60px; float: left; }

.contributions-box-status-line-status-title { padding-left: 5px; width: 50%; float: left; }

.contributions-box-status-line-status-description { font-size: small; }

.contributions-box-status-line-language { text-align: right; padding-right: 10px; width: 35%; float: right; }

.contributions-box-logo-and-links-line { display: flex; flex-direction: row; padding-left: 7px; padding-right: 7px; padding-top: 0px; padding-bottom: 7px; }

.contributions-box-logo-image-container { width: 75px; height: 70px; align-self: center; margin-top: 5px; }

.contributions-box-logo-image { height: 70px; max-width: 70px; }

.contributions-box-link-container { padding-left: 10px; padding-right: 10px; padding-top: 3px; padding-bottom: 0px; flex-grow: 1; align-self: center; }

@media only screen and (max-width: 500px) { .contributions-box-status-line-status-title { width: 80%; } .contributions-box-status-line-language { text-align: left; padding-left: 10px; width: 100%; float: left; } }

@media only screen and (max-width: 400px) { .contributions-box-logo-image-container { display: none; visibility: hidden; } .contributions-box-status-line-status-title { width: 100%; padding-left: 10px; } .contributions-box-status-line-status { display: none; visibility: hidden; } .contributions-box-status-line-status-title::before { content: "Status: "; } }

/*====================================================================== Core CSS for LaTeXML documents converted to (X)HTML */
/* Generic Page layout */
.ltx_page_header, .ltx_page_footer { font-size: 0.8em; }

.ltx_page_header *[rel~="prev"], .ltx_page_footer *[rel~="prev"] { float: left; }

.ltx_page_header *[rel~="up"], .ltx_page_footer *[rel~="up"] { display: block; text-align: center; }

.ltx_page_header *[rel~="next"], .ltx_page_footer *[rel~="next"] { float: right; }

/* What was I trying for here; need more selective rule! .ltx_page_header .ltx_ref, .ltx_page_footer .ltx_ref { margin:0 1em; } */
.ltx_page_header li { padding: 0.1em 0.2em 0.1em 1em; }

/* Main content */
.ltx_page_content { clear: both; }

.ltx_page_header { border-bottom: 1px solid; margin-bottom: 5px; }

.ltx_page_footer { clear: both; border-top: 1px solid; margin-top: 5px; }

.ltx_page_header:after, .ltx_page_footer:after, .ltx_page_content:after { content: "."; display: block; height: 0; clear: both; visibility: hidden; }

.ltx_page_footer:before { content: "."; display: block; height: 0; clear: both; visibility: hidden; }

.ltx_page_logo { font-size: 80%; margin-top: 5px; clear: both; float: right; }

.ltx_page_logo a { font-variant: small-caps; }

.ltx_page_logo img { vertical-align: -3px; }

/* if shown */
.ltx_page_navbar li { white-space: nowrap; display: block; overflow: hidden; }

/* If ref got turned into span, it's "this section"*/
.ltx_page_navbar li span.ltx_ref { white-space: normal; overflow: visible; }

/* Ought to be easily removable/overridable? */
.ltx_pagination.ltx_role_newpage { height: 2em; }

/*====================================================================== Document Structure; Titles & Frontmatter */
/* undo bold here to remove the browser's native h# styling, at let all other styles override it (with more specific rules)*/
.ltx_title { font-size: 100%; font-weight: normal; }

/* Hack to simulate run-in! put class="ltx_runin" on a title or tag for it to run-into the following text. */
.ltx_runin { display: inline; }

.ltx_runin:after { content: " "; }

.ltx_runin + .ltx_para, .ltx_runin + .ltx_para p, .ltx_runin + p { display: inline; }

.ltx_outdent { margin-left: -2em; }

/* .ltx_chapter_title, etc should be in ltx-article.css etc. */
.ltx_page_main { margin: 0px; padding: 1em 3em 1em 2em; }

.ltx_tocentry { list-style-type: none; }

/* support for common author block layouts.*/
/* add class ltx_authors_1line to get authors in single line with pop-up affiliation, etc. */
.ltx_authors_1line .ltx_creator, .ltx_authors_1line .ltx_author_before, .ltx_authors_1line .ltx_author_after { display: inline; }

.ltx_authors_1line .ltx_author_notes { display: inline-block; }

.ltx_authors_1line .ltx_author_notes:before { content: "*"; color: blue; }

.ltx_authors_1line .ltx_author_notes span { display: none; }

.ltx_authors_1line .ltx_author_notes:hover span { display: block; position: absolute; z-index: 10; background: white; text-align: left; border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; }

/* add class=ltx_authors_multiline to get authors & affliations on separate lines*/
.ltx_authors_multiline .ltx_creator, .ltx_authors_multiline .ltx_author_before, .ltx_authors_multiline .ltx_author_after, .ltx_authors_multiline .ltx_author_notes, .ltx_authors_multiline .ltx_author_notes .ltx_contact { display: block; }

/*====================================================================== Para level */
.ltx_float { margin: 1ex 3em 1ex 3em; }

td.ltx_subfigure, td.ltx_subtable, td.ltx_subfloat { width: 50%; }

/* theorems, figure, tables, floats captions.. */
/*====================================================================== Blocks, Lists, Floats */
.ltx_p, .ltx_quote, .ltx_block, .ltx_para { display: block; }

/* alignment within blocks */
.ltx_align_left { text-align: left; }

.ltx_align_right { text-align: right; }

.ltx_align_center { text-align: center; }

.ltx_align_justify { text-align: justify; }

.ltx_align_top { vertical-align: top; }

.ltx_align_bottom { vertical-align: bottom; }

.ltx_align_middle { vertical-align: middle; }

.ltx_align_baseline { vertical-align: baseline; }

.ltx_align_floatleft { float: left; }

.ltx_align_floatright { float: right; }

.ltx_td.ltx_align_left, .ltx_th.ltx_align_left, .ltx_td.ltx_align_right, .ltx_th.ltx_align_right, .ltx_td.ltx_align_center, .ltx_th.ltx_align_center { white-space: nowrap; }

.ltx_td.ltx_align_left.ltx_wrap, .ltx_th.ltx_align_left.ltx_wrap, .ltx_td.ltx_align_right.ltx_wrap, .ltx_th.ltx_align_right.ltx_wrap, .ltx_td.ltx_align_center.ltx_wrap, .ltx_th.ltx_align_center.ltx_wrap, .ltx_td.ltx_align_justify, .ltx_th.ltx_align_justify { white-space: normal; }

.ltx_tabular .ltx_tabular { width: 100%; }

.ltx_inline-block { display: inline-block; }

/* avoid padding when aligning adjacent columns, e.g. for split decimals */
.ltx_norightpad { padding-right: 0 !important; }

.ltx_noleftpad { padding-left: 0 !important; }

/* equations in non-aligned mode (not normally used) */
.ltx_eqn_div { display: block; width: 95%; text-align: center; }

/* equations in aligned mode (aligning tags, etc as well as equations) */
.ltx_eqn_table { display: table; width: 100%; border-collapse: collapse; }

.ltx_eqn_row { display: table-row; }

.ltx_eqn_cell { display: table-cell; width: auto; }

/* Padding between column pairs in ams align */
table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + td.ltx_align_right, table.ltx_eqn_align tr.ltx_equation td.ltx_align_left + td.ltx_align_center, table.ltx_eqn_align tr.ltx_equation td.ltx_align_center + td.ltx_align_right, table.ltx_eqn_align tr.ltx_equation td.ltx_align_center + td.ltx_align_center { padding-left: 3em; }

table.ltx_eqn_eqnarray tr.ltx_eqn_lefteqn + tr td.ltx_align_right { min-width: 2em; }

.ltx_eqn_eqno { max-width: 0em; overflow: visible; white-space: nowrap; }

.ltx_eqn_eqno.ltx_align_right .ltx_tag { float: right; }

.ltx_eqn_center_padleft, .ltx_eqn_center_padright { width: 50%; min-width: 2em; }

.ltx_eqn_left_padleft, .ltx_eqn_right_padright { min-width: 2em; }

.ltx_eqn_left_padright, .ltx_eqn_right_padleft { width: 100%; }

/* Various lists */
.ltx_itemize, .ltx_enumerate, .ltx_description { display: block; }

.ltx_itemize .ltx_item, .ltx_enumerate .ltx_item { display: list-item; }

/* Position the tag to look like a normal item bullet. */
li.ltx_item > .ltx_tag { display: inline-block; margin-left: -1.5em; min-width: 1.5em; text-align: right; }

.ltx_item .ltx_tag + .ltx_para, .ltx_item .ltx_tag + .ltx_para .ltx_p { display: inline; }

/* NOTE: Need to try harder to get runin appearance? */
dl.ltx_description dt { margin-right: 0.5em; float: left; font-weight: bold; font-size: 95%; }

dl.ltx_description dd { margin-left: 5em; }

dl.ltx_description dl.ltx_description dd { margin-left: 3em; }

/* Theorems */
.ltx_theorem { margin: 1em 0em 1em 0em; }

.ltx_title_theorem { font-size: 100%; }

/* Bibliographies */
.ltx_bibliography dt { margin-right: 0.5em; float: left; }

.ltx_bibliography dd { margin-left: 3em; }

/*.ltx_biblist { list-style-type:none; }*/
.ltx_bibitem { list-style-type: none; }

.ltx_bibitem .ltx_tag { font-weight: bold; margin-left: -2em; width: 3em; }

/*.bibitem-tag + div { display:inline; }*/
.ltx_bib_title { font-style: italic; }

.ltx_bib_article .bib-title { font-style: normal !important; }

.ltx_bib_journal { font-style: italic; }

.ltx_bib_volume { font-weight: bold; }

/* Indices */
.ltx_indexlist li { list-style-type: none; }

.ltx_indexlist { margin-left: 1em; padding-left: 1em; }

/* Listings */
.ltx_listing { display: block; margin: 1ex 3em 1ex 0em; overflow-x: auto; text-align: left; }

.ltx_float .ltx_listing { margin: 0; }

.ltx_listingline { white-space: nowrap; min-height: 1em; }

.ltx_lst_numbers_left .ltx_listingline .ltx_tag { background-color: transparent; margin-left: -3em; width: 2.5em; position: absolute; text-align: right; }

.ltx_lst_numbers_right .ltx_listingline .ltx_tag { background-color: transparent; width: 2.5em; position: absolute; right: 3em; text-align: right; }

/* position:absolute; left:0em; max-width:0em; text-align:right; } */
.ltx_parbox { text-indent: 0em; }

/* NOTE that it is CRITICAL to put position:relative outside & absolute inside!! I wish I understood why! Outer box establishes resulting size, neutralizes any outer positioning, etc; inner establishes position of stuff to be rotated */
.ltx_transformed_outer { position: relative; bottom: 0pt; left: 0pt; overflow: visible; }

.ltx_transformed_inner { display: block; position: absolute; bottom: 0pt; left: 0pt; }

.ltx_transformed_inner > .ltx_p { text-indent: 0em; margin: 0; padding: 0; }

/* If simulating a table (html5), try to get rowspan to work...sorta? */
span.ltx_rowspan { position: absolute; top: 0; bottom: 0; }

/* by default, p doesn't indent */
.ltx_p { text-indent: 0em; white-space: normal; }

/* explicit control of indentation (on ltx_para) */
.ltx_indent > .ltx_p:first-child { text-indent: 2em !important; }

.ltx_noindent > .ltx_p:first-child { text-indent: 0em !important; }

/*====================================================================== Columns */
.ltx_page_column1 { width: 44%; float: left; }

/* IE uses % of wrong container*/
.ltx_page_column2 { width: 44%; float: right; }

.ltx_page_columns > .ltx_page_column1 { width: 48%; float: left; }

.ltx_page_columns > .ltx_page_column2 { width: 48%; float: right; }

.ltx_page_columns:after { content: "."; display: block; height: 0; clear: both; visibility: hidden; }

/*====================================================================== Borders and such */
.ltx_tabular { display: inline-table; border-collapse: collapse; }

.ltx_tabular.ltx_centering { display: table; }

.ltx_thead, .ltx_tfoot, .ltx_tbody { display: table-row-group; }

.ltx_tr { display: table-row; }

.ltx_td, .ltx_th { display: table-cell; }

.ltx_framed { border: 1px solid black; }

.ltx_tabular .ltx_td, .ltx_tabular .ltx_th { padding: 0.1em 0.5em; }

/* regular lines */
.ltx_border_t { border-top: 1px solid black; }

.ltx_border_r { border-right: 1px solid black; }

.ltx_border_b { border-bottom: 1px solid black; }

.ltx_border_l { border-left: 1px solid black; }

/* double lines */
.ltx_border_tt { border-top: 3px double black; }

.ltx_border_rr { border-right: 3px double black; }

.ltx_border_bb { border-bottom: 3px double black; }

.ltx_border_ll { border-left: 3px double black; }

/* Light lines */
.ltx_border_T { border-top: 1px solid gray; }

.ltx_border_R { border-right: 1px solid gray; }

.ltx_border_B { border-bottom: 1px solid gray; }

.ltx_border_L { border-left: 1px solid gray; }

/* Framing */
.ltx_framed_rectangle { border-style: solid; border-width: 1px; }

.ltx_framed_top { border-top-style: solid; border-top-width: 1px; }

.ltx_framed_left { border-left-style: solid; border-left-width: 1px; }

.ltx_framed_right { border-right-style: solid; border-right-width: 1px; }

.ltx_framed_bottom, .ltx_framed_underline { border-bottom-style: solid; border-bottom-width: 1px; }

.ltx_framed_topbottom { border-top-style: solid; border-top-width: 1px; border-bottom-style: solid; border-bottom-width: 1px; }

.ltx_framed_leftright { border-left-style: solid; border-left-width: 1px; border-right-style: solid; border-right-width: 1px; }

/*====================================================================== Misc */
/* .ltx_verbatim*/
.ltx_verbatim { text-align: left; }

/*====================================================================== Meta stuff, footnotes */
.ltx_note_content { display: none; }

/*right:5%;  */
.ltx_note_content { max-width: 70%; font-size: 90%; left: 15%; text-align: left; background-color: white; padding: 0.5em 1em 0.5em 1.5em; border: 1px solid black; border-radius: 0 5px 5px 5px; box-shadow: 5px 5px 10px gray; }

.ltx_note_mark { color: blue; }

.ltx_note_type { font-weight: bold; }

.ltx_note { display: inline-block; text-indent: 0; }

/* So we establish containing block */
.ltx_note_content .ltx_note_mark { position: absolute; left: 0.2em; top: -0.1em; }

.ltx_note:hover .ltx_note_content, .ltx_note .ltx_note_content:hover { display: block; position: absolute; z-index: 10; }

.ltx_ERROR { color: red; }

.ltx_rdf { display: none; }

.ltx_missing { color: red; }

.ltx_nounicode { color: red; }

/*====================================================================== SVG (pgf/tikz ?) basics */
/* Stuff appearing in svg:foreignObject */
.ltx_svg_fog foreignObject { margin: 0; padding: 0; overflow: visible; }

.ltx_svg_fog foreignObject > p { margin: 0; padding: 0; display: block; }

/*.ltx_svg_fog foreignObject > p { margin:0; padding:0; display:block; white-space:nowrap; }*/
/*====================================================================== Low-level Basics */
/* Note that LaTeX(ML)'s font model doesn't map quite exactly to CSS's */
/* Font Families => font-family */
.ltx_font_serif { font-family: serif; }

.ltx_font_sansserif { font-family: sans-serif; }

.ltx_font_typewriter { font-family: monospace; }

/* dingbats should be converted to unicode? */
/* Math font families handled within math: script, symbol, fraktur, blackboard ? */
/* Font Series => font-weight */
.ltx_font_bold { font-weight: bold; }

.ltx_font_medium { font-weight: normal; }

/* Font Shapes => font-style or font-variant */
.ltx_font_italic { font-style: italic; font-variant: normal; }

.ltx_font_upright { font-style: normal; font-variant: normal; }

.ltx_font_slanted { font-style: oblique; font-variant: normal; }

.ltx_font_smallcaps { font-variant: small-caps; font-style: normal; }

.ltx_font_oldstyle { font-variant: oldstyle-nums; /* experimental css3 ? Doesn't seem to work!*/ font-style: normal; -moz-font-feature-settings: "onum"; -ms-font-feature-settings: "onum"; -webkit-font-feature-settings: "onum"; font-variant-numeric: oldstyle-nums; }

.ltx_font_mathcaligraphic { font-family: "Lucida Calligraphy", "Zapf Chancery","URW Chancery L"; }

/*

.ltx_font_mathscript { ? }
*/
cite { font-style: normal; }

.ltx_red { color: red; }

/*.ltx_centering  { text-align:center; margin:auto; }*/
/*.ltx_inline-block.ltx_centering,*/
/* Hmm.... is this right in general? */
.ltx_centering { display: block; margin: auto; text-align: center; }

/* Dubious stuff */
.ltx_hflipped { display: inline-block; -moz-transform: scaleX(-1); -o-transform: scaleX(-1); -webkit-transform: scaleX(-1); transform: scaleX(-1); filter: FlipH; -ms-fliter: "FlipH"; }

.ltx_vflipped { display: inline-block; -moz-transform: scaleY(-1); -o-transform: scaleY(-1); -webkit-transform: scaleY(-1); transform: scaleY(-1); filter: FlipV; -ms-fliter: "FlipV"; }

/* .ltx_phantom handled in xslt */
.about-photo { padding-left: 10px; width: 250px; float: right; padding-left: 25px; padding-bottom: 20px; }

@media only screen and (max-width: 500px) { .about-photo { float: unset; width: 100%; padding-left: 0px; padding-right: 0px; } }

/*# sourceMappingURL=main.css.map */