Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
/* Turn the "Save page" button green when logged in */
INPUT#wpSave {
background-color:#88ff88;
}
/* Float text around TOC */
#toc {
clear:left;
float:left;
margin-right:1em;
}