/* * Monitoring Plugins style sheet. * * Color scheme: * * - See . * - Additionally, we use the CSS color "dimgray" (#696969) for stuff like the * breadcrumb navigation and the footer. * * Font faces: * * - CSS generated by . */ /* bitter-regular - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Bitter'; font-style: normal; font-weight: 400; src: url('fonts/bitter-v32-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/bitter-v32-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* bitter-italic - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Bitter'; font-style: italic; font-weight: 400; src: url('fonts/bitter-v32-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/bitter-v32-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* bitter-700 - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Bitter'; font-style: normal; font-weight: 700; src: url('fonts/bitter-v32-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/bitter-v32-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* bitter-700italic - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Bitter'; font-style: italic; font-weight: 700; src: url('fonts/bitter-v32-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/bitter-v32-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* source-sans-3-regular - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Source Sans 3'; font-style: normal; font-weight: 400; src: url('fonts/source-sans-3-v8-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/source-sans-3-v8-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* source-sans-3-italic - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Source Sans 3'; font-style: italic; font-weight: 400; src: url('fonts/source-sans-3-v8-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/source-sans-3-v8-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* source-sans-3-700 - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Source Sans 3'; font-style: normal; font-weight: 700; src: url('fonts/source-sans-3-v8-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/source-sans-3-v8-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* source-sans-3-700italic - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Source Sans 3'; font-style: italic; font-weight: 700; src: url('fonts/source-sans-3-v8-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/source-sans-3-v8-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* source-code-pro-regular - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Source Code Pro'; font-style: normal; font-weight: 400; src: url('fonts/source-code-pro-v22-latin-regular.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/source-code-pro-v22-latin-regular.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* source-code-pro-italic - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Source Code Pro'; font-style: italic; font-weight: 400; src: url('fonts/source-code-pro-v22-latin-italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/source-code-pro-v22-latin-italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* source-code-pro-700 - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Source Code Pro'; font-style: normal; font-weight: 700; src: url('fonts/source-code-pro-v22-latin-700.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/source-code-pro-v22-latin-700.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } /* source-code-pro-700italic - latin */ @font-face { font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */ font-family: 'Source Code Pro'; font-style: italic; font-weight: 700; src: url('fonts/source-code-pro-v22-latin-700italic.woff2') format('woff2'), /* Chrome 36+, Opera 23+, Firefox 39+ */ url('fonts/source-code-pro-v22-latin-700italic.woff') format('woff'); /* Chrome 5+, Firefox 3.6+, IE 9+, Safari 5.1+ */ } body { font-family: "Source Sans 3", sans-serif; text-rendering: optimizeLegibility; } h1, h2, h3, h4, h5, h6 { color: #004e8f; font-family: "Bitter", serif; } code, kbd { font-family: "Source Code Pro", monospace; white-space: pre; } pre { font-family: "Source Code Pro", monospace; font-size: small; } div#github-ribbon a img { position: absolute; top: 0; right: 0; border-style: none; } div#page { max-width: 45em; margin: 1em auto; } div#menu { padding: 0.625em 0; background-color: #1b476b; font-weight: bold; } div#menu span { padding: 0.625em; } div#menu span#current { color: #fff; background-color: #5a95c7; } div#menu a { color: #fff; text-decoration: none; -webkit-transition-property: color; -moz-transition-property: color; -ms-transition-property: color; -o-transition-property: color; transition-property: color; -webkit-transition-duration: 0.3s; -moz-transition-duration: 0.3s; -ms-transition-duration: 0.3s; -o-transition-duration: 0.3s; transition-duration: 0.3s; } div#menu a:hover { color: #eeb76b; } div#menu div#feed-buttons { float: right; } div#menu div#feed-buttons a img { margin-right: 0.625em; border-style: none; } div#breadcrumb { padding: 1em 1em 0.2em; color: #696969; font-size: small; } div#breadcrumb span#release { float: right; font-weight: bold; } div#content { padding: 0.2em 1em 1em; } div#content a { color: #3283c7; text-decoration: none; border-bottom: 1px dotted #3283c7; } div#content a:hover { border-bottom: 1px solid #3283c7; } div#footer { padding: 1em; color: #696969; text-align: center; font-size: small; line-height: 150%; } div#breadcrumb a, div#footer a { color: #696969; text-decoration: none; border-bottom: 1px dotted #696969; } div#breadcrumb a:hover, div#footer a:hover { border-bottom: 1px solid #696969; } p#news-footer { color: #696969; text-align: center; font-size: small; } /* * Nginx Fancy Index. */ table { font-family: "Source Code Pro", monospace; font-size: small; } table a { color: #3283c7; text-decoration: none; } table a:hover { color: #3283c7; /* Overwrite Fancy Index CSS. */ } img.travis { vertical-align: sub; } /* * On narrow displays, replace the menu bar with a simple list of items, and * omit the GitHub ribbon. */ @media (max-width: 45em) { div#menu { padding: 1em; background-color: #fff; border-bottom: 1px dotted #696969; } div#menu span { display: list-item; padding: 0; } div#menu span#current { color: #5a95c7; background-color: #fff; } div#menu a { color: #1b476b; } } @media (max-width: 60em) { div#github-ribbon { display: none; } } /* * Dark scheme. */ @media (prefers-color-scheme: dark) { /* * Loosely based on: * * https://material.io/archive/guidelines/style/color.html#color-themes */ body { color: #eee; background-color: #212121; } h1, h2, h3, h4, h5, h6 { color: #eee; } }