Index: trunk/extensions/UsabilityInitiative/js/plugins/jquery.wikiEditor.html |
— | — | @@ -4,18 +4,19 @@ |
5 | 5 | <title>WikiEditor</title> |
6 | 6 | <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> |
7 | 7 | <style> |
8 | | - /* CSS for highlight module. Note that this CSS is loaded in the iframe, |
9 | | - * not in the main document. For that reason, it's also not in the combined and |
10 | | - * minified files. |
11 | | - * |
12 | | - * When you edit this please update the style version in js/plugins/jquery.wikiEditor.highlight.js |
13 | | - */ |
14 | | - |
| 8 | + body { |
| 9 | + margin: 0; |
| 10 | + padding: 0; |
| 11 | + width: 100%; |
| 12 | + height: 100%; |
| 13 | + font-family: monospace; |
| 14 | + white-space: pre-wrap; |
| 15 | + font-size: 9.5pt; |
| 16 | + } |
15 | 17 | /* Wikitext that's folded away and shouldn't be displayed */ |
16 | 18 | .wikiEditor-nodisplay { |
17 | 19 | display: none !important; |
18 | 20 | } |
19 | | - |
20 | 21 | /* A collapsed template */ |
21 | 22 | .wikiEditor-template-collapsed { |
22 | 23 | background-color:#DDEEFF; |
— | — | @@ -53,7 +54,6 @@ |
54 | 55 | margin:3px; |
55 | 56 | padding:0 0.25em; |
56 | 57 | } |
57 | | - |
58 | 58 | /* == Header == */ |
59 | 59 | .wikiEditor-toc-header { /* TODO: move parsing to highlight module and rename this */ |
60 | 60 | display: inline; |
— | — | @@ -61,6 +61,7 @@ |
62 | 62 | } |
63 | 63 | </style> |
64 | 64 | <script type="text/javascript"> |
| 65 | + |
65 | 66 | parent.inherit( window )( function() { |
66 | 67 | function get( name ) { |
67 | 68 | // Extracts the value of a given URL parameter from the current window location |
— | — | @@ -79,5 +80,5 @@ |
80 | 81 | } ); |
81 | 82 | </script> |
82 | 83 | </head> |
83 | | -<body style="margin:0;padding:0;width:100%;height:100%;white-space:pre-wrap;font-family:monospace;font-size:9.5pt;"></body> |
| 84 | +<body></body> |
84 | 85 | </html> |
\ No newline at end of file |