r104517 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r104516‎ | r104517 | r104518 >
Date:00:09, 29 November 2011
Author:tparscal
Status:deferred
Tags:
Comment:
Moved some styles over to the demo
Modified paths:
  • /trunk/extensions/VisualEditor/demo/index.html (modified) (history)
  • /trunk/extensions/VisualEditor/modules/sandbox/sandbox.css (modified) (history)

Diff [purge]

Index: trunk/extensions/VisualEditor/demo/index.html
@@ -34,6 +34,25 @@
3535 padding-left: 1em;
3636 padding-right: 1em;
3737 }
 38+ #es-toolbar {
 39+ -webkit-border-radius: 0;
 40+ -moz-border-radius: 0;
 41+ -o-border-radius: 0;
 42+ border-radius: 0;
 43+ -webkit-border-top-right-radius: 0.25em;
 44+ -moz-border-top-right-radius: 0.25em;
 45+ -o-border-top-right-radius: 0.25em;
 46+ border-top-right-radius: 0.25em;
 47+ -webkit-border-top-left-radius: 0.25em;
 48+ -moz-border-top-left-radius: 0.25em;
 49+ -o-border-top-left-radius: 0.25em;
 50+ border-top-left-radius: 0.25em;
 51+ }
 52+ #es-toolbar.float {
 53+ left: 2em;
 54+ right: 2em;
 55+ top: 0;
 56+ }
3857 </style>
3958 </head>
4059 <body>
Index: trunk/extensions/VisualEditor/modules/sandbox/sandbox.css
@@ -1,40 +1,32 @@
22 #es-toolbar {
33 border: solid 1px #dddddd;
44 position: relative;
5 - -webkit-border-top-right-radius: 0.25em;
6 - -moz-border-top-right-radius: 0.25em;
7 - -o-border-top-right-radius: 0.25em;
8 - border-top-right-radius: 0.25em;
9 - -webkit-border-top-left-radius: 0.25em;
10 - -moz-border-top-left-radius: 0.25em;
11 - -o-border-top-left-radius: 0.25em;
12 - border-top-left-radius: 0.25em;
 5+ -webkit-border-radius: 0.25em;
 6+ -moz-border-radius: 0.25e;
 7+ -o-border-radius: 0.25e;
 8+ border-radius: 0.25e;
139 background-image: url(images/fade-up.png);
1410 background-position: bottom left;
1511 background-repeat: repeat-x;
1612 }
1713 #es-toolbar.float {
18 - position: fixed;
19 - left: 2em;
20 - right: 2em;
 14+ left: 0;
 15+ right: 0;
2116 top: 0;
 17+ position: fixed;
 18+ -webkit-border-radius: 0;
 19+ -moz-border-radius: 0;
 20+ -o-border-radius: 0;
 21+ border-radius: 0;
2222 z-index: 100;
2323 border-top: none;
24 - -webkit-border-top-right-radius: 0;
25 - -moz-border-top-right-radius: 0;
26 - -o-border-top-right-radius: 0;
27 - border-top-right-radius: 0;
28 - -webkit-border-top-left-radius: 0;
29 - -moz-border-top-left-radius: 0;
30 - -o-border-top-left-radius: 0;
31 - border-top-left-radius: 0;
3224 }
3325 #es-toolbar-shadow {
3426 background-image: url(images/toolbar-shadow.png);
3527 background-position: top left;
3628 background-repeat: repeat-x;
3729 position: absolute;
38 - bottom: -10px;
 30+ bottom: -9px;
3931 height: 9px;
4032 width: 100%;
4133 pointer-events: none;

Status & tagging log