MediaWiki:Gadget-ErroriOrtografici.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.

#cercaErroriOrtografici {
	float: right;
	margin-left: 10px;
}
.errori-ortografici-box {
	position: fixed;
	left: 200px;
	top: 100px;
	min-width: 650px;
	max-width: 800px;
	z-index: 999999999;
}
.errori-ortografici-box-main {
	overflow: auto;
	min-height: 200px;
	max-height: 400px;
}
#errori-ortografici-list li {
	font-family: serif;
    font-size: 11pt;
}
#errori-ortografici-params {
	border-bottom: 1px solid gray;
	padding-bottom: 10px;
    margin-bottom: 10px;
}
#errori-ortografici-params div {
	padding: 5px;
	display: inline-block;
    margin-right: 30px;
}
#errori-ortografici-params label {
	padding-right: 10px;
    display: inline-block;
}
#errori-ortografici-cat {
	width: 250px;
}
#errori-ortografici-max {
	text-align: right;
    width: 70px;
}
#downloadTextForSpelling, #errori-ortografici-help, #openSearchRegex {
	float: right;
	margin-left: 5px;
}
#searchRegex {
	margin-left: 5px;
}
.highlight-word {
	background-color: yellow;
}
.alert {
	color: red;
}
.small-label {
    font-size: smaller;
    padding-top: 0;
}