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;
}