#wpTextbox1 {
margin: 0;
display: block;
-}
-
-.editOptions {
- background-color: #F0F0F0;
- border: 1px solid silver;
- border-top: none;
- padding: 1em 1em 1.5em 1em;
- margin-bottom: 2em;
+ /* Ensure the textarea is not higher than browser's viewport on small screens */
+ max-height: 100vh;
+ /* But don't let it collapse into nothingness on really tiny screens */
+ min-height: 5em;
}
/* Adjustments to edit form elements */
.editButtons input:first-child {
margin-left: .1em;
}
+
+/*
+ * Add a bit of margin space between the preview and the toolbar.
+ * This replaces the ugly <p><br /></p> we used to insert into the page source
+ */
+#wikiPreview.ontop {
+ margin-bottom: 1em;
+}