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

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


fonts

Различия

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

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

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