MediaWiki:Gadget-showWikiCode.css
Nota: dopo aver pubblicato, potrebbe essere necessario pulire la cache del proprio browser per vedere i cambiamenti.
- Firefox / Safari: tieni premuto il tasto delle maiuscole Shift e fai clic su Ricarica, oppure premi Ctrl-F5 o Ctrl-R (⌘-R su Mac)
- Google Chrome: premi Ctrl-Shift-R (⌘-Shift-R su un Mac)
- Internet Explorer / Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5
- Opera: premi Ctrl-F5.
#showWikiCodeTattoo {
position: fixed;
bottom: 2px;
right: 80px;
z-index: 1003;
display: block;
}
#showWikiCodeCmdBar {
white-space: pre-wrap;
width: 45%;
height: 20px;
position: fixed;
}
#showWikiCodeHeader {
white-space: pre-wrap;
padding: 5px;
background-color: #D9FFFF;
}
#showWikiCodeBody {
white-space: pre-wrap;
padding: 5px;
}
#showWikiCodeFooter {
white-space: pre-wrap;
padding: 5px;
background-color: #CCFFFF;
}
#showWikiCodeMain {
overflow: auto;
margin-top: 20px;
padding: 0;
width: 100%;
}
#showWikiCodeSources {
font-family: Courier;
font-size: 0.7pc;
}
#showWikiCodeBox {
display: flex;
white-space: pre-wrap;
background-color: #FCFCFC;
position: fixed;
width: 45%;
height: 70%;
top: 20px;
right: 20px;
z-index: 999;
border: 1px solid gray;
}
#showWikiCodeButtons button {
margin: 5px;
}
.showWikiCodePageTitle {
border-top: 1px solid gray;
background-color: #d6d6d6;
text-align: center;
user-select: none;
}
.showWikiCodePage {
background-color: #b7fca9;
}
#delWikiCodeBtn {
float: right;
cursor: pointer;
}
/* classi per evidenziazione */
#showWikiCodeBox .tag {
color: blue;
}
#showWikiCodeBox .template {
color: red;
}
#showWikiCodeBox .italic {
background-color: cyan;
}
#showWikiCodeBox .bold, #showWikiCodeBox .bold .italic {
background-color: mediumturquoise;
}
#checkPtBtn {
float: right;
margin-left: 10px;
}
.errori-pt-box {
position: fixed;
left: 200px;
top: 100px;
min-width: 700px;
max-width: 800px;
z-index: 999999999;
}
.errori-pt-box-main {
overflow: auto;
min-height: 200px;
max-height: 400px;
}
.errori-pt-code {
font-family: monospace;
font-size: 10pt;
}
.errori-pt-separator {
color: red;
font-size: large;
}