MediaWiki:Gadget-MobileStyle.css: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 752: Line 752:


/* Editing interface */
/* Editing interface */
.editOptions {
.mw-editTools { display: none; }
margin: 0.5em 0;
.editOptions { margin: 0.5em 0; }
}
body #wpTextbox0, body #wpTextbox1 {
.mw-editTools {
border: 1px solid #c8ccd1 !important;
display: none;
}
}