From ff9ebaa31ae31401e236574e81c2e75609adc727 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 17 Nov 2015 10:48:14 -0800
Subject: [PATCH] beamer template:  added 'navigation' variable.

Valid values are empty (default), frame, vertical, horizontal.
---
 default.beamer | 1 +
 1 file changed, 1 insertion(+)

diff --git a/default.beamer b/default.beamer
index 7e2835f19..774916492 100644
--- a/default.beamer
+++ b/default.beamer
@@ -20,6 +20,7 @@ $endif$
 \setbeamertemplate{caption}[numbered]
 \setbeamertemplate{caption label separator}{: }
 \setbeamercolor{caption name}{fg=normal text.fg}
+\beamertemplatenavigationsymbols$if(navigation)$$navigation$$else$empty$endif$
 $if(fontfamily)$
 \usepackage[$for(fontfamilyoptions)$$fontfamilyoptions$$sep$,$endfor$]{$fontfamily$}
 $else$