wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 11:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fixed margins so they look/work right on both demo and sandbox

Browse source
This commit is contained in:
Trevor Parscal 2011-11-28 23:53:34 +00:00
parent c80b1d5fb0
commit 7c9140d4b4
2 changed files with 12 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
demo/index.html
View file

@ -30,6 +30,10 @@
border: solid 1px #dddddd;
border-top: none;
}
#es-visual {
padding-left: 1em;
padding-right: 1em;
}
</style>
</head>
<body>

14
modules/es/es.Surface.css
View file

@ -1,6 +1,8 @@
.es-surfaceView {
overflow: hidden;
font-size: 1em; /* to look more like MediaWiki use: 0.8em */;
margin-left: -1em;
margin-right: -1em;
}
.es-surfaceView-textarea {
@ -71,32 +73,32 @@
}
.es-headingView-level1 > * {
font-size:188%;
font-size: 188%;
font-weight: normal;
}
.es-headingView-level2 > * {
font-size:150%;
font-size: 150%;
font-weight: normal;
}
.es-headingView-level3 > * {
font-size:132%;
font-size: 132%;
font-weight: bold;
}
.es-headingView-level4 > * {
font-size:116%;
font-size: 116%;
font-weight: bold;
}
.es-headingView-level5 > * {
font-size:100%;
font-size: 100%;
font-weight: bold;
}
.es-headingView-level6 > * {
font-size:80%;
font-size: 80%;
font-weight: bold;
}