This swap fonts to MUFI on eScriptorium
MUFI for eScriptorium by ponteineptique
Details
Authorponteineptique
LicenseCC Zero
Categoryuserstyles
Created
Updated
Size1.1 kB
Statistics
Learn how we calculate statistics in the FAQ.
Failed to fetch stats.
Description
Notes
Userstyle doesn't have notes.Source code
/* ==UserStyle==
@name MUFI for eScriptorium
@version 20220331.07.26
@namespace userstyles.world/user/ponteineptique
@description This swap fonts to MUFI on eScriptorium
@author ponteineptique
@license CC Zero
==/UserStyle== */
@-moz-document url-prefix("https://msia.escriptorium.fr/"), url-prefix("https://escriptorium.inria.fr/") {
@font-face {
font-family: 'Junicode';
font-style: normal;
font-weight: 400;
src: local('Junicode'), url('https://htr-united.github.io/Junicode-font/webfiles/JunicodeVF-Roman.woff2') format('woff');
}
#transcription-panel, #diplo-panel, #trans-input-container, #teklia-virtual-keyboard, #teklia-virtual-keyboard * {
font-family: 'Junicode', sans-serif!important;
}
#trans-input.form-control.mb-2.display-virtual-keyboard {
height:1.5em!important;
line-height:1.5em!important;
vertical-align: baseline;
padding-top:.5em!important;
margin-bottom:-.5em;
}
#teklia-virtual-keyboard .key-button .is-marginless {
font-size: 1.1em;
font-weight: bold;
}
}