blob: 0bfd97e5755ef8edae43547babafad5ad71d1679 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<title>WikiEditor</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<style>
body {
margin: 0;
padding: 0;
width: 100%;
height: 100%;
font-family: monospace;
font-size: 9.5pt;
line-height: 1.5em;
overflow-x: auto; /* Use horizontal scroller if needed; for Firefox 2, not needed in Firefox 3 */
white-space: pre-wrap; /* css-3 */
white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
white-space: -pre-wrap; /* Opera 4-6 */
white-space: -o-pre-wrap; /* Opera 7 */
word-wrap: break-word; /* Internet Explorer 5.5+ */
}
body.pasting {
white-space: normal;
}
p {
margin: 0;
padding: 0;
}
/* General WikiEditor stuff */
.wikiEditor-nodisplay {
display: none !important;
}
.wikiEditor-tab {
padding-left: 4em;
}
</style>
</head>
<body></body>
</html>
|
