Wed, 17 Jan 2024 21:01:50 +0100
fix using warning options with compilers which do not support them - fixes #363
a { color: #2e2eaf; text-decoration: none; } a:hover { text-decoration: underline; text-decoration-style: dotted; } #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; margin-right: 0.5em; padding: 0; font-family: serif; font-size: 1em; min-width: 16em; } #content h1 { color: white; background-color: #5b6f7a; font-size: 1.2em; padding: 0.2em 0 0.2em 0.5em; 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; } #modules table { border-collapse: separate; border-spacing: .25em; } #modules td > a { display: table-cell; text-align: center; vertical-align: middle; width: 10em; height: 2em; border-style: solid; border-width: 1pt; border-color: #2e2e2e; } #modules td > a:hover { background: #e9ebec; }