Możesz poszukać u Pana Mirka
Jeśli chodzi o skórki ctrl+k ctr+t (wciśnięty klawisz ctrl i kolejno klawisze 'k' i 't'), tu tłumacz Google Mozilla (czy google). To taka perwersja z tym tłumaczem, ale dość nieźle tłumaczy tylko czasami za dużo, tj tłumaczy informatyczne zwroty na polski.
ctrl+shift+p i wkleić "workbench.colorCustomizations", ale nie wiem czy u Ciebie zadziała.