# HG changeset patch # User David Barts # Date 1579590171 28800 # Node ID 732f92dc3bc699c2d08d98bb47ab10087b0b45c8 # Parent 0cd912d291845e104e410889dc8543f057a0df1a Don't need head. diff -r 0cd912d29184 -r 732f92dc3bc6 src/name/blackcap/clipman/Main.kt --- a/src/name/blackcap/clipman/Main.kt Mon Jan 20 22:59:04 2020 -0800 +++ b/src/name/blackcap/clipman/Main.kt Mon Jan 20 23:02:51 2020 -0800 @@ -151,7 +151,7 @@ private fun preproc(html: String): Pair { val sty = StyleSheet().apply { - addRule("head, body { font-family: serif; font-size: %d; }".format(PROP_SIZE)) + addRule("body { font-family: serif; font-size: %d; }".format(PROP_SIZE)) addRule("code, kbd, pre, samp, tt { font-family: monospace; font-size: %d; }".format(MONO_SIZE)) } val scrubbed = Jsoup.parse(html).run {