PHPXRef 0.7.1 : MediaWiki-1.24.0 : /extensions/WikiEditor/modules/jquery.wikiEditor.html source

[Summary view] [Print] [Text view]

   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      <!--[if gte IE 8]>
   7          <style>
   8              /* IE8 ONLY - This is how we are fixing the double-height of BR tags when they are alone in a P tag */
   9              p > br  {
  10                  display: none;
  11              }
  12              p > br + br  {
  13                  display: block;
  14              }
  15          </style>
  16      <![endif]--> 
  17      <style>
  18          body {
  19              margin: 0;
  20              padding: 0;
  21              width: 100%;
  22              height: 100%;
  23              font-family: monospace;
  24              font-size: 9.5pt;
  25              line-height: 1.5em;
  26              overflow-x: auto; /* Use horizontal scroller if needed; for Firefox 2, not needed in Firefox 3 */
  27              white-space: pre-wrap; /* css-3 */
  28              white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
  29              white-space: -pre-wrap; /* Opera 4-6 */
  30              white-space: -o-pre-wrap; /* Opera 7 */
  31              word-wrap: break-word; /* Internet Explorer 5.5+ */
  32          }
  33          body.pasting {
  34              white-space: normal;
  35          }
  36          p {
  37              margin: 0;
  38              padding: 0;
  39          }
  40          /* General WikiEditor stuff */
  41          .wikiEditor-nodisplay {
  42              display: none !important;
  43          }
  44          .wikiEditor-tab {
  45              padding-left: 4em;
  46          }
  47      </style>
  48  </head>
  49  <body></body>
  50  </html>

PHP Cross Reference of MediaWiki-1.24.0

/extensions/WikiEditor/modules/ -> jquery.wikiEditor.html (source)