Commit 58ca9c5b authored by Gérard Huet's avatar Gérard Huet

Font Devanagari MT deprecated because wrong rendering of tacchrutvaa

parent fbe9ce68
......@@ -265,8 +265,9 @@ value roman_fonts = [ "IndUni-T"; "Arial Unicode MS" ] (* "Times_CSX" *)
and greek_fonts = [ "Arial Unicode MS"; "Symbol" ] (* "Latin Extended-B" Greek *)
and diacr_fonts = [ "IndUni-T"; "Arial Unicode MS" ]
(* Sanskrit transliteration in romanised script with diacritics *)
and deva_fonts = [ "Devanagari MT"; "Arial Unicode MS" ] (* Devanagari fonts *)
;
and deva_fonts = [ "Arial Unicode MS" ] (* Devanagari fonts *)
(* NB: "Devanagari MT" deprecated because wrong rendering of tacchrutvaa *)
;
value roman_font = Font_family roman_fonts
and greek_font = Font_family greek_fonts
and trans_font = Font_family diacr_fonts
......
......@@ -442,8 +442,7 @@ and print_title_solid color lang title = do
}
;
value print_transliteration_help lang =
if narrow_screen then ()
else do
if narrow_screen then () else do
{ "Transliteration help " |> ps
; anchor_ref (rel_faq_page_url lang ^ "#transliteration") "here" |> pl
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment