body {
    font-family: "roboto", "source sans pro", "clear sans", "liberation sans",
    "arial", "sans-serif";
    background: white;
}
div.title {
    text-align: center;
    font-weight: bold;
}
h1 {
    font-size: 250%;
    font-weight: bold;
}
h2 {
    font-size: 200%;
    font-weight: bold;
}
div.contents h2 {
    text-decoration: underline;
}
.title h1 {
    margin-bottom: 0;
}
.title h2 {
    font-size: 128%;
    font-style: italic;
    margin-top: 0;
}
h3 {
    font-size: 160%;
    font-weight: bold;
}
h4 {
    font-size: 128%;
    font-weight: bold;
}
h5 {
    font-size: 100%;
    font-weight: bold;
}
h6 {
    font-size: 100%;
    text-decoration: underline;
}
span.subtitle {
    font-size: 1.25em;
    font-style: italic;
}
code, pre {
    font-family: "roboto mono", "source code pro", "liberation mono", "monospace";
    font-size: 90%;
}
code {
    font-weight: bolder;
}
pre, blockquote {
    margin-left: 4em;
    margin-right: 4em;
    padding: 0.25em 0.4em;
}
pre {
    background: #f0f0f0;
}
code {
    display: inline;
    white-space: nowrap;
    /* Extra padding due to monospaced font */
    padding-left: 0.2em;
    padding-right: 0.2em;
}
a {
    text-decoration: none;
}
div.toc ol {
    padding-left: 2em;
    font-size: 80%;
    list-style-type: none;
}
div.toc ol.toc1 {
    /* Compensate for the size reduction for each level */
    font-size: 150%;
}
/* -- TOC numbering using data-name attribute -- */
ol li[data-name]::marker {
    content: attr(data-name) '.';
}
ol.toc1 > li {
    padding-left: 1em;
    padding-top: 0.7em;
    font-weight: bold;
}
ol.toc2 > li {
    padding-top: 0.3em;
}
ol.toc2 li {
    padding-left: 0.4em;
    font-weight: normal;
}
div.toc span.node {
    display: none;
}
div.index li {
    list-style-type: none;
    display: flex;
    flex-direction: row;
    justify-content: space-between;
}
div.index .term {
    display: inline-block;
    text-align: left;
    vertical-align: top;
    flex: 3 3 0;
}
div.index .ref {
    width: 30%;
    display: inline-block;
    text-align: right;
    vertical-align: top;
    flex: 1 1 0;
}
div.toc, div.chapter, div.appendix {
    column-width: 32em;
}
div.index {
    column-width: 16em;
    margin-right: 3em;
}
div.index li {
    padding-left: 1em;
    padding-right: 1em;
}
div.index > ul {
    padding-left: 0;
}
/* This is overridden for @media screen */
nav {
    display: none;
}
@media print {
    a {
	color: inherit;
    }
    nav {
	display: none !important;
    }
    div.index {
	column-gap: 2em;
	column-count: 2;
    }
}
@media screen {
    div.contents {
	-webkit-column-rule: 1px dotted black;
	-moz-column-rule: 1px dotted black;
	column-rule: 1px dotted black;
    }
    div.toc, div.chapter, div.appendix {
	-webkit-column-gap: 4em;
	-moz-column-gap: 4em;
	column-gap: 4em;
    }
    div.index {
	-webkit-column-gap: 1em;
	-moz-column-gap: 1em;
	column-gap: 1em;
    }

    /* Setting an explicit margin to keep the navbar from moving */
    body {
	padding: 0;
	margin: 8px;
    }

    /* Link styles */
    a:link {
	color: #33c;
    }
    a:visited {
	color: #338;
    }
    a:hover {
	background: #ccc;
    }
    a:active {
	color: #f33;
	background: #ccc;
    }

    /* Trick to avoid the navbar hiding the the target of an # link */
    :target {
	margin-top: -10vh;
	padding-top: 10vh;
	background: #ffa;	/* Highlight the jump target */
	background-clip: content-box;
    }

    nav {
	display: block;
	position: sticky;
	top: 8px;
	width: 100%;
	margin: 0;
	overflow: hidden;
        background: #336 url("nasmlogw.png") no-repeat right center;
	background-size: contain;
	float: left;
	white-space: collapse;
    }
    nav ul {
	margin: 0;
	padding: 0;
	display: inline-block;
	list-style-type: none;
    }
    nav li {
	margin: 0;
	padding: 0;
	display: inline-block;
    }
    nav li a {
	margin: 0;
	border-right: 1px solid #bbb;
	display: block;
	text-align: center;
	padding: 0.75em 0.75em;
	text-decoration: none;
	color: white;
	white-space: nowrap;
	background-color: #336;
    }
    nav li.navthis a {
	background-color: #55c;
    }
    nav li a:hover {
	background-color: #448;
    }
    nav li.navthis a:hover {
	background-color: #55c;
    }
    nav li a:link, nav li a:visited, nav li a:hover {
	color: white;
    }
    div.index li:hover {
	background: #eef;
    }
}
