Mercurial > cgi-bin > hgweb.cgi > ClipMan

changeset 15:732f92dc3bc6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Don't need head.
author David Barts <n5jrn@me.com>
date Mon, 20 Jan 2020 23:02:51 -0800
parents 0cd912d29184
children 88703ca72fc3
files src/name/blackcap/clipman/Main.kt
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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<String, StyleSheet> {
         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 {