2.353
Bearbeitungen
Änderungen
MediaWiki:Common.css (Quelltext anzeigen)
Version vom 23. Juli 2022, 16:30 Uhr
, 16:30, 23. Jul. 2022keine Bearbeitungszusammenfassung
@media print {
@media print {
@page {
size: 210mm 297mm;
/* Chrome sets own margins, we change these printer settings */
margin: 25mm 20mm 25mm 20mm;
}
body {
body {
.mw-body {
.mw-body {
border: none;
border: none;
}
}
.mw-body-content {
.mw-body-content {
-webkit-print-color-adjust: exact;
-webkit-print-color-adjust: exact;
font-family: notosans, sans-serif;
font-family: notosans, 'NotoSans-Regular', sans-serif;
font-size: 10pt;
font-size: 10pt;
line-height: 18pt;
line-height: 18pt;
h1, .firstHeading {
h1, .firstHeading {
font-family: notosans, sans-serif;
font-family: notosans, 'NotoSans-Regular', sans-serif;
font-size: 20pt;
font-size: 20pt;
line-height: 30pt;
line-height: 30pt;
h2 {
h2 {
font-family: notosans, sans-serif;
font-family: notosans, 'NotoSans-Regular', sans-serif;
font-size: 15pt;
font-size: 15pt;
line-height: 22.5pt;
line-height: 22.5pt;
font-weight: normal;
font-weight: normal;
margin: 30pt 0 10pt 0;
margin: 30pt 0 10pt 0;
}
}
p, li, .box-content p, .box-content li, .references li {
p, li, .box-content p, .box-content li, .references li {
font-family: notosans, sans-serif;
font-family: notosans, 'NotoSans-Regular', sans-serif;
font-size: 10pt;
font-size: 10pt;
line-height: 16pt;
line-height: 16pt;
.thumb {
.thumb {
position: relative;
position: relative;
display: block;
margin: 20pt 0;
margin: 20pt 0;
}
}
.thumbcaption {
.thumbcaption {
font-family: notosans, sans-serif;
font-family: notosans, 'NotoSans-Regular', sans-serif;
font-size: 8pt;
font-size: 8pt;
line-height: 1.4;
line-height: 1.4;