MediaWiki:Geshi.css: Unterschied zwischen den Versionen
Leder (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „pre, .mw-code { color: black !important; background-color: #f9f9f9 !important; border: 1px solid #ddd !important; padding: 1em !important; white-spac…“) |
K (→Erweitierung für Formatierung von Codebeispielen) |
||
| Zeile 10: | Zeile 10: | ||
margin-left: 0px !important; | margin-left: 0px !important; | ||
} | } | ||
| + | |||
| + | /* Special formatting of code blocks in implementation guides for PDF printing */ | ||
| + | /* 2021-01-12 by ELGA GmbH: GKL */ | ||
| + | |||
| + | pre.ilfbox_code { | ||
| + | margin: 6px!important; | ||
| + | padding: 9px!important; | ||
| + | border: 1pt solid black!important; | ||
| + | width: 90%!important; | ||
| + | background-color: #E0FFE0!important; | ||
| + | font-size: 8pt!important; | ||
| + | font-family: 'Courier', monospace!important; | ||
| + | } | ||
Version vom 12. Januar 2021, 16:17 Uhr
pre, .mw-code {
color: black !important;
background-color: #f9f9f9 !important;
border: 1px solid #ddd !important;
padding: 1em !important;
white-space: pre-wrap !important;
margin-top: 1em !important;
margin-right: 0px !important;
margin-bottom: 1em !important;
margin-left: 0px !important;
}
/* Special formatting of code blocks in implementation guides for PDF printing */
/* 2021-01-12 by ELGA GmbH: GKL */
pre.ilfbox_code {
margin: 6px!important;
padding: 9px!important;
border: 1pt solid black!important;
width: 90%!important;
background-color: #E0FFE0!important;
font-size: 8pt!important;
font-family: 'Courier', monospace!important;
}