Let org timestamps inherit fixed-pitch
Using variable-pitch-mode in org mode with the modus-operandi theme I noticed that some tables were mis-aligned because they contained timestamps. For example,
#+tblname: with timestamps | Date | x | y | z | |------------------------+---+----+-----| | [2020-01-01 Wed 09:10] | a | 52 | 104 | | [2020-01-02 Thu 05:55] | b | 26 | 13 |
This fix makes timestamps inherit fixed-pitch in both the modus-operandi and modus-vivendi themes.