/* Copyright (C) 2010-2022, 2024 Free Software Foundation, Inc. This file is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This file is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. */ /* Begin of reset */ html, body, div, span, applet, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, big, cite, code, del, dfn, em, img, ins, kbd, q, s, samp, small, strike, strong, sub, sup, tt, var, b, u, i, center, dl, dt, dd, ol, ul, li, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td, article, aside, canvas, details, embed, figure, figcaption, footer, header, hgroup, menu, nav, output, ruby, section, summary, time, mark, audio, video { margin: 0; padding: 0; border: 0; font-size: 100%; font: inherit; vertical-align: baseline; } /* HTML5 display-role reset for older browsers */ article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section { display: block; } body { line-height: 1; } blockquote, q { quotes: none; } blockquote:before, blockquote:after, q:before, q:after { content: ''; content: none; } table { border-collapse: collapse; border-spacing: 0; margin: 1em 0 1em; } /* End of reset */ body { font-family: "Fira Sans", sans-serif; line-height: 1.5em; font-size: 1.2em; color: #333; } html, body { height: 100%; } .wrapper { min-height: 100%; height: auto !important; /* This line and the next line are not necessary unless you need IE6 support */ height: 100%; margin: 0 auto -50px; /* the bottom margin is the negative value of the footer's height */ } .push { height: 90px; /* .push must be the same height as .footer */ } h1 { font-size: 2.5em; margin: 0.4em; } h2 { font-size: 2em; margin: 1.2em 0px; } h3 { font-size: 1.5em; font-weight: bold; margin: 1.2em 0px; } h4 { margin: 1em 0px; font-weight: bold; } h5 { margin: 1em 0px; font-style: italic; } a { color: #c73a6c; text-decoration: none; } small { font-size: smaller; } a:hover { color: #973066; text-decoration: underline; } /* FIXME: This is meant for inline `code` but also matches block `code` :-( I tried to use `:not(pre) code` so that it applies to all `code` except those immediately within a `pre` but AFAICT it then did not match anything at all. So instead I use a separate rule for `pre code` which overrides some of these settings. */ tt, code { font-family: "Fira Mono", monospace; background-color: rgb(238, 238, 238); border: 1px solid rgb(187, 187, 187); padding: 0px 6px; border-radius: 4px; white-space: nowrap; } /* FIXME: This overrides the above settings for the non-inline multiline code blocks. Important for Markdown rendered files which use
...
for multiline code blocks. */ pre code { background: #fafafa; border: 0px solid; white-space: pre; padding: 0px; } pre { font-family: "Fira Mono", monospace; font-size: 14px; background: #fafafa; padding: 1em; border: 0px solid; overflow-y: auto; white-space: pre; } pre .kw { font-weight: bold; color: #4f0f71; } /* Apparently the big "reset" at the beginning makes this necessary. */ strong { font-weight: bold; } em { font-style: oblique; } p { margin: 1em 0 1em 0; } p.centered { text-align: center; margin: 3em 0; } dl { margin: 30px 2em; } dt { font-weight: bold; margin: 0.25em 0 0 0; vertical-align: top; } p img { max-width: 100%; margin-left: auto; margin-right: auto; } .button { border: 2px solid; padding: 10px; border-radius: 10px; text-decoration: none; font-weight: bold; font-size: 1.2em; } .container { padding: 20px; width: 960px; margin: 0 auto; } .invisible { display: none; } header, .header { color: white; text-align: center; background-color: #bb3955; background: #bb3955 linear-gradient(135deg, #c73a6c, #bb3955, #973066) repeat scroll 0% 0%; border-bottom: 6px solid #691240; } header p, .header p { margin: 0; } header a, .header a { color: rgb(240, 255, 135); text-decoration: none; } header a:hover, .header a:hover { color: rgb(240, 255, 135); text-decoration: underline; background: transparent; } header.small, .header.small { text-align: left; border-width: 3px; } header.small h1, .header.small h1 { display: inline; font-size: 1.5em; margin: 0; background: url(images/elpa-small.png) center left no-repeat; padding: 10px; padding-left: 120px; } header.small .container, .header.small .container { padding: 20px; } input[type="search"] { border: 3px solid #ddd; padding: 10px; width: 100%; font-size: 1.1em; background: #fcfcfc; } input[type="search"]:focus { border-color: #bbb; background: #fafafa; } input[type="search"][placeholder] { color: #666; } .filter-table .quick { margin-left: 0.5em; font-size: 0.8em; text-decoration: none; } .fitler-table .quick:hover { text-decoration: underline; } td.alt { background-color: #ffc; background-color: rgba(255, 255, 0, 0.2); } td, th { padding: 6px; } th { text-align: left; border-bottom: 2px solid #ddd; background: #fafafa; font-weight: bold; } td { border-bottom: 1px solid #ddd; } td:last-child, th:last-child { text-align: right; } footer, .footer { border-top: 1px solid #999; text-align:center; font-size: 0.9em; background-color: #eee; color: #666; } footer .container, .footer .container { padding: 15px 0; } footer p, .footer p { margin: 0; font-size: .8em; padding: 0; line-height: 1.4em; } table { width: 100%; } @media screen and (max-width: 999px) { .container { width: 600px; } } @media screen and (max-width: 639px) { body { font-size: 1em; } .container { width: 90%; padding: 40px 5%; } h1 { font-size: 1.4em; } header img, .header img { width: 300px; } td:nth-child(2), th:nth-child(2) { display: none; } dd { width: 100%; } } @media screen and (max-width: 439px) { header img, .header img { width: 250px; } h1 { font-size: 1.2em; } } ul { list-style-type: circle; margin-left: 1.2em; } li { margin-bottom: 0.25em; } .badge { float: right; display: block; }