/* ocean theme base file (intentionally minimal).
   Theme variables are defined in css/theme.css via html[data-public-theme].
*/