/* Keep all header controls readable in the light theme. */
.light-theme .language-picker button{color:#171717}.light-theme .language-picker .active{background:#f56f10;color:#171717}.light-theme .theme-toggle{border-color:#cfc1b4;color:#171717;background:#fffaf4}.light-theme .theme-toggle:hover{background:#f7ede3}