Florian Obser
|
c41a8a11a2
|
Make the defined term stick out by making it bold.
|
2023-01-15 08:37:08 +01:00 |
|
Florian Obser
|
4f65a3a136
|
maybe a definition renders nicer
|
2023-01-15 08:35:59 +01:00 |
|
Florian Obser
|
c2447eab80
|
Let's the if we can give the mono-space boxes a bit more space.
|
2023-01-15 08:33:37 +01:00 |
|
Florian Obser
|
4ae9e2c797
|
silly footnote ;)
|
2023-01-15 08:32:33 +01:00 |
|
Florian Obser
|
7540e3f554
|
re-flow text
|
2023-01-15 08:32:16 +01:00 |
|
Florian Obser
|
7385457f72
|
fix date
|
2023-01-15 08:26:22 +01:00 |
|
Florian Obser
|
67544e97bc
|
add zero width space before _ to escape formatting.
|
2023-01-14 19:36:04 +01:00 |
|
Florian Obser
|
f7e52783d4
|
fix title
|
2023-01-14 19:32:54 +01:00 |
|
Florian Obser
|
cdaa16020f
|
First stab at VerifyHostKeyDNS
|
2023-01-14 19:32:00 +01:00 |
|
Florian Obser
|
ef9dea95ae
|
Fix directory root here as well.
|
2023-01-09 17:58:21 +01:00 |
|
Florian Obser
|
d3af90b400
|
We move the site to a different root.
|
2023-01-09 17:55:24 +01:00 |
|
Florian Obser
|
378e72bcf5
|
Do not filter out HOME otherwise git can't find its config.
|
2023-01-09 13:10:33 +01:00 |
|
Florian Obser
|
bb510c0378
|
Link to git repo.
|
2023-01-01 10:37:20 +01:00 |
|
Florian Obser
|
ca206f7bad
|
Set date on error documents to fill in Publish: line.
|
2023-01-01 10:31:41 +01:00 |
|
Florian Obser
|
dd048b7720
|
Add copyright & navigation to every page.
|
2023-01-01 10:29:32 +01:00 |
|
Florian Obser
|
ffe32dfd97
|
Set date, we are always going to publish it.
|
2023-01-01 10:29:28 +01:00 |
|
Florian Obser
|
cf6e27cb7f
|
Error pages for nginx.
|
2022-12-31 16:49:44 +01:00 |
|
Florian Obser
|
88082eba23
|
hook up agenda views article
|
2022-12-28 14:55:03 +01:00 |
|
Florian Obser
|
ca9c019cde
|
typo
|
2022-12-28 14:52:53 +01:00 |
|
Florian Obser
|
029ecb46fb
|
Fun with Org Mode Agenda Views
|
2022-12-28 14:49:45 +01:00 |
|
Florian Obser
|
048b56cfac
|
Some meta information about the site.
|
2022-12-04 13:38:00 +01:00 |
|
Florian Obser
|
8bfa4d4dcd
|
Ignore emacs backup files.
I have a global gitignore for this, but git user on the server does
not.
|
2022-12-04 13:26:52 +01:00 |
|
Florian Obser
|
e1aafbc656
|
Use source-code and source serif fonts.
|
2022-12-04 12:53:02 +01:00 |
|
Florian Obser
|
2dd416d86f
|
To not edit simplecss, add a custom.css instead
|
2022-12-04 12:51:12 +01:00 |
|
Florian Obser
|
ceba5c1fd9
|
mastodon & linkedin
|
2022-12-04 12:51:12 +01:00 |
|
Florian Obser
|
e2a0ca4579
|
flesh out index a bit more
|
2022-12-04 12:51:12 +01:00 |
|
Florian Obser
|
aa03fab239
|
set title
|
2022-12-04 12:51:12 +01:00 |
|
Florian Obser
|
fb0fb69357
|
don't talk to melpa all the time, we have the packages installed.
|
2022-12-04 12:51:12 +01:00 |
|
Florian Obser
|
c1de8266eb
|
Makefile and post-receive hook for deploying.
|
2022-12-04 12:50:46 +01:00 |
|
Florian Obser
|
f2b8adaba0
|
ignore .gz files
|
2022-12-03 17:25:31 +01:00 |
|
Florian Obser
|
79a10c784a
|
typo; from kurtm
|
2022-12-02 18:33:57 +01:00 |
|
Florian Obser
|
fc1287d2c6
|
add empty favicon
|
2022-12-02 18:21:15 +01:00 |
|
Florian Obser
|
ae9808f343
|
Provide links to C file and diff for download.
|
2022-12-02 17:11:25 +01:00 |
|
Florian Obser
|
7a3ccf4eae
|
do not include default style
|
2022-12-02 17:01:11 +01:00 |
|
Florian Obser
|
ccee218d26
|
another round of proof reading
|
2022-12-02 16:58:09 +01:00 |
|
Florian Obser
|
d8a71ff8d4
|
Minimize css.
|
2022-12-02 16:44:56 +01:00 |
|
Florian Obser
|
c7c992a8e8
|
Remove created date.
|
2022-12-02 16:11:34 +01:00 |
|
Florian Obser
|
9552fa6018
|
fix indent
|
2022-12-02 16:11:24 +01:00 |
|
Florian Obser
|
2034e94d7e
|
Initial commit
|
2022-12-02 15:51:07 +01:00 |
|