From 1223ca5469803a4bb30069a7ccdb8373352d4d49 Mon Sep 17 00:00:00 2001
From: WrinklyNinja <wrinklyninja1@gmail.com>
Date: Wed, 16 Jul 2014 12:11:19 +0100
Subject: [PATCH] Fixed Marked adding unnecessary message spacing.

Also set Marked options so that GitHub Flavored Markdown is supported
and HTML is sanitized.
---
 resources/report/css/style.css | 3 +++
 resources/report/js/script.js  | 6 ++++++
 2 files changed, 9 insertions(+)

diff --git a/resources/report/css/style.css b/resources/report/css/style.css
index b065158d..92ee08ad 100644
--- a/resources/report/css/style.css
+++ b/resources/report/css/style.css
@@ -353,6 +353,9 @@ li.say, li.error, li.warn {
     padding:0.5em 1em;
     list-style:disc inside;
 }
+li.say > p, li.error > p, li.warn > p {
+    margin: 0;
+}
 li.error{
     background:#ff9090;
 }
diff --git a/resources/report/js/script.js b/resources/report/js/script.js
index 73f31e40..77110e2d 100644
--- a/resources/report/js/script.js
+++ b/resources/report/js/script.js
@@ -901,6 +901,12 @@ function getGameData() {
 
 require(['js/marked'], function(response) {
     marked = response;
+    /* Make sure settings are what I want. */
+    marked.setOptions({
+        gfm: true,
+        tables: true,
+        sanitize: true
+    });
     initGlobalVars();
     getGameData();
     if (isStorageSupported()) {