Esanders has uploaded a new change for review.
https://gerrit.wikimedia.org/r/123877
Change subject: Fix debug bar margins
......................................................................
Fix debug bar margins
Change-Id: I056ed657b7bcf344cc371cecfd98f17ac455c317
---
M demos/ve/demo.css
M modules/ve/init/styles/ve.init.DebugBar.css
2 files changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/VisualEditor/VisualEditor
refs/changes/77/123877/1
diff --git a/demos/ve/demo.css b/demos/ve/demo.css
index 2fac3c1..5ea8fb1 100644
--- a/demos/ve/demo.css
+++ b/demos/ve/demo.css
@@ -33,7 +33,7 @@
border: 1px solid #ccc;
border-top: 0;
border-radius: 0 0 0.5em 0.5em;
- padding: 1em 2em;
+ padding: 2em;
box-shadow: 0 0.25em 1.5em 0 #ddd;
}
diff --git a/modules/ve/init/styles/ve.init.DebugBar.css
b/modules/ve/init/styles/ve.init.DebugBar.css
index be85cbe..44640a6 100644
--- a/modules/ve/init/styles/ve.init.DebugBar.css
+++ b/modules/ve/init/styles/ve.init.DebugBar.css
@@ -28,7 +28,7 @@
.ve-init-debugBar-dump {
font-size: 0.7em;
- margin: 2em 0 1.5em 0;
+ margin-top: 2em;
display: none;
background-color: #f3f3f3;
width: 100%;
--
To view, visit https://gerrit.wikimedia.org/r/123877
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I056ed657b7bcf344cc371cecfd98f17ac455c317
Gerrit-PatchSet: 1
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
