Update CSS of the main page

This commit is contained in:
2020-11-13 09:16:27 +01:00
parent 4326461b32
commit 53842fb291
2 changed files with 31 additions and 21 deletions
+9
View File
@@ -5,6 +5,7 @@
#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="css/style.css"/>
#+HTML_HEAD: <script type="text/javascript" src="js/script.js"></script>
#+HTML_HEAD: <style> #content {margin-left:0;} </style>
:END:
Welcome to my research pages.
@@ -19,6 +20,14 @@ Welcome to my research pages.
(shell-command (concat "git submodule deinit -f " path)))
#+end_src
* Change submodule url :noexport:
First delete the submodule using
#+begin_src bash
git rm --cache submodule-name
#+end_src
Then add a new submodule with the updated url.
* Update CSS and JS :noexport:
#+begin_src bash :results none
cd js && cat jquery.min.js jquery.stickytableheaders.min.js bootstrap.min.js readtheorg.js > script.js