@font-face {
font-family: 'Bw Modelica Medium';
font-style: normal;
font-weight: normal;
src: local('Bw Modelica Medium'), url('BwModelica-Medium.woff') format('woff');
}

@font-face {
font-family: 'Bw Modelica ExtraBold';
font-style: normal;
font-weight: normal;
src: local('Bw Modelica ExtraBold'), url('BwModelica-ExtraBold.woff') format('woff');
}

body {
  background-color: #525659;
  font-family: 'Tinos', serif;
  line-height: 1.5;
  font-size: 1.15em;
  counter-reset: section;
  word-wrap: break-word;
  margin: 0;
}

code {
  font-family: KaTeX_Typewriter;
  font-size: 1.1em;
}

pre code {
  font-family: monospace; /* undoes the smaller-monospace of most browsers */
  padding-left: .25em;
  padding-right: .25em;
}

.topDiv {
  box-shadow: 0px 0px 8px 3px rgba(0,0,0,0.38);
  padding: 2em;
  background: white;
  max-width: 48em;
  margin: 5em auto 3em auto;
}

h1 {
  font-variant: small-caps;
  font-family: 'Bw Modelica ExtraBold';
  text-align: center;
  margin-top: 1em;
}

h2 {
  font-family: 'Bw Modelica Medium';
  border-bottom: 1px solid silver;
  counter-increment: section;
  margin-top: 1.5em;
  margin-bottom: 0.5em;
}

h2:before {
  content: counter(section) ".";
  margin-right: 0.5em;
}

h3 {
  font-family: 'Bw Modelica Medium';
  /*font-size: large;*/
  margin-top: 1em;
  margin-bottom: 0.5em;
}


pre {
  font-family: monospace,monospace;
  font-size: 0.9em;
  border: 1px dotted silver;
  overflow: auto;
  padding: .5em;
  text-align: left;
}

.uniname {
  font-variant: small-caps;
  font-weight: bolder;
  font-size: 1.3em;
}

img {
  border-style: none;
  position: relative;
  bottom: -0.4ex;
}

li {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  /*text-align: justify;*/
  /*font-size: 1.15em;*/
}

ul, ol {
  margin: 0;
}

p {
  margin: 1em 0;
  /*text-align: justify;*/
  /*font-size: 1.15em;*/
}

p:first-child { margin-top: 0; }
p:last-child { margin-bottom: 0; }

dt { font-weight: bold; font-family: 'Bw Modelica Medium'; }
dd { margin-bottom: 1em; /*font-size: 1.15em;*/ }

.subtitle {
  font-family: 'Bw Modelica Medium';
  font-variant: small-caps;
  text-align: center;
  font-size: 1.2em;
}

.date {
  font-variant: small-caps;
  text-align: center;
  font-size: .9em;
  margin-bottom: 4em;
  margin-top: 1.5em;
  text-transform: uppercase;
}


.note, blockquote, dd {
  margin-left: 2.5em;
}

.note { font-style: italic; }
.display { text-align: center; }

.rightFloater {
  /*font-size: 0.9em;*/
  float: right;
  max-width: 50%;
  border: 1px solid silver;
  margin: 0em 0em 0em 1em;
  padding: .5em 1em;
  text-align: center;
  /*font-size: 1.15em;*/
}

/* layout tables */
.layoutTable {
  border-spacing:0px;
  width:100%;
}

.layoutTable td { padding:0px; }


a:link {
  color: #07A;
  text-decoration: none;
}

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

