/* Hack Font CDN */
@import "//cdn.jsdelivr.net/font-hack/2.020/css/hack.min.css";

/* Extended shouldn't be necessary */
/*@import "//cdn.jsdelivr.net/font-hack/2.020/css/hack-extended.min.css";*/

/* Local copy just in case */
/*@import "./fonts/Hack/css/hack.css";*/

/* Google Font */
@import url('https://fonts.googleapis.com/css?family=Roboto');


/* Page formatting */

html {
    background-color: #707b7b;
}

body {
    background-color: #39393f;

    /* font-family: "Hack"; */
    font-family: "Roboto", sans-serif;
    font-size: 12.0pt;
    color: white;

    width: 70%;
    margin: 40px auto 40px auto;
    padding: 10px 5% 10px 5%;

    border-width: 0px 10px 0px 10px;
    border-radius: 10px;
}

/* Headings and titles */

/*.pagetitle {
    font-weight: bold;
    padding-left: 0px;

    border-style: solid;
    border-color: #00AAFF;
    border-width: 0 0 5px 0;
}*/

h1, h2, h3, h4 {
    font-weight: normal;
    margin-top: 2em;
    margin-bottom: 0.5em;
    padding-left: 10px;

    border-style: solid;
    border-color: #00AAFF;
    border-width: 0 0 0 5px;
}

h1 {
    font-size: 2.0em;
    font-weight: bold;
    padding-left: 0px;

    border-style: solid;
    border-color: #00AAFF;
    border-width: 0 0 5px 0;
}

h2 {
    font-size: 1.5em;
    font-weight: bold;
}

h3 {
    font-size: 1.25em;
}

h4 {
    font-size: 1.0em;
}

.subtitle {
    font-style: italic;
    text-align: center;

    width: 75%;
    max-width: 50em;
    margin-left: auto;
    margin-right: auto;
    padding: 1em;
}

/* Page contents */

li {
    line-height: 1.5;
}

code {
    font-size: 0.9em;
    padding: 0.1em;
    color: lime;
    border-radius: 0.25em;
    background: #2d2d3d;
}

hr, footer {
    border-width: 2px 0px 0px 0px;
}

footer {
    text-align: right;
    margin-top: 5em;
    margin-bottom: 1em;
    padding-top: 20px;
    padding-left: 25%;
}

.zh {
    /* Remove bold so Chinese is legible */
    font-weight: normal;
    font-size: 1.1em;
}

a:link {
    color: #00EEFF;
}

a:visited {
    color: #00AAFF;
}

/* Borders */

body, hr, footer {
    border-style: solid;
    border-color: #00AAFF;
}

/* Images */

div.insetImage  {
    max-width: 80%;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: auto;
    margin-right: auto;
}

div.insetImage img {
    display: block;
    max-width: 100%;
}

div.insetImage p {
    font-size: 10.0pt;
    font-style: italic;
    text-align: center;
}

/* Colored Boxes */

.color {
    width: 15em;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    padding: 0.5em;

    border-style: solid;
    border-color: black;
    border-width: 5px;
    border-radius: 4px;
}

.darkGray {
    background: #39393f;
}

.lightGray {
    background: #707b7b;
}

.lightBlue {
    background: #00AAFF;
}

.cyan {
    background: #00CCFF;
}