Добро в хату!
На сайте developer.android.com есть тёмная тема оформления фрагментов кода (скриншот). Похоже на Monokai, но это не она.
Исследование показало, что:
* отдельного css-файла, отвечающего этот стиль, нет;
* при переключении задействуется класс devsite-dark-code, который размазан по всему стилевом-файлу;
* комментов в css-файле, указывающих на имя стиля, нет.
Можете узнать имя стиля по картинке? Цвета приятны для глаз, хочу поставить такую подсветку в AndroidStudio.