Add GNU Emacs literate configuration

diff --git a/.gitmodules b/.gitmodules
new file mode 100644 (file)
index 0000000..d3e2f45
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "dotfiles"]
+       path = dotfiles
+       url = https://git.sr.ht/~eshel/dotfiles

diff --git a/dotfiles b/dotfiles
new file mode 160000 (submodule)
index 0000000..ae3ca71
--- /dev/null
+++ b/dotfiles
@@ -0,0 +1 @@
+Subproject commit ae3ca71a40a31043d937e6d1b8dce0718375e9e1

diff --git a/org/index.org b/org/index.org
index 2129a4838fdd154d6653abd0f4fa117feb9c4d16..952a50f85ecf285101a887e8711ec89f00d2d090 100644 (file)
--- a/org/index.org
+++ b/org/index.org
@@ -1,12 +1,12 @@
 #+TITLE: Eshel Yaron
 #+AUTHOR: Eshel Yaron
-#+OPTIONS: ^:{}
+#+OPTIONS: toc:nil ^:{}
 
 Welcome to [[./index.org][my website]], the one true source of reliable curated information about me and my activities.
 
 #+begin_src prolog
   ?- likes('Eshel', Stuff).
-  Stuff = 'logic ️programming';
+  Stuff = 'logic programming';
   Stuff = 'linguistics';
   Stuff = 'cognition';
   Stuff = 'functional programming';
@@ -21,6 +21,15 @@ Welcome to [[./index.org][my website]], the one true source of reliable curated
 :CUSTOM_ID: projects
 :END:
 
