Description: make html font somewhat configurable
Author: Alexander Zangerl <az@debian.org>

--- exmh-2.8.0.orig/lib/fontsel.tcl
+++ exmh-2.8.0/lib/fontsel.tcl
@@ -32,6 +32,7 @@ proc Font_Dialog {} {
 	    *Ftoc*Text.font
 	    *Msg*Text.font
 	    *Sedit*Text.font
+	    *HTML.font
 	} 
 	foreach resource $fontreslist {
 	    $m add command -label $resource -command "FontSetResource $resource \$font(current)"
--- exmh-2.8.0.orig/lib/html_tags.tcl
+++ exmh-2.8.0/lib/html_tags.tcl
@@ -51,19 +51,9 @@ proc HMtag_base {win param text} {
 # are likely
 
 proc HMset_font {win tag font} {
-	global Fonts
-	set label [StatusLabel $win]	;# This may not exist for msg dialogs
-	if {![info exists Fonts($font)]} {
-		set Fonts($font) 1
-		catch {$label configure -fg blue}
-		Status $win "downloading font $font"
-		set status 1
-	}
-	catch {$win tag configure $tag -font $font}
-	if [info exists status] {
-	    StatusLazy $win {}
-	    catch {$label configure -fg black}
-	}
+    # az: hack to ditch the unconfigurable font family and inconsistent sizing
+    set font [option get . HTML.font {}]
+    catch {$win tag configure $tag -font {$font 10}}
 }
 
 # Lets invent a new HTML tag, just for fun.
