angr.io needs a dark theme #52
Description
Our new docs follow the system theme by default but allow the user to toggle the theme if they choose. We should have a similar mechanism for angr.io so dark mode users don't get blinded.
{{ message }}
Our new docs follow the system theme by default but allow the user to toggle the theme if they choose. We should have a similar mechanism for angr.io so dark mode users don't get blinded.