Just FYI, the code element color is impossible to see when the page loads its dark theme. Otherwise, looks great.
I'm using mdBook [0] and haven't changed the default theme settings. Could you clarify that by 'code element' you mean the code blocks or inline code? I think you mean inline code for 'Coal' and 'Navy' themes, because for other combinations I'm able to see them properly.