From 2e7dcf41f773cb51978757a029918d4f3d314124 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marek=20Fel=C5=A1=C3=B6ci?= <marek.felsoci@inria.fr> Date: Wed, 25 Jan 2023 14:55:49 +0100 Subject: [PATCH] Remove local copy of Inria Org HTML theme --- theme-readtheorginria.setup | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 theme-readtheorginria.setup diff --git a/theme-readtheorginria.setup b/theme-readtheorginria.setup deleted file mode 100644 index 26c4324..0000000 --- a/theme-readtheorginria.setup +++ /dev/null @@ -1,9 +0,0 @@ -# -*- mode: org; -*- - -#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://mfelsoci.gitlabpages.inria.fr/inria-org-html-themes/readtheorginria/css/htmlize.css"/> -#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://mfelsoci.gitlabpages.inria.fr/inria-org-html-themes/readtheorginria/css/readtheorginria.css"/> - -#+HTML_HEAD: <script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.3/jquery.min.js"></script> -#+HTML_HEAD: <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.4/js/bootstrap.min.js"></script> -#+HTML_HEAD: <script type="text/javascript" src="https://mfelsoci.gitlabpages.inria.fr/inria-org-html-themes/lib/js/jquery.stickytableheaders.min.js"></script> -#+HTML_HEAD: <script type="text/javascript" src="https://mfelsoci.gitlabpages.inria.fr/inria-org-html-themes/readtheorginria/js/readtheorginria.js"></script> -- GitLab