1192 lines
22 KiB
CSS
1192 lines
22 KiB
CSS
/*
|
|
* normalize.css v8.0.1 | MIT License | https://github.com/necolas/normalize.css
|
|
* See: https://necolas.github.io/normalize.css/
|
|
* See: https://nicolasgallagher.com/about-normalize-css/
|
|
*/
|
|
|
|
/* Document ========================================================================== */
|
|
|
|
/*
|
|
* 1. Correct the line height in all browsers.
|
|
* 2. Prevent adjustments of font size after orientation changes in iOS.
|
|
*/
|
|
|
|
html {
|
|
line-height: 1.15; /* 1 */
|
|
-webkit-text-size-adjust: 100%; /* 2 */
|
|
}
|
|
|
|
/* Sections ========================================================================== */
|
|
|
|
/*
|
|
* Remove the margin in all browsers.
|
|
*/
|
|
|
|
body {
|
|
margin: 0;
|
|
}
|
|
|
|
/*
|
|
* Render the `main` element consistently in IE.
|
|
*/
|
|
|
|
main {
|
|
display: block;
|
|
}
|
|
|
|
/*
|
|
* Correct the font size and margin on `h1` elements within `section` and
|
|
* `article` contexts in Chrome, Firefox, and Safari.
|
|
*/
|
|
|
|
h1 {
|
|
font-size: 2em;
|
|
margin: 0.67em 0;
|
|
}
|
|
|
|
/* Grouping content ========================================================================== */
|
|
|
|
/*
|
|
* 1. Add the correct box sizing in Firefox.
|
|
* 2. Show the overflow in Edge and IE.
|
|
*/
|
|
|
|
hr {
|
|
box-sizing: content-box; /* 1 */
|
|
height: 0; /* 1 */
|
|
overflow: visible; /* 2 */
|
|
}
|
|
|
|
/*
|
|
* 1. Correct the inheritance and scaling of font size in all browsers.
|
|
* 2. Correct the odd `em` font sizing in all browsers.
|
|
*/
|
|
|
|
pre {
|
|
font-family: monospace, monospace; /* 1 */
|
|
font-size: 1em; /* 2 */
|
|
}
|
|
|
|
/* Text-level semantics ========================================================================== */
|
|
|
|
/*
|
|
* Remove the gray background on active links in IE 10.
|
|
*/
|
|
|
|
a {
|
|
background-color: transparent;
|
|
}
|
|
|
|
/*
|
|
* 1. Remove the bottom border in Chrome 57-
|
|
* 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
|
|
*/
|
|
|
|
abbr[title] {
|
|
border-bottom: none; /* 1 */
|
|
text-decoration: underline dotted; /* 2 */
|
|
}
|
|
|
|
/*
|
|
* Add the correct font weight in Chrome, Edge, and Safari.
|
|
*/
|
|
|
|
b,
|
|
strong {
|
|
font-weight: bolder;
|
|
}
|
|
|
|
/*
|
|
* 1. Correct the inheritance and scaling of font size in all browsers.
|
|
* 2. Correct the odd `em` font sizing in all browsers.
|
|
*/
|
|
|
|
code,
|
|
kbd,
|
|
samp {
|
|
font-family: monospace, monospace; /* 1 */
|
|
font-size: 1em; /* 2 */
|
|
}
|
|
|
|
/*
|
|
* Add the correct font size in all browsers.
|
|
*/
|
|
|
|
small {
|
|
font-size: 80%;
|
|
}
|
|
|
|
/*
|
|
* Prevent sub and sup elements from affecting the line height in
|
|
* all browsers (initially).
|
|
*/
|
|
|
|
sub,
|
|
sup {
|
|
font-size: 75%;
|
|
line-height: 0;
|
|
position: relative;
|
|
vertical-align: baseline;
|
|
}
|
|
|
|
/*
|
|
* Fix the problem where subscript text covers part of the characters in the
|
|
* line below it.
|
|
*/
|
|
sub {
|
|
line-height: 190%;
|
|
font-size: 5%;
|
|
bottom: -0.25em;
|
|
}
|
|
|
|
/*
|
|
* Fix the problem where superscript text covers part of the characters in the
|
|
* line above it.
|
|
*/
|
|
sup {
|
|
line-height: 190%;
|
|
font-size: 5%;
|
|
top: -0.5em;
|
|
}
|
|
|
|
/* Embedded content ========================================================================== */
|
|
|
|
/*
|
|
* Remove the border on images inside links in IE 10.
|
|
*/
|
|
|
|
img {
|
|
border-style: none;
|
|
}
|
|
|
|
/* Forms ========================================================================== */
|
|
|
|
/*
|
|
* 1. Change the font styles in all browsers.
|
|
* 2. Remove the margin in Firefox and Safari.
|
|
*/
|
|
|
|
button,
|
|
input,
|
|
optgroup,
|
|
select,
|
|
textarea {
|
|
font-family: inherit; /* 1 */
|
|
font-size: 100%; /* 1 */
|
|
line-height: 1.15; /* 1 */
|
|
margin: 0; /* 2 */
|
|
}
|
|
|
|
/*
|
|
* Show the overflow in IE.
|
|
* 1. Show the overflow in Edge.
|
|
*/
|
|
|
|
button,
|
|
input { /* 1 */
|
|
overflow: visible;
|
|
}
|
|
|
|
/*
|
|
* Remove the inheritance of text transform in Edge, Firefox, and IE.
|
|
* 1. Remove the inheritance of text transform in Firefox.
|
|
*/
|
|
|
|
button,
|
|
select { /* 1 */
|
|
text-transform: none;
|
|
}
|
|
|
|
/*
|
|
* Correct the inability to style clickable types in iOS and Safari.
|
|
*/
|
|
|
|
button,
|
|
[type="button"],
|
|
[type="reset"],
|
|
[type="submit"] {
|
|
-webkit-appearance: button;
|
|
}
|
|
|
|
/*
|
|
* Remove the inner border and padding in Firefox.
|
|
*/
|
|
|
|
button::-moz-focus-inner,
|
|
[type="button"]::-moz-focus-inner,
|
|
[type="reset"]::-moz-focus-inner,
|
|
[type="submit"]::-moz-focus-inner {
|
|
border-style: none;
|
|
padding: 0;
|
|
}
|
|
|
|
/*
|
|
* Restore the focus styles unset by the previous rule.
|
|
*/
|
|
|
|
button:-moz-focusring,
|
|
[type="button"]:-moz-focusring,
|
|
[type="reset"]:-moz-focusring,
|
|
[type="submit"]:-moz-focusring {
|
|
outline: 1px dotted ButtonText;
|
|
}
|
|
|
|
/*
|
|
* Correct the padding in Firefox.
|
|
*/
|
|
|
|
fieldset {
|
|
padding: 0.35em 0.75em 0.625em;
|
|
}
|
|
|
|
/*
|
|
* 1. Correct the text wrapping in Edge and IE.
|
|
* 2. Correct the color inheritance from `fieldset` elements in IE.
|
|
* 3. Remove the padding so developers are not caught out when they zero out
|
|
* `fieldset` elements in all browsers.
|
|
*/
|
|
|
|
legend {
|
|
box-sizing: border-box; /* 1 */
|
|
color: inherit; /* 2 */
|
|
display: table; /* 1 */
|
|
max-width: 100%; /* 1 */
|
|
padding: 0; /* 3 */
|
|
white-space: normal; /* 1 */
|
|
}
|
|
|
|
/*
|
|
* Add the correct vertical alignment in Chrome, Firefox, and Opera.
|
|
*/
|
|
|
|
progress {
|
|
vertical-align: baseline;
|
|
}
|
|
|
|
/*
|
|
* Remove the default vertical scrollbar in IE 10+.
|
|
*/
|
|
|
|
textarea {
|
|
overflow: auto;
|
|
}
|
|
|
|
/*
|
|
* 1. Add the correct box sizing in IE 10.
|
|
* 2. Remove the padding in IE 10.
|
|
*/
|
|
|
|
[type="checkbox"],
|
|
[type="radio"] {
|
|
box-sizing: border-box; /* 1 */
|
|
padding: 0; /* 2 */
|
|
}
|
|
|
|
/*
|
|
* Correct the cursor style of increment and decrement buttons in Chrome.
|
|
*/
|
|
|
|
[type="number"]::-webkit-inner-spin-button,
|
|
[type="number"]::-webkit-outer-spin-button {
|
|
height: auto;
|
|
}
|
|
|
|
/*
|
|
* 1. Correct the odd appearance in Chrome and Safari.
|
|
* 2. Correct the outline style in Safari.
|
|
*/
|
|
|
|
[type="search"] {
|
|
-webkit-appearance: textfield; /* 1 */
|
|
outline-offset: -2px; /* 2 */
|
|
}
|
|
|
|
/*
|
|
* Remove the inner padding in Chrome and Safari on macOS.
|
|
*/
|
|
|
|
[type="search"]::-webkit-search-decoration {
|
|
-webkit-appearance: none;
|
|
}
|
|
|
|
/*
|
|
* 1. Correct the inability to style clickable types in iOS and Safari.
|
|
* 2. Change font properties to `inherit` in Safari.
|
|
*/
|
|
|
|
::-webkit-file-upload-button {
|
|
-webkit-appearance: button; /* 1 */
|
|
font: inherit; /* 2 */
|
|
}
|
|
|
|
/* Interactive ========================================================================== */
|
|
|
|
/*
|
|
* Add the correct display in Edge, IE 10+, and Firefox.
|
|
*/
|
|
|
|
details {
|
|
display: block;
|
|
}
|
|
|
|
/*
|
|
* Add the correct display in all browsers.
|
|
*/
|
|
|
|
summary {
|
|
display: list-item;
|
|
}
|
|
|
|
/* Misc ========================================================================== */
|
|
|
|
/*
|
|
* Add the correct display in IE 10+.
|
|
*/
|
|
|
|
template {
|
|
display: none;
|
|
}
|
|
|
|
/*
|
|
* Add the correct display in IE 10.
|
|
*/
|
|
|
|
[hidden] {
|
|
display: none;
|
|
}
|
|
|
|
/* End of normalize.css ========================================================================== */
|
|
|
|
/**************************************/
|
|
/* what follows is ioccc.css specific */
|
|
/**************************************/
|
|
|
|
/* Fonts ========================================================================================= */
|
|
|
|
/* Fonts */
|
|
.serif {
|
|
font-family: Georgia, serif;
|
|
}
|
|
|
|
.sans-serif {
|
|
font-family: Helvetica Neue, Helvetica, Arial, sans-serif;
|
|
}
|
|
|
|
.mono {
|
|
font-family: Menlo, Monaco, Consolas, "Lucida Console", "Courier New", monospace;
|
|
}
|
|
|
|
* {
|
|
font-family: Helvetica Neue, Helvetica, Arial, sans-serif;
|
|
}
|
|
|
|
h1, h2, h3, h4, h5, h6 {
|
|
font-family: Georgia, serif;
|
|
}
|
|
|
|
pre, code {
|
|
font-family: Menlo, Monaco, Consolas, "Lucida Console", "Courier New", monospace;
|
|
}
|
|
|
|
body {
|
|
font-family: Helvetica Neue, Helvetica, Arial, sans-serif;
|
|
}
|
|
|
|
/* Top level ===================================================================================== */
|
|
|
|
/* Establish IOCCC defaults */
|
|
|
|
* {
|
|
box-sizing: border-box;
|
|
background: whitesmoke;
|
|
}
|
|
|
|
/* Remove hyphenation in line endings from most well known browsers */
|
|
p {
|
|
-moz-hyphens: none;
|
|
-ms-hyphens: none;
|
|
-webkit-hyphens: none;
|
|
hyphens: manual;
|
|
color: black;
|
|
}
|
|
|
|
body {
|
|
margin: 0 auto;
|
|
padding: 10px;
|
|
hyphens: manual;
|
|
overflow-wrap: break-word;
|
|
text-rendering: optimizeLegibility;
|
|
font-kerning: normal;
|
|
}
|
|
|
|
pre, code {
|
|
margin: 1em 0;
|
|
hyphens: manual;
|
|
overflow-x: scroll;
|
|
overflow-y: scroll;
|
|
color: DarkGreen;
|
|
}
|
|
|
|
a {
|
|
outline-color: transparent;
|
|
text-decoration: none;
|
|
padding: 2px 1px 0;
|
|
font-weight: bold;
|
|
}
|
|
|
|
a:link {
|
|
color: blue;
|
|
}
|
|
|
|
a:visited {
|
|
color: purple;
|
|
}
|
|
|
|
a:focus, a:hover {
|
|
border-bottom: 1px solid;
|
|
}
|
|
|
|
a:active {
|
|
color: red;
|
|
}
|
|
|
|
/*
|
|
* To make a link non-bold, use: <a class="normal" href="url">link text</a>
|
|
*/
|
|
a.normal {
|
|
font-weight: normal;
|
|
}
|
|
|
|
img {
|
|
height: auto;
|
|
max-width: 95%;
|
|
position: relative;
|
|
}
|
|
|
|
/* IOCCC classes ================================================================================= */
|
|
|
|
/* Left - class for placing things on the left side */
|
|
.Left {
|
|
float: left;
|
|
}
|
|
|
|
/* Right - class for placing things on the left side */
|
|
.Right {
|
|
float: right;
|
|
}
|
|
|
|
/* Disabled - class for making something as if the feature has been disabled */
|
|
.Disabled {
|
|
cursor: not-allowed;
|
|
opacity: 0.5;
|
|
color: inherit;
|
|
display: inline-block; /* For IE11/MS Edge bug */
|
|
pointer-events: none;
|
|
text-decoration: none;
|
|
}
|
|
|
|
/* Topbar ======================================================================================== */
|
|
|
|
.outfit-font {
|
|
font-family: "Outfit", sans-serif;
|
|
font-optical-sizing: auto;
|
|
}
|
|
|
|
.theader {
|
|
width: 100%;
|
|
min-height: 72px;
|
|
border-bottom: 1px solid #eee;
|
|
}
|
|
|
|
.topbar {
|
|
width: 100%;
|
|
background-color: whitesmoke;
|
|
height: 72px;
|
|
}
|
|
|
|
.container {
|
|
height: 72px;
|
|
position: relative;
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: space-between;
|
|
/* Fixed Header Menu Issue */
|
|
max-width: 1140px;
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
}
|
|
|
|
@media (min-width: 1025px) and (max-width: 1100px) {
|
|
.container {
|
|
max-width: 840px;
|
|
}
|
|
}
|
|
|
|
@media (min-width: 1101px) and (max-width: 1150px) {
|
|
.container {
|
|
max-width: 900px;
|
|
}
|
|
}
|
|
|
|
@media (min-width: 1151px) and (max-width: 1200px) {
|
|
.container {
|
|
max-width: 970px;
|
|
}
|
|
}
|
|
|
|
@media (min-width: 1201px) and (max-width: 1250px) {
|
|
.container {
|
|
max-width: 1000px;
|
|
}
|
|
}
|
|
|
|
@media (min-width: 1251px) and (max-width: 1300px) {
|
|
.container {
|
|
max-width: 1060px;
|
|
}
|
|
}
|
|
|
|
@media (min-width: 1301px) and (max-width: 1350px) {
|
|
.container {
|
|
max-width: 1100px;
|
|
}
|
|
}
|
|
|
|
.logo {
|
|
margin-top: auto;
|
|
margin-bottom: auto;
|
|
}
|
|
|
|
.logo-link {
|
|
color: #154c9f !important;
|
|
font-family: "Outfit", sans-serif;
|
|
font-optical-sizing: auto;
|
|
font-weight: 700;
|
|
font-style: normal;
|
|
font-size: 40px;
|
|
cursor: pointer;
|
|
text-decoration: none !important;
|
|
border-bottom: none !important;
|
|
}
|
|
|
|
.logo-link:hover {
|
|
opacity: 0.8;
|
|
transition: all .3s ease;
|
|
}
|
|
|
|
.topbar-items {
|
|
display: flex;
|
|
gap: 48px;
|
|
}
|
|
|
|
.topbar-items .item {
|
|
position: relative;
|
|
color: #154c9f;
|
|
font-family: "Outfit", sans-serif;
|
|
font-optical-sizing: auto;
|
|
font-weight: 700;
|
|
font-style: normal;
|
|
font-size: 14px;
|
|
cursor: pointer;
|
|
}
|
|
|
|
.item-header {
|
|
display: block;
|
|
}
|
|
|
|
.item-header:hover {
|
|
opacity: 0.8;
|
|
transition: all .3s ease;
|
|
}
|
|
|
|
.topbar-items .sub-item {
|
|
position: absolute;
|
|
display: none;
|
|
flex-direction: column;
|
|
gap: 24px;
|
|
min-width: 200px;
|
|
padding: 24px;
|
|
font-size: 14px;
|
|
font-weight: 500;
|
|
color: #154c9f;
|
|
text-align: left;
|
|
background-color: whitesmoke;
|
|
left: -100%;
|
|
z-index:100;
|
|
}
|
|
|
|
.topbar-items .item:hover .sub-item{
|
|
display: flex !important;
|
|
}
|
|
|
|
.topbar-items .item .sub-item .outfit-font .sub-item-link {
|
|
color: #154c9f;
|
|
text-decoration: none;
|
|
border-bottom: none;
|
|
}
|
|
|
|
.sub-item-link:hover {
|
|
opacity: 0.8;
|
|
transition: all .3s ease;
|
|
}
|
|
|
|
.topbar-js-label {
|
|
display: block;
|
|
position: absolute;
|
|
top: 40px;
|
|
right: 20px;
|
|
|
|
color: #154c9f !important;
|
|
font-family: "Outfit", sans-serif;
|
|
font-optical-sizing: auto;
|
|
font-weight: 700;
|
|
font-style: normal;
|
|
font-size: 14px;
|
|
|
|
text-decoration: none;
|
|
border-bottom: none;
|
|
}
|
|
|
|
@media (scripting: enabled) {
|
|
.topbar-js-label {
|
|
display: none;
|
|
}
|
|
}
|
|
|
|
.topbar-js-label:hover {
|
|
border-bottom: none;
|
|
}
|
|
|
|
/* Header ======================================================================================== */
|
|
|
|
/* Style the header */
|
|
.header {
|
|
padding: 10px;
|
|
text-align: center;
|
|
}
|
|
|
|
/* Header headings */
|
|
.header h1 {
|
|
font-size: 2.5em;
|
|
}
|
|
.header h2 {
|
|
font-size: 2em;
|
|
}
|
|
.header h3 {
|
|
font-size: 1.5em;
|
|
}
|
|
|
|
/* Top navigation bar ============================================================================ */
|
|
|
|
/* Style the top navigation bar */
|
|
.navbar {
|
|
overflow: hidden;
|
|
background-color: #333;
|
|
}
|
|
|
|
/* Style the navbar links and paragraph text */
|
|
.navbar a, p {
|
|
display: block;
|
|
color: lightblue;
|
|
padding: 14px 16px;
|
|
text-decoration: none;
|
|
}
|
|
|
|
/* Change navbar link color on hover */
|
|
.navbar a:focus, .navbar a:hover {
|
|
background-color: #ddd;
|
|
color: blue;
|
|
text-decoration: underline;
|
|
}
|
|
|
|
/* Change navbar link after visit */
|
|
.navbar a:visited {
|
|
color: #cO80c0;
|
|
}
|
|
|
|
/* Change navbar link when active */
|
|
.navbar a:active {
|
|
color: red;
|
|
}
|
|
|
|
/* No padding nor border around navbar images */
|
|
.navbar img {
|
|
border: 0;
|
|
padding: 0;
|
|
height: auto;
|
|
max-width: 95%;
|
|
position: relative;
|
|
}
|
|
|
|
/* Content =========================================================================== */
|
|
|
|
/* Style content */
|
|
.content {
|
|
float: left;
|
|
width: 80%;
|
|
padding-left: 10px;
|
|
}
|
|
|
|
/* content code */
|
|
.content code, pre {
|
|
font-weight: bold;
|
|
padding-top: 0;
|
|
padding-bottom: 0;
|
|
color: DarkGreen;
|
|
overflow-x: scroll;
|
|
}
|
|
|
|
/* content text */
|
|
.content p {
|
|
padding-top: 0;
|
|
padding-bottom: 0;
|
|
color: black;
|
|
}
|
|
|
|
blockquote {
|
|
margin: 1em 0 1em 1.7em;
|
|
border-top: 4px solid darkgreen;
|
|
border-left: 4px solid darkgreen;
|
|
border-bottom: 4px solid darkgreen;
|
|
border-right: 4px solid darkgreen;
|
|
font-style: normal;
|
|
overflow-wrap: break-word;
|
|
width: fit-content;
|
|
}
|
|
|
|
/* This rule makes sure that text in <blockquote><p>..</p></blockquote> is
|
|
* formatted right. Note that this MUST BE HERE because otherwise the rule
|
|
* '.content p' could override it, if the formatting is ever changed there.
|
|
*
|
|
* ## Historical remarks
|
|
*
|
|
* We tried to change the colour and we went with dark green with the
|
|
* following rationale:
|
|
*
|
|
* 0. Purple should NOT be used as this is being used for visited links.
|
|
* 1. Blue should NOT be used as this is being used for non-visited links.
|
|
*
|
|
* Now with context this might be okay but links can also be in blockquotes
|
|
* so this alone is reason not to: even if there are underlines in most
|
|
* links. Additionally:
|
|
*
|
|
* 2. Bold seems to be too strong, especially when used for with a bright
|
|
* colour.
|
|
*
|
|
* Bold is used in headings (h1, h2, ..). A bold heading is not too much
|
|
* text (as headings tend to be short single lines): one does not become
|
|
* too tired looking at TOO MANY SHOUTING BOLD LETTERS. It seems preferable
|
|
* to reserve bold for those headings.
|
|
*
|
|
* Conclusions: dark blue seems to be slightly better but unfortunately the
|
|
* headings (h1, h2, ...) is too similar so we use dark green with italics
|
|
* as the choice.
|
|
*
|
|
* ... However, it was hard to find a good shade of green that would stand out
|
|
* against the white background and other colours did not do so well. Thus,
|
|
* the blockquote border was changed from just on the left side to make it into
|
|
* a box and went from grey (or actually dark grey) to dark green.
|
|
*/
|
|
.content blockquote p, blockquote ol li {
|
|
color: black;
|
|
font-style: italic;
|
|
}
|
|
|
|
/* content links */
|
|
.content a {
|
|
text-decoration: underline;
|
|
}
|
|
.content a:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
/* content main headings */
|
|
.content h1 {
|
|
font-size: 2em;
|
|
color: DarkBlue;
|
|
}
|
|
.content h2 {
|
|
font-size: 1.5em;
|
|
color: DarkBlue;
|
|
}
|
|
.content h3 {
|
|
font-size: 1.25em;
|
|
color: DarkBlue;
|
|
}
|
|
.content h4, h5, h6 {
|
|
color: DarkBlue;
|
|
}
|
|
|
|
/* .pseudo_h3 - pseudo-h3 headings for HTML tables
|
|
*
|
|
* This is how we hack the "Support IOCCC" and "IOCCC on Social Media" pseudo-h3 headings
|
|
* Format like it is h3-ish. We cannot use h3 because this is used within a HTML table.
|
|
*/
|
|
.pseudo_h3 {
|
|
font-family: Georgia, serif;
|
|
font-weight: bold;
|
|
page-break-after: avoid;
|
|
font-size: 1.5em;
|
|
color: DarkBlue;
|
|
}
|
|
|
|
/* .small_click_below - small text for for HTML tables
|
|
*
|
|
* This is how we hack the "click below to ..." small text
|
|
*
|
|
* Format small text that shows up on the same row as the pseudo-h3 headings.
|
|
*/
|
|
.small_click_below {
|
|
font-family: Helvetica Neue, Helvetica, Arial, sans-serif;
|
|
font-weight: bold;
|
|
page-break-after: avoid;
|
|
font-size: 0.9em;
|
|
color: black;
|
|
}
|
|
|
|
/* Guidelines / Rules change bar ============================================================================ */
|
|
|
|
.leftbar {
|
|
border-left: 4px solid black;
|
|
}
|
|
|
|
|
|
/* Footer ======================================================================================== */
|
|
|
|
/* Style footer */
|
|
.footer {
|
|
display: block;
|
|
clear: both;
|
|
padding-left: 10px;
|
|
padding-right: 10px;
|
|
border-style: solid hidden hidden hidden;
|
|
text-decoration: none;
|
|
}
|
|
|
|
/* footer code */
|
|
.footer code, pre {
|
|
font-weight: bold;
|
|
padding-top: 0;
|
|
padding-bottom: 0;
|
|
color: DarkGreen;
|
|
}
|
|
|
|
/* footer text */
|
|
.footer p {
|
|
padding-top: 0;
|
|
padding-bottom: 0;
|
|
color: black;
|
|
}
|
|
|
|
/* footer links */
|
|
.footer a {
|
|
text-decoration: none;
|
|
}
|
|
.footer a:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
/* footer header */
|
|
.footer h1, h2, h3, h4, h5, h6 {
|
|
color: DarkBlue;
|
|
}
|
|
|
|
/* Responsive Web Design ========================================================================== */
|
|
|
|
/*
|
|
* Topbar CSS
|
|
*
|
|
* When the screen is > 1024 pixels, the topbar menu, with dropdown menus are used.
|
|
* When the screen is <= 1024 pixels, a "hamburger" icon is used.
|
|
*
|
|
* NOTE: inc/topbar.default.html implements:
|
|
*
|
|
* If JavaScript is enabled, then a "hamburger" icon is shown.
|
|
* If JavaScript is disabled, then a "Please Enable JavaScript" (as 3 center lines) is shown.
|
|
*
|
|
* If JavaScript is disabled, then the "Please Enable JavaScript" text is a link to a web page.
|
|
*/
|
|
|
|
/* Mobile menu section */
|
|
@media screen and (max-width: 1024px) {
|
|
.topbar-items {
|
|
display: none;
|
|
}
|
|
}
|
|
|
|
.header-mobile-menu {
|
|
display: none;
|
|
}
|
|
|
|
@media screen and (max-width: 1024px) {
|
|
.header-mobile-menu {
|
|
display: block;
|
|
}
|
|
}
|
|
|
|
.mobile-header-button-label {
|
|
display: none;
|
|
}
|
|
|
|
@media screen and (max-width: 1024px) {
|
|
.mobile-header-button-label {
|
|
display: block;
|
|
position: absolute;
|
|
right: 64px;
|
|
color: #154c9f;
|
|
font-size: 16px;
|
|
font-weight: bold;
|
|
font-family: "Outfit", sans-serif;
|
|
font-optical-sizing: auto;
|
|
text-transform: capitalize;
|
|
}
|
|
}
|
|
|
|
.topbar-mobile-menu {
|
|
display: none;
|
|
position: absolute;
|
|
right: 20px;
|
|
top: 20px;
|
|
height: 48px;
|
|
width: 48px;
|
|
border: none;
|
|
}
|
|
|
|
@media (scripting: enabled) {
|
|
.topbar-mobile-menu {
|
|
display: block;
|
|
}
|
|
}
|
|
|
|
.hide-content {
|
|
display: none;
|
|
}
|
|
|
|
.topbar-mobile-panel {
|
|
background-color: #f5f5f5;
|
|
width: 100%;
|
|
height: 100vh;
|
|
position: relative;
|
|
}
|
|
|
|
.mobile-menu-item {
|
|
font-family: "Outfit", sans-serif;
|
|
font-optical-sizing: auto;
|
|
font-size: 18px;
|
|
font-weight: 700;
|
|
color: #154c9f;
|
|
}
|
|
|
|
.mobile-submenu-item {
|
|
font-family: "Outfit", sans-serif;
|
|
font-optical-sizing: auto;
|
|
font-size: 16px;
|
|
font-weight: 500;
|
|
color: #154c9f !important;
|
|
width: fit-content;
|
|
}
|
|
|
|
.mobile-menu-container {
|
|
display: flex;
|
|
flex-direction: column;
|
|
gap: 32px;
|
|
padding: 16px;
|
|
}
|
|
|
|
.mobile-menu-wrapper {
|
|
display: flex;
|
|
flex-direction: column;
|
|
gap: 16px;
|
|
}
|
|
|
|
.mobile-submenu-wrapper {
|
|
display: flex;
|
|
flex-direction: column;
|
|
gap: 16px;
|
|
padding-left: 16px;
|
|
}
|
|
|
|
.mobile-menu-icon {
|
|
color: #154c9f;
|
|
width: 24px;
|
|
height: 24px;
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
}
|
|
|
|
/* Default: screen is > 968 pixels wide (> 984 w/padding) */
|
|
|
|
/*
|
|
* When the screen is > 761 pixels (> 777 w/padding) AND <= 968 pixels wide (<= 984 w/padding)
|
|
*
|
|
* Use two columns but with slightly smaller header font sizes.
|
|
*/
|
|
@media screen and (max-width: 968px) {
|
|
body {
|
|
font-size: 1em;
|
|
}
|
|
.header {
|
|
padding: 0;
|
|
border: 0;
|
|
text-align: center;
|
|
}
|
|
.header h1 {
|
|
font-size: 2em;
|
|
}
|
|
.header h2 {
|
|
font-size: 1.75em;
|
|
}
|
|
.header h3 {
|
|
font-size: 1.5em;
|
|
}
|
|
.content, .footer {
|
|
padding: 2px;
|
|
}
|
|
.content h1 {
|
|
font-size: 1.75em;
|
|
}
|
|
.content h2 {
|
|
font-size: 1.5em;
|
|
}
|
|
.content h3 {
|
|
font-size: 1.25em;
|
|
}
|
|
.pseudo_h3 {
|
|
font-size: 1.25em;
|
|
}
|
|
.small_click_below {
|
|
font-size: 0.75em;
|
|
}
|
|
}
|
|
|
|
/*
|
|
* When the screen is > 500 pixels (> 515 w/padding) AND <= 761 pixels wide (<= 777 w/padding)
|
|
*
|
|
* Make the two columns stack on top of each other instead of next to each other,
|
|
* and adjust the defaults for a somewhat smaller screen.
|
|
*/
|
|
@media screen and (max-width: 761px) {
|
|
body {
|
|
font-size: 1em;
|
|
}
|
|
.header {
|
|
padding: 0;
|
|
border: 0;
|
|
text-align: center;
|
|
}
|
|
.header h1 {
|
|
font-size: 1.5em;
|
|
}
|
|
.header h2 {
|
|
font-size: 1.25em;
|
|
}
|
|
.header h3 {
|
|
font-size: 1em;
|
|
}
|
|
.content, .footer {
|
|
width: 100%;
|
|
padding: 2px;
|
|
}
|
|
.content h1 {
|
|
font-size: 1.25em;
|
|
}
|
|
.content h2 {
|
|
font-size: 1.1em;
|
|
}
|
|
.content h3 {
|
|
font-size: 1em;
|
|
}
|
|
.pseudo_h3 {
|
|
font-size: 1em;
|
|
}
|
|
.small_click_below {
|
|
font-size: 0.6em;
|
|
}
|
|
}
|
|
|
|
/*
|
|
* When the screen is <= 500 pixels wide: (<= 515 w/padding)
|
|
*
|
|
* Make the navigation links stack on top of each other instead of next to each other,
|
|
* and adjust the defaults for a small screen.
|
|
*/
|
|
@media screen and (max-width: 500px) {
|
|
body {
|
|
font-size: 0.9em;
|
|
}
|
|
.header {
|
|
padding: 0;
|
|
border: 0;
|
|
text-align: center;
|
|
}
|
|
.header h1 {
|
|
font-size: 1.25em;
|
|
}
|
|
.header h2 {
|
|
font-size: 1em;
|
|
}
|
|
.header h3 {
|
|
font-size: 0.9em;
|
|
}
|
|
.header img {
|
|
visibility: none;
|
|
width: 0;
|
|
border: 0;
|
|
padding: 0;
|
|
height: auto;
|
|
max-width: 95%;
|
|
position: relative;
|
|
}
|
|
.navbar a {
|
|
float: none;
|
|
width: 100%;
|
|
padding: 0;
|
|
}
|
|
.content h1 {
|
|
font-size: 1.25em;
|
|
}
|
|
.content h2 {
|
|
font-size: 1em;
|
|
}
|
|
.content h3 {
|
|
font-size: 0.9em;
|
|
}
|
|
.pseudo_h3 {
|
|
font-size: 0.9em;
|
|
}
|
|
.small_click_below {
|
|
font-size: 0.5em;
|
|
}
|
|
}
|
|
|
|
/*
|
|
* When printing:
|
|
*
|
|
* These values are produced by pandoc when converting markdown to HTML
|
|
* when using the --standalone option.
|
|
*/
|
|
@media print {
|
|
html {
|
|
background-color: white;
|
|
}
|
|
body {
|
|
background-color: transparent;
|
|
color: black;
|
|
font-size: 12pt;
|
|
}
|
|
p, h2, h3 {
|
|
orphans: 3;
|
|
widows: 3;
|
|
}
|
|
h2, h3, h4 {
|
|
page-break-after: avoid;
|
|
}
|
|
/* IOCCC addition - print all as if they were not visited */
|
|
a:focus, a:hover, a:visited, a:active {
|
|
color: blue;
|
|
}
|
|
.navbar a, .navbar a:focus, .navbar a:hover, .navbar a:visited, .navbar a:active {
|
|
color: lightblue;
|
|
}
|
|
}
|