Index: trunk/extensions/VisualEditor/modules/sandbox/sandbox.css |
— | — | @@ -71,12 +71,15 @@ |
72 | 72 | } |
73 | 73 | .es-code { |
74 | 74 | white-space: pre-wrap; |
75 | | - font-family: "Droid Sans Mono", "Courier New", monospace; |
| 75 | + font-family: monospace, "Courier New"; |
76 | 76 | font-size: 0.8em; |
77 | 77 | } |
| 78 | +.mediawiki .es-code { |
| 79 | + font-size: 1em; |
| 80 | +} |
78 | 81 | .es-render { |
79 | 82 | line-height: 1.5em; |
80 | | - padding-top: 0; |
| 83 | + padding: 1em; |
81 | 84 | } |
82 | 85 | .es-history { |
83 | 86 | line-height: 1.5em; |
— | — | @@ -103,7 +106,7 @@ |
104 | 107 | } |
105 | 108 | |
106 | 109 | .mediawiki .es-menuView { |
107 | | - font-size: 0.8em; |
| 110 | + font-size: 0.9em; |
108 | 111 | } |
109 | 112 | |
110 | 113 | #es-toolbar .es-toolbarGroups { |