+** [[https://git.sr.ht/~eshel/dotfiles][GNU Emacs literate configuration]]
+:PROPERTIES:
+:CUSTOM_ID: emacsconf
+:END:
+
+My personal configuration for GNU Emacs, written in as a [[https://en.wikipedia.org/wiki/Literate_programming][Literate
+Program]] with =Org-mode= and =Babel=. An online version is also
+published as [[file:esy.org][an HTML webpage on this website]].
+
 ** [[https://github.com/eshelyaron/debug_adapter][SWI-Prolog Debug Adapter Protocol Server]]
 :PROPERTIES:
 :CUSTOM_ID: debug-adapter
@@ -35,20 +44,16 @@ comfort of GNU Emacs (and other editors, as well).
 :CUSTOM_ID: eshellisp
 :END:
 
-A simple [[https://git.sr.ht/~eshel/eshellisp][Lisp interpreter implemented in SWI-Prolog]].
+A [[https://git.sr.ht/~eshel/eshellisp][Scheme Lisp interpreter implemented in SWI-Prolog]].
 
 #+begin_src sh
-  $ cat fib.eshellisp
-  (define fib (n)
-       (if (<= n 1) 0 (fib1 0 1 1 n)))
-
-  (define fib1 (f1 f2 i to)
-       (if (<= to i) f2 (fib1 f2 (+ f1 f2) (+ i 1) to)))
+  $ cat scheme/repl.scm
+  (define repl () (write (eval (read))) (repl))
+  (repl)
 
-  (fib 250)
-  $ time eshellisp fib.eshellisp
-  % 7896325826131730509282738943634332893686268675876375
-  eshellisp fib.eshellisp  0.05s user 0.01s system 92% cpu 0.066 total
+  $ ./eshellisp scheme/repl.scm
+  % (cons (+ 1 2) 4)
+  % (3 . 4)
 #+end_src
 
 ** [[https://git.sr.ht/~eshel/flymake-swi-prolog][flymake-swi-prolog.el]] and [[https://git.sr.ht/~eshel/diagnostics.pl][diagnostics.pl]]

diff --git a/org/modus-operandi-theme.css b/org/modus-operandi-theme.css
index b7e2519e1d6d3979902bba5a47b6e518c07a305e..0f3ab0a4e844ea8e8f26ddb5d7a10900d0770675 100644 (file)
--- a/org/modus-operandi-theme.css
+++ b/org/modus-operandi-theme.css
@@ -38,7 +38,7 @@
 }
 .org-builtin {
   /* font-lock-builtin-face */
-  color: #8f0075;
+  color: #f78fe7;
 }
 .org-button {
   /* button */
@@ -93,11 +93,11 @@
 }
 .org-comment {
   /* font-lock-comment-face */
-  color: #505050;
+  color: #a8a8a8;
 }
 .org-comment-delimiter {
   /* font-lock-comment-delimiter-face */
-  color: #505050;
+  color: #a8a8a8;
 }
 .org-company-echo {
 }
@@ -477,7 +477,7 @@
 }
 .org-doc {
   /* font-lock-doc-face */
-  color: #093060;
+  color: #b0d6f5;
 }
 .org-eldoc-highlight-function-argument {
   /* eldoc-highlight-function-argument */
@@ -1042,7 +1042,7 @@
 }
 .org-keyword {
   /* font-lock-keyword-face */
-  color: #f01b6b;
+  color: #b6a0ff;
 }
 .org-lazy-highlight {
   /* lazy-highlight */

diff --git a/org/style.css b/org/style.css
index 46d16334a133a32957578306dcca63319545664b..ab9815543967c4078ef1d19c216b8c1f7ce129f6 100644 (file)
--- a/org/style.css
+++ b/org/style.css
@@ -2,52 +2,31 @@
 /* Code block theme  */
 @import 'modus-operandi-theme.css';
 
-:root {
-    --color-scheme-background: white;
-    --color-scheme-text: black;
-    --color-scheme-secondary: #333;
-    --color-scheme-shadow: #eee;
-
-}
-
-/* Light Theme */
-@media (prefers-color-scheme: light) {
-    :root {
-       --color-scheme-background: white;
-       --color-scheme-text: black;
-       --color-scheme-secondary: #333;
-       --color-scheme-shadow: #eee;
-    }
-}
 
-/* Dark Theme */
-@media (prefers-color-scheme: dark) {
-    :root {
-       --color-scheme-background: #222;
+:root {
+       --color-scheme-background: black;
        --color-scheme-text: white;
        --color-scheme-secondary: #eee;
        --color-scheme-shadow: #333;
-    }
-
-    /* Make links readable */
-    a:link    { color: lightblue }
-    a:visited { color: lightblue }
-    a:hover   { color: lightblue }
 }
 
+a:link    { color: lightblue }
+a:visited { color: lightblue }
+a:hover   { color: lightblue }
+
 body {
     margin-top: 0;
     margin-left: auto;
     margin-right: auto;
     padding-left: 1em;
     padding-right: 1em;
-    max-width: 48rem;
+    max-width: 52rem;
     color: var(--color-scheme-text);
     background: var(--color-scheme-background);
 }
 
 #content {
-    max-width: 46rem;
+    max-width: 50rem;
     margin-left: auto;
     margin-right: auto;
 }
@@ -77,10 +56,6 @@ body {
     border-bottom: 1px dotted var(--color-scheme-secondary);
 }
 
-nav {
-    margin-top: 1.4em;
-}
-
 #preamble a {
     text-transform: uppercase;
     border: 1px solid var(--color-scheme-secondary);
@@ -89,12 +64,8 @@ nav {
     padding-right: 0.3em;
 }
 
-nav a:link { color: var(--color-scheme-text); }
-nav a:visited { color: var(--color-scheme-text); }
-nav a:hover {
-    color: var(--color-scheme-background);
-    background: var(--color-scheme-text);
-}
+nav a:link { font-size: large; }
+nav h2 { font-size: 2em; }
 
 figure {
     border: 2px solid var(--color-scheme-text);
@@ -140,16 +111,16 @@ a, p, h1, h2, h3, h4, h5, h6 {
 }
 
 h1 {
-    font-size: 3em;
+    font-size: 2.5em;
 }
 
 h2 {
-    font-size: 2.5em;
+    font-size: 2em;
     margin-bottom: 0.2em;
 }
 
 h3 {
-    font-size: 1.7em;
+    font-size: 1.5em;
     margin-bottom: 0.2em;
 }