From 7c88620b346b3bddfbe30b3b7efedb0c73d3bfbb Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Mon, 25 Mar 2019 14:59:30 +0100
Subject: [PATCH] [HTML] Change header style

---
 bin/pandoc_fixer.pl | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/bin/pandoc_fixer.pl b/bin/pandoc_fixer.pl
index d16d2b5..d53968f 100755
--- a/bin/pandoc_fixer.pl
+++ b/bin/pandoc_fixer.pl
@@ -78,6 +78,13 @@ while(defined(my $line=<INPUT>)) {
     # if($line =~ /img src="([^%][^"]*)"/) {
     # 	$line = "\t".$line;
     # }
+
+    #### Changing headers
+    foreach($i in (4,3,2,1)) {
+	$j=$i+1;
+	$line =~ s|<h$i|<h$j|g;
+	$line =~ s|</h$i|</h$j|g;
+    }
     print OUTPUT $line;
 }
 
-- 
2.18.1