From 84c11b9b66b6597fbf858075829cf1729874ad1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Del=20Pino?= <stephane.delpino44@gmail.com>
Date: Mon, 6 Jun 2022 18:01:28 +0200
Subject: [PATCH] Change footnote size for html export

---
 doc/userdoc.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/userdoc.org b/doc/userdoc.org
index 963ae2df8..1547ebd6e 100644
--- a/doc/userdoc.org
+++ b/doc/userdoc.org
@@ -12,7 +12,7 @@
 #+ATTR_LATEX: :width 4cm
 #+HTML_HEAD_EXTRA: <style> pre.src-pugs:before { content: 'pugs'; } </style>
 #+HTML_HEAD_EXTRA: <style> pre.src-pugs-error:before { content: 'invalid pugs'; } </style>
-#+HTML_HEAD_EXTRA: <style> .remark{ @extend .todo !optional;} </style>
+#+HTML_HEAD_EXTRA: <style> .footref{ color: #2980b9; font-size: 100%; }  </style>
 #+LATEX_CLASS_OPTIONS: [10pt]
 #+LATEX_HEADER: \usepackage[hmargin=2.5cm,vmargin=1.5cm]{geometry}
 #+LATEX_HEADER: \usepackage{ae,lmodern}
-- 
GitLab