Note: After saving, you have to bypass your browser's cache to see the changes. Internet Explorer: press Ctrl-F5, Mozilla: hold down Shift while clicking Reload (or press Ctrl-Shift-R), Opera/Konqueror: press F5, Safari: hold down Shift + Alt while clicking Reload, Chrome: hold down Shift while clicking Reload.
/* Setzt im Editfenster die Zeilenhöhe auf normal, vorher war's 1,5. */.wikiEditor-uitextarea#wpTextbox1{line-height:normal}pre,code,tt{font-size:1em}/* Höhen-Voreinstellung des Edit-Fensters */#wpTextbox1{height:35em}