Mon, 13 Nov 2017 15:54:17 +0100
toc for examples
a { color: #2e2eaf; text-decoration: none; } a:hover { text-decoration: underline; text-decoration-style: dotted; // not supported in IE / Edge } #page-header, h1, h2, h3, #sidebar { font-family: sans-serif; } #page-header { padding-top: 0.3em; padding-bottom: 0.5em; margin-bottom: 2em; border: none; border-bottom-width: 1pt; border-bottom-style: solid; border-bottom-color: #2e2e2e; } #page-header span { font-size: 2em; font-weight: bold; color: #2e2e2e; } #page-header img { float: right; } #sidebar { float: left; width: 15em; } .nav { color: black; background-color: #e9ebec; margin-bottom: 1em; padding-bottom: 0.1em; } .nav h3 { color: white; background-color: #5b6f7a; font-size: 1.2em; padding-top: 0.2em; padding-bottom: 0.2em; padding-left: 0.5em; margin-top: 0; } .nav ul { margin-top: 0; padding-top: 0; padding-left: 2em; font-size: 0.95em; } #content { margin-left: 16em; padding: 0; font-family: serif; font-size: 1em; min-width: 16em; } #content h1 { color: white; background-color: #5b6f7a; font-size: 1.2em; padding-top: 0.2em; padding-bottom: 0.2em; padding-left: 0.5em; padding-right: 0; margin-top: 0; } #content h2 { color: #2e2e2e; font-size: 1.2em; border-bottom-color: #5b6f7a; border-bottom-style: solid; border-bottom-width: 1pt; width: 100%; } #content h3 { font-size: 1.05em; }