142 lines
2 KiB
CSS
142 lines
2 KiB
CSS
body {
|
|
font-family: sans-serif;
|
|
margin: 0;
|
|
padding: 0 0 10px 0;
|
|
text-align: center;
|
|
}
|
|
|
|
.group-text {
|
|
display: inline-block;
|
|
}
|
|
|
|
.deemphasize {
|
|
color: #aaa;
|
|
}
|
|
|
|
input {
|
|
font-size: inherit;
|
|
max-width: 100%;
|
|
box-sizing: border-box;
|
|
}
|
|
input[type=text] {
|
|
font: inherit;
|
|
}
|
|
|
|
|
|
|
|
/*** Invisible space for correct text wrapping *************************************/
|
|
.invisiblespace {
|
|
font-size: 0pt;
|
|
}
|
|
|
|
|
|
/*** Header and footer *************************************************************/
|
|
.header {
|
|
background-color: #2b3034;
|
|
color: #fff;
|
|
border-bottom: 1px solid #ffd800;
|
|
padding: 0.5em 0;
|
|
text-align: center;
|
|
}
|
|
@media (min-width:500px) {
|
|
.header {
|
|
padding: 1em 0;
|
|
}
|
|
}
|
|
|
|
h1, .subtitle {
|
|
display: inline-block;
|
|
}
|
|
.subtitle {
|
|
margin-left: 0.5em;
|
|
}
|
|
|
|
h1, h2 {
|
|
margin: 0;
|
|
padding: 0;
|
|
font-size: 120%;
|
|
}
|
|
h1 a {
|
|
color: inherit;
|
|
text-decoration: none;
|
|
}
|
|
h2 {
|
|
margin-top: 1em;
|
|
font-size: 110%;
|
|
}
|
|
|
|
@media (min-width:500px) {
|
|
h1 {
|
|
font-size: 160%;
|
|
}
|
|
h2 {
|
|
font-size: 140%;
|
|
}
|
|
}
|
|
|
|
|
|
.info, .footnote {
|
|
text-align: center;
|
|
padding: 0 1em;
|
|
}
|
|
.info {
|
|
margin-bottom: 1em;
|
|
}
|
|
.info .stopref {
|
|
margin: 0.4em 0;
|
|
}
|
|
|
|
@media (min-width:500px) {
|
|
.info {
|
|
width: 400px;
|
|
text-align: right;
|
|
min-width: 30%;
|
|
max-width: 1000px;
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
}
|
|
.info .stopref {
|
|
float: left;
|
|
margin: 0;
|
|
}
|
|
}
|
|
|
|
.bottom-search div {
|
|
margin: 0.3em 0;
|
|
}
|
|
|
|
|
|
/*** Search elements ***************************************************************/
|
|
.mainsearch input {
|
|
font-size: 120%;
|
|
}
|
|
|
|
@media (min-width:500px) {
|
|
.mainsearch input {
|
|
font-size: 140%;
|
|
}
|
|
}
|
|
|
|
.search {
|
|
margin-top: 1em;
|
|
}
|
|
|
|
/*** Error messages ***************************************************************/
|
|
.user-error {
|
|
color: #333;
|
|
margin: 1em 0;
|
|
font-size: 150%;
|
|
}
|
|
|
|
/*** Line numbers ******************************************************************/
|
|
span.line-nr {
|
|
display: inline-block;
|
|
text-align: center;
|
|
width: 2em;
|
|
padding: 0.1em;
|
|
border: 2px solid transparent;
|
|
border-radius: 5px;
|
|
}
|
|
span.small.line-nr {
|
|
font-size: 75%;
|
|
}
|