The author links to their timer script, which links to what looks like dotfiles[1]. The author uses awesomewm (window manager), and loads the default font[2].

The author links to their timer script, which links to what looks like dotfiles[1]. The author uses awesomewm (window manager), and loads the default font[2]. Default font is noto sans[3]. edit: add missing 'h' to start of ref 1. [1]: https://github.com/madprops/awesome-setup/blob/f8557150941ce64ea1bc04559bfff34f9c0c8f5c/modules/theme.lua#L7 https://github.com/madprops/awesome-setup/blob/f8557150941ce... [2]: https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a6874c1b5bca052e3b0cdc7/themes/default/theme.lua#L15 https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a... [3]: https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a6874c1b5bca052e3b0cdc7/docs/ldoc.css#L1290 https://github.com/awesomeWM/awesome/blob/b13ac3e34d7702778a...