dl/htdocs/css/main.css

143 lines
2 KiB
CSS
Raw Permalink Normal View History

2020-06-17 20:49:28 +02:00
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%;
}