]> gitweb.factorcode.org Git - factor.git/commit
periodic-table: bigger fonts, legend stays still
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 03:46:27 +0000 (20:46 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 03:46:27 +0000 (20:46 -0700)
commit0ed6d0e0d15a2fa601570f630d702ea802ba7bad
tree2d232aedc3602a0df43e1c4514b0903a72fba383
parent4972925c37dd4a905b53297a95196a5741b4445e
periodic-table: bigger fonts, legend stays still
extra/periodic-table/periodic-table.factor