--- ie_exp_HTML.h.orig	Thu Dec  2 14:38:53 1999
+++ ie_exp_HTML.h	Thu Dec  2 14:19:16 1999
@@ -28,6 +28,15 @@
 
 // The exporter/writer for HTML
 
+// Not sure if these #defines should go in here or elsewhere...
+
+#define BT_NORMAL	1
+#define	BT_HEADING1	2
+#define	BT_HEADING2	3
+#define	BT_HEADING3	4
+#define	BT_BLOCKTEXT	5
+#define	BT_PLAINTEXT	6
+
 class IE_Exp_HTML : public IE_Exp
 {
 public: