All pull requests

Pull requests

• Adding lang attribute to index.html

  #28·notabene opened Dec 26, 2024·

  ·

• Vanilla HTML link in index.html

  #27·notabene opened Dec 26, 2024·

  ·

• Fix typography

  #26·nisbet-hubbard opened Dec 3, 2024·

  ·

• markup: add Org Mode

  #22·winny- opened Jun 18, 2022·

  ·

• Improve readability and add dark theme

  #19·CarlSchwan opened Dec 8, 2021·

  ·
  2

• Switch URLs from http to https

  #17·guillemj opened Feb 11, 2021·

  ·
  1

  6

• Feature/colored and png badges

  #15·rlonstein opened Oct 22, 2019Contributor·

  ·