From 3a73b4d96c7b6fe914819f4a7fff589dbb74b223 Mon Sep 17 00:00:00 2001
From: Lucien Cartier-Tilet <lucien@phundrak.com>
Date: Wed, 29 Apr 2020 21:19:43 +0200
Subject: [PATCH] Updated header

---
 org/config/headers.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org/config/headers.org b/org/config/headers.org
index f92656b..cae8f46 100644
--- a/org/config/headers.org
+++ b/org/config/headers.org
@@ -23,7 +23,7 @@
 #+HTML_HEAD_EXTRA: <script defer src="https://cdn.jsdelivr.net/npm/js-cookie@2/src/js.cookie.min.js"></script>
 #+HTML_HEAD_EXTRA: <script defer src="https://langue.phundrak.com/dart/main.dart.js"></script>
 #+HTML_HEAD_EXTRA: <script defer src="https://kit.fontawesome.com/4d42d0c8c5.js"></script>
-#+INFOJS_OPT: view:info home:https://phundrak.com/config toc:t
+#+INFOJS_OPT: view:info home:https://phundrak.com/config toc:t ltoc:t mouse:underline
 
 # ### MACROS ###################################################################
 #+MACRO: newline @@latex:\hspace{0pt}\\@@ @@html:<br>@@