pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
pgadmin4/web/pgadmin/static/js/Theme
History
Mike Christensen 10b15b3986
Added support for font ligatures. #8629 		2025-04-03 19:06:40 +05:30
..
overrides Added support for font ligatures. #8629 2025-04-03 19:06:40 +05:30
dark.js Copyright updated for 2025 2025-01-01 11:26:42 +05:30
high_contrast.js Copyright updated for 2025 2025-01-01 11:26:42 +05:30
index.jsx Font family should fallback to Source Code Pro if not valid. #392 2025-03-27 11:03:39 +05:30
light.js Copyright updated for 2025 2025-01-01 11:26:42 +05:30