From 30e800971307c56ed28abd9425b4c17009e2d990 Mon Sep 17 00:00:00 2001
From: Manuel Cillero <manuel@cillero.es>
Date: Mon, 28 Aug 2017 01:24:47 +0200
Subject: [PATCH] Improve GeSHi code and book navigation view

---
 modules/book/book-navigation.tpl.php |  4 ++--
 modules/geshifilter/geshifilter.css  | 11 +++++++++++
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/modules/book/book-navigation.tpl.php b/modules/book/book-navigation.tpl.php
index 9382af6..2d04d8c 100644
--- a/modules/book/book-navigation.tpl.php
+++ b/modules/book/book-navigation.tpl.php
@@ -36,13 +36,13 @@
     <?php if ($has_links): ?>
     <div class="page-links clear-block">
       <?php if ($prev_url) : ?>
-        <a href="<?php print $prev_url; ?>" class="page-previous" title="<?php print t('Go to previous page'); ?>"><?php print t('‹ ') . $prev_title; ?></a>
+        <a href="<?php print $prev_url; ?>" class="page-previous" title="<?php print t('Go to previous page'); ?>"><?php print '‹&nbsp;' . $prev_title; ?></a>
       <?php endif; ?>
       <?php if ($parent_url) : ?>
         <a href="<?php print $parent_url; ?>" class="page-up" title="<?php print t('Go to parent page'); ?>"><?php print t('up'); ?></a>
       <?php endif; ?>
       <?php if ($next_url) : ?>
-        <a href="<?php print $next_url; ?>" class="page-next" title="<?php print t('Go to next page'); ?>"><?php print $next_title . t(' ›'); ?></a>
+        <a href="<?php print $next_url; ?>" class="page-next" title="<?php print t('Go to next page'); ?>"><?php print $next_title . '&nbsp;›'; ?></a>
       <?php endif; ?>
     </div>
     <?php endif; ?>
diff --git a/modules/geshifilter/geshifilter.css b/modules/geshifilter/geshifilter.css
index 3b0f152..58e1da0 100644
--- a/modules/geshifilter/geshifilter.css
+++ b/modules/geshifilter/geshifilter.css
@@ -55,6 +55,17 @@ div.geshifilter li {
   line-height: 1.3;
 }
 
+@media (max-width: 899px) {
+  div.geshifilter pre, div.geshifilter li {
+    font-size: 94%;
+  }
+}
+@media (max-width: 529px) {
+  div.geshifilter pre, div.geshifilter li {
+    font-size: 88%;
+  }
+}
+
 /* CSS resets for the table elements in GESHI_HEADER_PRE_TABLE mode */
 div.geshifilter table, div.geshifilter tbody, div.geshifilter tr, div.geshifilter td {
   margin: 0;