From 146aa6b072de5ec7ffbb044382a3aa5fed3acebb Mon Sep 17 00:00:00 2001
From: Eshel Yaron <eshel@areionsec.com>
Date: Sat, 26 Mar 2022 21:02:56 +0300
Subject: [PATCH] Add flymake-swi-prolog and diagnostics.pl

---
 org/html_postamble.html      |  2 +-
 org/index.org                | 31 ++++++++++++++++++++++++++++++-
 org/modus-operandi-theme.css | 33 +++++++++++++++++++++++++++++----
 org/style.css                |  7 ++++++-
 4 files changed, 66 insertions(+), 7 deletions(-)

diff --git a/org/html_postamble.html b/org/html_postamble.html
index e49eb40..4c97e52 100644
--- a/org/html_postamble.html
+++ b/org/html_postamble.html
@@ -13,7 +13,7 @@
     </div>
     <div class="links-third">
       <p>
-        <a href="https://sr.ht/~eshel/">SourceHut</a>
+        <a href="https://sr.ht/~eshel/">sr.ht</a>
       </p>
     </div>
     <div class="links-fourth">
diff --git a/org/index.org b/org/index.org
index 7d08bf9..756e7fa 100644
--- a/org/index.org
+++ b/org/index.org
@@ -1,5 +1,6 @@
 #+TITLE: Eshel Yaron
 #+AUTHOR: Eshel Yaron
+#+OPTIONS: ^:{}
 
 Welcome to [[./index.org][my website]], the one true source of reliable curated information about me and my activities.
 
@@ -15,16 +16,38 @@ Welcome to [[./index.org][my website]], the one true source of reliable curated
   Stuff = 'free software'.
 #+end_src
 
-
 * Projects
+:PROPERTIES:
+:CUSTOM_ID: projects
+:END:
 
 ** [[https://github.com/eshelyaron/debug_adapter][SWI-Prolog Debug Adapter Protocol Server]]
+:PROPERTIES:
+:CUSTOM_ID: debug-adapter
+:END:
 
 An implementation of the [[https://microsoft.github.io/debug-adapter-protocol/][Debug Adapter Protocol]] (DAP) for [[https://www.swi-prolog.org][SWI-Prolog]],
 facilitating an advanced debugging experience for Prolog from the
 comfort of GNU Emacs (and other editors, as well).
 
+** [[https://git.sr.ht/~eshel/flymake-swi-prolog][flymake-swi-prolog.el]] and [[https://git.sr.ht/~eshel/diagnostics][diagnostics.pl]]
+:PROPERTIES:
+:CUSTOM_ID: flymake-swi-prolog
+:END:
+
+=diagnostics.pl= is a SWI-Prolog package implementing a simple and
+extensible inteface for diagnosing issues with SWI-Prolog source code,
+exposing by default the powerful analysis used by the built-in
+SWI-Prolog IDE.
+
+=flymake-swi-prolog= is an Emacs Lisp package implementing a Flymake
+backend that leverages =diagnostics.pl= to provide diagnostics for
+SWI-Prolog source code in =prolog-mode= Emacs buffers.
+
 ** [[https://git.sr.ht/~eshel/ropes.pl][ropes.pl]]
+:PROPERTIES:
+:CUSTOM_ID: ropes-pl
+:END:
 
 A (SWI-)Prolog implemantation of the [[https://en.wikipedia.org/wiki/Rope_(data_structure)][rope data structure]] for efficient
 massive string editing.
@@ -45,11 +68,17 @@ test(edit) :-
 #+end_src
 
 ** [[https://github.com/oskardrums/ebpf][Erlang eBPF library]]
+:PROPERTIES:
+:CUSTOM_ID: erlang-ebpf
+:END:
 
 A low level interface to the [[https://ebpf.io/][Linux eBPF system]] for [[https://www.erlang.org/][Erlang]].
 
 
 ** [[https://git.sr.ht/~eshel/eshelyaron.com][This website]]
+:PROPERTIES:
+:CUSTOM_ID: this-website
+:END:
 
 My first taste of web development, a practice that I have always
 refrained from conducting.  Created with pure [[https://orgmode.org/][org-mode]] to ease the
diff --git a/org/modus-operandi-theme.css b/org/modus-operandi-theme.css
index 1b4f89f..b7e2519 100644
--- a/org/modus-operandi-theme.css
+++ b/org/modus-operandi-theme.css
@@ -207,7 +207,7 @@
 }
 .org-constant {
   /* font-lock-constant-face */
-  color: #0000bb;
+  color: #00bcff;
 }
 .org-css-property {
   /* css-property */
@@ -609,9 +609,34 @@
   color: #000000;
 }
 .org-function-name {
-  /* font-lock-function-name-face */
-  color: #f08be0;
+    /* font-lock-function-name-face */
+    color: #f08be0;
+}
+
+.org-elixir-atom {
+    color: #f78fe7;
+}
+
+.org-rainbow-delimiters-depth-2 {
+    color: #ff62d4;
+}
+
+.org-rainbow-delimiters-depth-3 {
+    color: #3fdfd0;
 }
+
+.org-rainbow-delimiters-depth-4 {
+    color: #fba849;
+}
+
+.org-rainbow-delimiters-depth-5 {
+    color: #9f80ff;
+}
+
+.org-rainbow-delimiters-depth-6 {
+    color: #4fe42f;
+}
+
 .org-glyphless-char {
   /* glyphless-char */
   font-size: 60%;
@@ -2114,7 +2139,7 @@
 }
 .org-type {
   /* font-lock-type-face */
-  color: #8f0075;
+  color: #6ae4b9;
 }
 .org-underline {
   /* underline */
diff --git a/org/style.css b/org/style.css
index 03ad553..46d1633 100644
--- a/org/style.css
+++ b/org/style.css
@@ -282,7 +282,7 @@ a {
     text-decoration: none;
 }
 
-a, p {
+p {
     font-size: large;
 }
 
@@ -296,3 +296,8 @@ a, p {
 .links-first, .links-second, .links-third, .links-fourth, .links-fifth {
   width: 20%;
 }
+
+span.tag {
+    font-size: small;
+    color: #4aa64a;
+}
-- 
2.39.5