body {
    font-family: Helvetica, Arial, sans-serif;
    font-size: 1.0em;
    line-height: 1.2em;
    max-width: 50em;
    margin-left: auto;
    margin-right: auto;
    padding-left: 1em;
    padding-right: 1em;
    margin-bottom: 3em;
}

h1 {
    margin-top: 0.5em;
    margin-bottom: 0;
}

nav ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

nav li {
    display: inline;
}

nav li:not(:last-child):after {
    content: "  \2014  ";
}

.header-container {
    display: flex
}

.header-container h1 {
    width: 50%;
}

.header-container nav {
    width: 50%;
    text-align: right;
    margin-top: auto;
    margin-bottom: 0.2em;
}

.summary {
    padding-top: 0.2em;
    padding-bottom: 0.2em;
    padding-left: 1em;
    padding-right: 1em;
    color: gray;
}

ul {
    padding-left: 2em;
}

ul li {
    margin-bottom: 0.5em;
}

.float-right {
    float: right;
    margin-left: 1em;
    width: 27%;
    text-wrap: wrap;
}

.float-img {
    float: left;
    width: 100%;
}

a:not(.plain) {
    color: blue;
}

a.author {
    color: darkslategray;
}

a.tag {
    color: purple;
    text-decoration: none;
}

a.tag:hover {
    color: deeppink;
}

a.video {
    color: red;
}

a.project-page {
    color: deeppink;
}

a.code {
    color: green;
}

a.slides {
    color: orange;
}

a:hover {
    color: black;
}

a:link {
    text-decoration: none;
}

a:visited {
    text-decoration: none;
}

a.navhead {
    text-decoration: underline
}

tr:nth-child(odd) {
    background-color: #f2f2f2;
}

/* for mobile devices */
@media (max-width: 480px) {
    .float-right {
        float: none;
        margin-left: 0;
        margin-bottom: 1em;
        width: 100%;
    }
    .float-img {
        margin-right: 0.8em;
        width: 35%;
    }

    .header-container {
        display: block;
    }

    .header-container h1 {
        width: 100%;
    }
    
    .header-container nav {
        width: 100%;
        text-align: left;
    }
}

/* for code highlighting */
.codehilite {
    background-color: #F5F5F5;
    padding-left: 0.5em;
    padding-right: 0.5em;
    padding-top: 0.5em;
    padding-bottom: 0.5em;
    border-radius: 5px;
}

code {
    font-family: "ui-monospace", "Consolas", "Courier New", monospace;
    font-size: 0.9em;
}

pre { line-height: 125%; margin: 0;}
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.hll { background-color: #ffffcc }
.c { color: #177500 } /* Comment */
.err { color: #000000 } /* Error */
.k { color: #A90D91 } /* Keyword */
.l { color: #1C01CE } /* Literal */
.n { color: #000000 } /* Name */
.o { color: #000000 } /* Operator */
.ch { color: #177500 } /* Comment.Hashbang */
.cm { color: #177500 } /* Comment.Multiline */
.cp { color: #633820 } /* Comment.Preproc */
.cpf { color: #177500 } /* Comment.PreprocFile */
.c1 { color: #177500 } /* Comment.Single */
.cs { color: #177500 } /* Comment.Special */
.kc { color: #A90D91 } /* Keyword.Constant */
.kd { color: #A90D91 } /* Keyword.Declaration */
.kn { color: #A90D91 } /* Keyword.Namespace */
.kp { color: #A90D91 } /* Keyword.Pseudo */
.kr { color: #A90D91 } /* Keyword.Reserved */
.kt { color: #A90D91 } /* Keyword.Type */
.ld { color: #1C01CE } /* Literal.Date */
.m { color: #1C01CE } /* Literal.Number */
.s { color: #C41A16 } /* Literal.String */
.na { color: #836C28 } /* Name.Attribute */
.nb { color: #A90D91 } /* Name.Builtin */
.nc { color: #3F6E75 } /* Name.Class */
.no { color: #000000 } /* Name.Constant */
.nd { color: #000000 } /* Name.Decorator */
.ni { color: #000000 } /* Name.Entity */
.ne { color: #000000 } /* Name.Exception */
.nf { color: #000000 } /* Name.Function */
.nl { color: #000000 } /* Name.Label */
.nn { color: #000000 } /* Name.Namespace */
.nx { color: #000000 } /* Name.Other */
.py { color: #000000 } /* Name.Property */
.nt { color: #000000 } /* Name.Tag */
.nv { color: #000000 } /* Name.Variable */
.ow { color: #000000 } /* Operator.Word */
.mb { color: #1C01CE } /* Literal.Number.Bin */
.mf { color: #1C01CE } /* Literal.Number.Float */
.mh { color: #1C01CE } /* Literal.Number.Hex */
.mi { color: #1C01CE } /* Literal.Number.Integer */
.mo { color: #1C01CE } /* Literal.Number.Oct */
.sa { color: #C41A16 } /* Literal.String.Affix */
.sb { color: #C41A16 } /* Literal.String.Backtick */
.sc { color: #2300CE } /* Literal.String.Char */
.dl { color: #C41A16 } /* Literal.String.Delimiter */
.sd { color: #C41A16 } /* Literal.String.Doc */
.s2 { color: #C41A16 } /* Literal.String.Double */
.se { color: #C41A16 } /* Literal.String.Escape */
.sh { color: #C41A16 } /* Literal.String.Heredoc */
.si { color: #C41A16 } /* Literal.String.Interpol */
.sx { color: #C41A16 } /* Literal.String.Other */
.sr { color: #C41A16 } /* Literal.String.Regex */
.s1 { color: #C41A16 } /* Literal.String.Single */
.ss { color: #C41A16 } /* Literal.String.Symbol */
.bp { color: #5B269A } /* Name.Builtin.Pseudo */
.fm { color: #000000 } /* Name.Function.Magic */
.vc { color: #000000 } /* Name.Variable.Class */
.vg { color: #000000 } /* Name.Variable.Global */
.vi { color: #000000 } /* Name.Variable.Instance */
.vm { color: #000000 } /* Name.Variable.Magic */
.il { color: #1C01CE } /* Literal.Number.Integer.Long */