adjust fonts for epub

This commit is contained in:
Ilya Kantor 2018-10-22 01:09:27 +03:00
parent 924b6ffadd
commit 266b489d24
6 changed files with 11 additions and 11 deletions

View file

@ -7,7 +7,7 @@
.function-execution-context {
border: 1px solid black;
font-family: "Consolas", monospace;
font-family: 'DejaVu Sans Mono', 'Lucida Console', 'Menlo', 'Monaco', monospace;
padding: 4px 6px;
margin: 0 4px;
}
@ -23,4 +23,4 @@
.function-execution-context-list li:first-child {
font-weight: bold;
}
</style>
</style>