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.
804 B · 44 lines
at master
1234567891011121314151617181920212223242526272829303132333435363738394041424344html, body, .App { width:100%; height:100%; margin:0; padding:0; overflow: hidden; }
.whiteBG { background-color: #FFFFFF !important;}
.initial { background-color: #F0F0F0; height: 100vh; width: 100vw; transition: background-color 1s;}
input { font-size: 1em; highlight: none; border-radius: 0; outline: none;}
button { background-color: #9AA899; border: none; color: white; padding: 15px 32px; text-align: center; text-decoration: none; display: inline-block; font-size: 16px; margin-right: 30px; box-shadow: 0 0px 10px rgba(0,0,0,0.23), 0 2px 3px rgba(0,0,0,0.34); &:hover { box-shadow: 0 0px 7px rgba(0,0,0,0.16), 0 2px 2px rgba(0,0,0,0.24); } &:active { box-shadow: 0 0px 2px rgba(0,0,0,0.09), 0 0px 1px rgba(0,0,0,0.16); }}