extensions/WikiEditor/modules/jquery.wikiEditor.html

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