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 |
||
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
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; | ||
+ | /* important to prevent hyphens "-" when wrapping long code lines */ | ||
+ | /* 2021-03-26 by ELGA GmbH: GKL */ | ||
+ | hyphens: none; | ||
+ | } |
Aktuelle Version vom 26. März 2021, 09:22 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;
/* important to prevent hyphens "-" when wrapping long code lines */
/* 2021-03-26 by ELGA GmbH: GKL */
hyphens: none;
}