[HTML] Change header style

7c88620b · Arnaud Legrand · 670bdde2 · 7c88620b
Commit 7c88620b authored Mar 25, 2019 by Arnaud Legrand
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

pandoc_fixer.pl bin/pandoc_fixer.pl +7 -0

No files found.
--- 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;
 }