From 54637689d34a39b5e63709d0c3867ae81c8014b0 Mon Sep 17 00:00:00 2001
From: Thomas Dehaeze <dehaeze.thomas@gmail.com>
Date: Tue, 1 Sep 2020 22:34:40 +0200
Subject: [PATCH] Add header

---
 header.org | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 header.org

diff --git a/header.org b/header.org
new file mode 100644
index 0000000..341e247
--- /dev/null
+++ b/header.org
@@ -0,0 +1,17 @@
+#+TITLE: Bookmarks
+
+#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="./css/htmlize.css"/>
+#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="./css/readtheorg.css"/>
+#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="./css/bookmarks.css"/>
+#+HTML_HEAD: <script src="./js/jquery.min.js"></script>
+#+HTML_HEAD: <script src="./js/bootstrap.min.js"></script>
+#+HTML_HEAD: <script src="./js/jquery.stickytableheaders.min.js"></script>
+#+HTML_HEAD: <script src="./js/readtheorg.js"></script>
+#+HTML_HEAD: <script src="./js/bookmarks.js"></script>
+
+#+OPTIONS: toc:nil
+#+OPTIONS: html-postamble:nil
+
+#+begin_export html
+  <input type="text" id="search" placeholder="Type to search">
+#+end_export