MediaWiki
Difference between revisions of "Common.css"
Line 21: | Line 21: | ||
pre { | pre { | ||
font-family: monospace; | font-family: monospace; | ||
− | padding: . | + | padding: .3em .3em .3em 1em; |
margin: 1em 0 1em 1em; | margin: 1em 0 1em 1em; | ||
border: 1px solid #CCC; | border: 1px solid #CCC; | ||
border-left: 3px solid #CCC ; | border-left: 3px solid #CCC ; | ||
} | } |
Revision as of 15:03, 21 October 2020
.mw-pt-translate-header, .mw-pt-translate-header ~ hr {
display: none;
}
/*HOW TO INTEGRATE NEW CSS:
1) Testing new css idea : use your inspector and test around ;
2) Submit a pull request to github's LinguaLibre skin (or ask someone on the chatroom to do so):
https://github.com/lingua-libre/BlueLL/blob/master/assets/stylesheets/main.css
DO NOT PUT RANDOM CSS CODE INHERE
*/
a.mw-redirect { color: purple; opacity: 0.7; } /* status: sharing ; issue under discussion on github ;*/
code{
background: #FFF;
font-size: 80%;
border: 1px solid #AAA;
border-radius: 3px;
padding: .2em;
} /*test */
pre {
font-family: monospace;
padding: .3em .3em .3em 1em;
margin: 1em 0 1em 1em;
border: 1px solid #CCC;
border-left: 3px solid #CCC ;
}