a:visited { color: #446688; }

h1 > a:link, 
h1 > a:visited, 
h2 > a:link, 
h2 > a:visited, 
h3 > a:link, 
h3 > a:visited, 
.formula-display > a:link, 
.formula-display > a:visited, 
.image-display > a:link, 
.image-display > a:visited {
  color: inherit;
  text-decoration: none;
}

.basicTable {
  border: none;
  margin-top: 0.75em;
  margin-bottom: 0.75em;
  border-collapse: collapse;
}

.basicTable th {
  font-family: 'Bw Modelica Medium';
  border-left: 1px solid black;
  text-align: center;
  padding: 0.25em;
}

.basicTable tr {

}

.basicTable tr:first-child {
  border-top: none;
  border-bottom: 1px solid black;
}

.basicTable td {
  border-left: 1px solid black;
  text-align: center;
  padding: 0.25em;
}

.basicTable th:first-child {
  border-left: none;
}

.basicTable tr:first-child th {
  padding-top: 0.75em;
  padding-bottom: 0.75em;
}

.languageBar {
  background: #313639;
  color: white;
  box-shadow: 0px 1px 5px 0px rgba(0,0,0,0.75);
}

.languageBar a {
  color: white;
}

.nav-container {
  max-width: 52em;
  padding: 0.2em 0.2em;
  margin: 0 auto;
  height: 2em;
}

.languageBar .logo-text {
  font-family: 'Bw Modelica Medium';
  font-size: 1.2em;
  width: 50%;
  float: left;
  line-height: 1.6em;
}

.logo-text .slogan {
  opacity: .5;
}

.icon-links {
  float: left;
  width: 50%;
  text-align: right;
}

.icon-links a:hover {
  text-decoration: none;
}

.icon-links .github {
  color: white;
  max-width: 1.2em;
  fill: white;
  padding: .5em 0em;
}

.icon-links .email {
  color: white;
  max-width: 1.2em;
  fill: white;
  padding: .4em .5em;
}

.formula-display {
  counter-increment: formula;
  text-align: center;
  margin: 2em 0em;
}

.formula-display a {
  font-style: italic;
}

.formula-display a:before {
  content: "Fig " counter(formula) ": ";
  font-weight: bold;
}

.image-display {
  counter-increment: images;
  text-align: center;
}

.image-display img {
  max-width: 100%;
  width: 50%;
  display: block;
  margin: auto;
  margin-bottom: 1em;
}

.image-display a {
  font-style: italic;
}

.image-display a:before {
  content: "Image " counter(images) ": ";
  font-weight: bold;
}

code[class*="language-"],
pre[class*="language-"] {
  color: black;
  background: none;
  text-align: left;
  white-space: pre;
  word-spacing: normal;
  word-break: normal;
  word-wrap: normal;
  line-height: 1.5;

  -moz-tab-size: 4;
  -o-tab-size: 4;
  tab-size: 4;

  -webkit-hyphens: none;
  -moz-hyphens: none;
  -ms-hyphens: none;
  hyphens: none;
}

@media print {
  code[class*="language-"],
  pre[class*="language-"] {
    text-shadow: none;
  }
}

/* Code blocks */
pre[class*="language-"] {
  padding: .5em;
  margin: .5em 0;
  overflow: auto;
}

/* Inline code */
:not(pre) > code[class*="language-"] {
  padding: .1em;
  border-radius: .3em;
  white-space: normal;
}

.token.comment,
.token.prolog,
.token.doctype,
.token.cdata {
  color: slategray;
}

.token.punctuation {
  color: #999;
}

.namespace {
  opacity: .7;
}

.token.property,
.token.tag,
.token.boolean,
.token.number,
.token.constant,
.token.symbol,
.token.deleted {
  color: #905;
}

.token.selector,
.token.attr-name,
.token.string,
.token.char,
.token.builtin,
.token.inserted {
  color: #690;
}

.token.operator,
.token.entity,
.token.url,
.language-css .token.string,
.style .token.string {
  color: #9a6e3a;
  background: hsla(0, 0%, 100%, .5);
}

.token.atrule,
.token.attr-value,
.token.keyword {
  color: #07a;
}

.token.function,
.token.class-name {
  color: #DD4A68;
}

.token.regex,
.token.important,
.token.variable {
  color: #e90;
}

.token.important,
.token.bold {
  font-weight: bold;
}
.token.italic {
  font-style: italic;
}

.token.entity {
  cursor: help;
}

pre[data-line] {
  position: relative;
  padding: 1em 0 1em 3em;
}

div.code-toolbar {
  position: relative;
}

div.code-toolbar > .toolbar {
  position: absolute;
  top: .3em;
  right: .2em;
  transition: opacity 0.3s ease-in-out;
  opacity: 0;
}

div.code-toolbar:hover > .toolbar {
  opacity: 1;
}

/* Separate line b/c rules are thrown out if selector is invalid.
   IE11 and old Edge versions don't support :focus-within. */
div.code-toolbar:focus-within > .toolbar {
  opacity: 1;
}

div.code-toolbar > .toolbar .toolbar-item {
  display: inline-block;
}

div.code-toolbar > .toolbar a {
  cursor: pointer;
}

div.code-toolbar > .toolbar button {
  background: none;
  border: 0;
  color: inherit;
  font: inherit;
  line-height: normal;
  overflow: visible;
  padding: 0;
  -webkit-user-select: none; /* for button */
  -moz-user-select: none;
  -ms-user-select: none;
}

div.code-toolbar > .toolbar a,
div.code-toolbar > .toolbar button,
div.code-toolbar > .toolbar span {
  color: #07A;
  padding: 0 .5em;
  cursor: pointer;
}

.katex-display {
  overflow-x: auto;
  overflow-y: hidden;
}

.katex {
  font: normal 1.1em KaTeX_Main,Times New Roman,serif;
}

.katex-display .katex {
  font: normal 1.21em KaTeX_Main,Times New Roman,serif;
}

.legal {
  margin: 2em auto;
  margin-bottom: 3em;
  font-size: .8em;
  text-align: center;
  padding: 0em 1em;
  max-width: 44em;
  color: white;
  opacity: .6;
  font-family: sans-serif;
}

.legal p a {
  color: white;
  font-weight: bolder;
  border-bottom: 1px dotted white;
}

.legal p a:hover {
  border-bottom: 1px solid white;
  text-decoration: none;
}


@media only screen and (max-width: 990px) {
  .topDiv {
    margin: 0;
    max-width: 100%;
    padding: 1em 1em;
  }

  .logo-text .slogan {
    display: none;
  }

  .languageBar {
    padding: 0em .5em;
  }

  .basicTable {
    font-size: .9em;
  }

  .image-display img {
    width: unset;
  }
}

.year {
  opacity: 50%;
}