<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">@import "demo.css";
@import "code.css";

html, body, div, span, applet, object, iframe,h1, h2, h3, h4, h5, h6, p, blockquote, pre,a, abbr, acronym, address, big, cite, code,del, dfn, em, img, ins, kbd, q, s, samp,small, strike, strong, sub, sup, tt, var,b, u, i, center,dl, dt, dd, ol, ul, li,fieldset, form, label, legend,table, caption, tbody, tfoot, thead, tr, th, td,article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary,time, mark, audio, video {    margin: 0;    padding: 0;    border: 0;    font-size: 100%;    font: inherit;    vertical-align: baseline;}/* HTML5 display-role reset for older browsers */article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section {    display: block;}body {    line-height: 1;}ol, ul {    list-style: none;}blockquote, q {    quotes: none;}blockquote:before, blockquote:after,q:before, q:after {    content: '';    content: none;}table {    border-collapse: collapse;    border-spacing: 0;}

body {
    background: #fefefe;
    color: #333;
    font-size: 16px;
    font-family: Georgia, serif;
    width: 100%;
}

a {
    color: #333;
}

a:visited {
    color: #333;
}

figcaption {
    text-align: center;
    font-style: italic;
    margin-bottom: 20px;
}

#wrapper {
    margin: 0 50px;
    max-width: 600px;
    min-width: 600px;
}

#header {
    margin: 50px 0; 
    overflow: hidden;
}

#header .logo {
    float: left;
    color: #333;
}

#header a {
    text-decoration: none;
}

.nav {
   float: right;
}

@media only screen and (max-width: 1000px) {
  .nav {
      float: none;
      display: flex;
      justify-content: center;
      margin-top: 20px;
  }
  #header {
    margin: 20px 0 50px 0;
  }
  #header .logo {
      text-align: center;
      float: none;
  }
}

.center {
    text-align: center;
}

.block {
    display: block;
}

.nav li {
    display: inline;
    padding-left: 10px;
}

#posts {
    atext-align: justify;
}

.log-image {
    display: block;
    margin: 10px auto;
}

#content {
    min-height: 300px;
    line-height: 150%;
}

h1, h2, h3, h4, h5, h6 {
    font-family: 'Helvetica', 'Arial', sans-serif;
    font-weight: bold;
    line-height: 130%;
}

#content h1 {
    font-family: 'Helvetica', 'Arial', sans-serif;
    font-size: 20px;
    margin-bottom: 20px;
    line-height: 130%;
}

#content h2 {
    font-size: 18px;
    margin-bottom: 15px;
}

#content h3 {
    font-size: 16px;
    margin-bottom: 15px;
}

#content h4 {
    font-size: 16px;
    margin-bottom: 15px;
    color: #666
}

#content p {
    margin: 20px 0;
}

blockquote {
    border-left: 3px solid #dcdcdc;
    padding-left: 20px;
}

.post li {
    margin: 0 20px;
    list-style: disc;
}

.post img {
    max-width: 100%;
}

.log-image {
    max-width: 100%;
}

.code-block {
    padding: 10px;
    max-width: 100%;
    width: 100%;
    overflow: scroll;
}

code {
    font-family: monospace;
}

.date, .date a {
    color: #999;
    font-size: 14px;
    text-decoration: none;
}

#footer {
    margin: 50px 0 50px 0;
    color: #999;
    font-size: 14px;
}

#footer a, #footer a:visited {
    color: #999;
}

.projects ul li {
    line-height: 200%;
}

.projects-list {
    line-height: 150%;
}

.projects-list li {
    margin-bottom: 20px
}

iframe {
    width: 100%;
    overflow: hidden;
}

em {
    font-weight: bold;
}

@media (max-width: 768px) {
    #wrapper {
        width: 90%;
        max-width: 90%;
        margin: 0 auto;
        min-width: 0;
    }
    #posts pre {
        white-space: pre-wrap;
    }
}

.teaching-week {
    padding: 10px;
    background: #f5f5f5;
    margin-bottom: 10px;
}
.teaching-week h2, .teaching-week h3 {
    margin: 10px 0;
}

.grid {
  display: flex;
  min-height: 0;
  min-width: 0;
}

.grid &gt; * {
    flex: 1;
    display: flex-item;
}
.grid img, .grid video {
    width: 100%;
    height: auto;
    max-height: 100%;
}

.grid div {
    max-width: 100%;
    overflow: hidden;
    min-width: 0;
}

.grid img {
    margin: 0;
}

.video-wrapper {
    position: relative;
}

.play-video {
    position: absolute;
    right: 30px;
    bottom: 30px;
    color: white;
    text-shadow: 0px 0px 4px black;
    cursor: pointer;
}
</pre></body></html>