Я изучаю документацию Android и очень люблю тему редактора, которую они используют. Кто-нибудь знает, как я могу узнать, какая это тема?
