wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Made preview panes look better

Browse source
This commit is contained in:
Trevor Parscal 2011-12-08 00:34:05 +00:00
parent 70d5beec71
commit fceda78696
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
modules/sandbox/sandbox.css
View file

@ -71,12 +71,15 @@
}
.es-code {
white-space: pre-wrap;
font-family: "Droid Sans Mono", "Courier New", monospace;
font-family: monospace, "Courier New";
font-size: 0.8em;
}
.mediawiki .es-code {
font-size: 1em;
}
.es-render {
line-height: 1.5em;
padding-top: 0;
padding: 1em;
}
.es-history {
line-height: 1.5em;
@ -103,7 +106,7 @@
}
.mediawiki .es-menuView {
font-size: 0.8em;
font-size: 0.9em;
}
#es-toolbar .es-toolbarGroups {