/* mirror of div.body */
section.body {
    margin: 3em;
}

header {
    width: "100%";
    background-color: #5555ff;
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
    border-bottom: 0.5em solid #EEEEFE;
    padding: 0.5em;
}

header > div {
    display: table-cell;
}

header > div.icon {
    flex-grow: 1;
}

header .title {
    color: white;
    font-size: 1.5em;
}

header .nav, header .nav > div {
    display: inline;
}

header .nav a, header .nav .title {
    color: white;
}

header .nav ul b {
    color: yellow;
}

footer {
    width: 100%;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
    border-top: 0.5em solid #eeeefe;
    font-size: smaller;
}


/* copied from tr35.css */

.markdown-alert {
    border-left: 0.25em;
    padding-left: .5em;
    border-left-style: solid;
}

.markdown-alert-title {
    font-weight: bold;
}

.markdown-alert-title svg {
    margin-right: .5em;
}

.markdown-alert-note {
    border-color: blue;
}

.markdown-alert-note .markdown-alert-title {
    color: blue;
}

.markdown-alert-important {
    border-color: blueviolet;
}

.markdown-alert-important .markdown-alert-title {
    color: blueviolet;
}