From c3d51860c3c335c5cedb7af537dba0709263f411 Mon Sep 17 00:00:00 2001
From: rolux <rolux@rolux.org>
Date: Wed, 20 Jun 2012 09:23:39 +0200
Subject: [PATCH] update markdown parser and css

---
 source/Ox.UI/css/Ox.UI.css |  2 +-
 source/Ox/js/HTML.js       | 11 ++---------
 2 files changed, 3 insertions(+), 10 deletions(-)

diff --git a/source/Ox.UI/css/Ox.UI.css b/source/Ox.UI/css/Ox.UI.css
index 50718580..f7620166 100644
--- a/source/Ox.UI/css/Ox.UI.css
+++ b/source/Ox.UI/css/Ox.UI.css
@@ -1971,7 +1971,7 @@ SourceViewer
     font-family: Menlo, Monaco, DejaVu Sans Mono, Bitstream Vera Sans Mono, Consolas, Lucida Console, monospace;
     font-size: 11px;
 }
-.OxSourceViewer td.OxComment > pre > code {
+.OxSourceViewer td.OxComment > pre {
     line-height: 16px;
     margin: 4px 0 4px 0;
     font-family: Menlo, Monaco, DejaVu Sans Mono, Bitstream Vera Sans Mono, Consolas, Lucida Console, monospace;
diff --git a/source/Ox/js/HTML.js b/source/Ox/js/HTML.js
index bf73b6a7..8511e6ac 100644
--- a/source/Ox/js/HTML.js
+++ b/source/Ox/js/HTML.js
@@ -370,11 +370,6 @@
 
     /*@
     Ox.parseMarkdown <f> Parses (a tiny subset of) Markdown.
-        #\*foo\* -> <em>foo</em>
-        #\*\*foo\*\* -> <strong>foo</strong>
-        #\`foo\` -> <code>foo</code>
-        #\`\`\`foo\`\`\` -> <pre><code>foo</pre></code>
-        #[example](http://example.com "example.com") -> <a href="http://example.com" title="example.com">example</a>
         > Ox.parseMarkdown('*foo* **bar** `baz` ``back`tick``')
         '<em>foo</em> <strong>bar</strong> <code>baz</code> <code>back`tick</code>'
         > Ox.parseMarkdown('<http://example.com>')
@@ -409,15 +404,13 @@
                 function(match, classname, code) {
                     return '<pre><code'
                         + (classname ? ' class="' + classname + '"' : '')
-                        + '>' + code.trim().replace(/</g, '&lt;')
-                        + '\n</code></pre>';
+                        + '>' + code.trim() + '\n</code></pre>';
                 }
             )
             .replace(
                 /(^|[^\\])(`+)([^\r]*?[^`])\2(?!`)/gm,
                 function(match, prev, backticks, code, next) {
-                    return prev + '<code>'
-                        + code.trim().replace(/</g, '&lt;') + '</code>';
+                    return prev + '<code>' + code.trim() + '</code>';
             	}
             )
             .replace(