We're working on making dev.to themeable, if you have to time please have a look at this issue and suggest some other variables that might be required.
I thought we ought to have a place where we keep a note of the current CSS Variables and also propose different variables that should be included.
Pull request pending:
I think the best thing to do is leave a comment below of further proposals and I will update the main post.
Also feel free to do pull requests to help roll these out.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.