From 346b296321b92fcfd8fbf4f1aedd75b0131cf7b9 Mon Sep 17 00:00:00 2001
From: Guillaume Mazoyer <gmazoyer@gravitons.in>
Date: Sun, 28 Jan 2018 15:33:55 +0100
Subject: Smaller titles for modals.

---
 index.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.php b/index.php
index b2f40e6..d0d54b8 100644
--- a/index.php
+++ b/index.php
@@ -205,7 +205,7 @@ final class LookingGlass {
     print('<div class="modal-dialog" role="document">');
     print('<div class="modal-content">');
     print('<div class="modal-header">');
-    print('<h4 class="modal-title">Peering Policy</h4>');
+    print('<h5 class="modal-title">Peering Policy</h5>');
     print('<button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">&times;</span></button>');
     print('</div>');
     print('<div class="modal-body">');
@@ -232,7 +232,7 @@ final class LookingGlass {
     print('<div class="modal-dialog" role="document">');
     print('<div class="modal-content">');
     print('<div class="modal-header">');
-    print('<h4 class="modal-title">Help</h4>');
+    print('<h5 class="modal-title">Help</h5>');
     print('<button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">&times;</span></button>');
     print('</div>');
     print('<div class="modal-body">');
-- 
cgit v1.2.3