Мне интересно, какой тип и версия движков JavaScript/CSS Gnome 3 aka Gnome Shell с помощью?
Есть ли информация о текущей версии и т.д.
Gnome 3 (Gnome Shell) JavaScript/CSS-движок
Ответ 1
Для JavaScript двигатель GJS (на основе SpiderMonkey). Для тематики он используется своего рода надмножество CSS2. Вам может быть интересно прочитать документацию GtkCssProvider и сведения о миграции.
С другой стороны, существуют некоторые операции, подобные CSS3, такие как радиальные и линейные градиенты. Вы можете взглянуть на статью Styling GTK + с CSS, чтобы получить некоторые идеи. Статья написана разработчиком, который написал GtkCssProvider.
Ответ 2
Механизм JavaScript GJS. CSS, я считаю, внутренне - в GTK 3 все темы выполняются с помощью CSS.