Инструменты пользователя

Инструменты сайта


fonts

Различия

Здесь показаны различия между двумя версиями данной страницы.

Ссылка на это сравнение

Предыдущая версия справа и слева Предыдущая версия
Последняя версия Следующая версия справа и слева
fonts [2016/02/18 17:44]
root
fonts [2016/02/18 17:46]
root
Строка 22: Строка 22:
  
 .hl_js { .hl_js {
-   ​font-family: ​PT Mono;+   ​font-family: ​Roboto ​Mono;
 } }
 </​style>​ </​style>​
fonts.txt · Последние изменения: 2016/02/18 19:55 — root