Small font size debug info

app/src/main/java/eu/faircode/email/HtmlHelper.java

@@ -552,6 +552,9 @@ public class HtmlHelper {
             // Element style
             style = mergeStyles(style, element.attr("style"));
 
+            if ("fairemail_debug_info".equals(clazz))
+                style = mergeStyles(style, "font-size: smaller");
+
             if (text_align) {
                 // https://developer.mozilla.org/en-US/docs/Web/HTML/Element/center
                 if ("center".equals(element.tagName())) {

app/src/main/java/eu/faircode/email/Log.java

@@ -1520,7 +1520,7 @@ public class Log {
             sb.append(ex.toString()).append("\n").append(android.util.Log.getStackTraceString(ex));
         if (log != null)
             sb.append(log);
-        String body = "<pre>" + TextUtils.htmlEncode(sb.toString()) + "</pre>";
+        String body = "<pre class=\"fairemail_debug_info\">" + TextUtils.htmlEncode(sb.toString()) + "</pre>";
 
         EntityMessage draft;