wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 22:35:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

layout tweaks

Browse source
This commit is contained in:
christian 2012-02-08 22:50:34 +00:00
parent e3e3150399
commit 13921a0468
Notes: Gabriel Wicke 2012-02-27 16:40:01 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/110971
2 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
demos/ce/index.php
View file

@ -39,7 +39,7 @@
border: solid 1px #cccccc;
border-top: none;
}
#es-visual {
#es-editor, .es-showData #es-editor {
padding-left: 1em;
padding-right: 1em;
}

2
modules/ve/ce/styles/ve.es.Document.css
View file

@ -11,8 +11,6 @@
.es-preView,
.es-paragraphView {
margin: 0 0 1em 0;
overflow: hidden;
position: relative;
min-height: 1.5em;
}