Something went wrong. Try again.
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Something went wrong. Try again.
196 B · 18 lines
at master
123456789101112131415161718$tan: #e2dbbe;$green: #9AA899;$black: #1A1423;$gray: #66666E;$light-gray: #9999A1;$white-gray: #EAEAEA;
body { color: $black;}
h1,h2 { color: $black;}
h3,h4,h5,h6 { color: $gray;}