debian/cdesktop
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

doc: update fonts used in guides.

Browse Source
This commit is contained in:
Liang Chang
2022-02-18 10:54:54 +08:00
parent bad30e1b1a
commit c983f2ffc9
6 changed files with 35 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cde/doc/it_IT.UTF-8/guides/common/SSEntity.sgm
View File

@@ -17,10 +17,12 @@
<!ENTITY FigurePrefix "Figura">
<!ENTITY TablePrefix "Tabella">
<!ENTITY Fontmono "<font fallback=mono>">
<!ENTITY Fontmonobold "<font fallback=mono weight=bold>">
<!ENTITY Fontsans12 "<font fallback=sans size=12>">
<!ENTITY Fontserif12 "<font fallback=serif size=12>">
<!ENTITY FontFamilies "<family foundry=dt name=application charset=iso8859-1><family foundry=dt name=application charset=iso8859-15>">
<!ENTITY Fontmono "<font fallback=mono slant=roman spacing=char>&FontFamilies;</font>">
<!ENTITY Fontmonobold "<font fallback=mono slant=roman weight=bold spacing=char>&FontFamilies;</font>">
<!ENTITY Fontsans12 "<font fallback=sans slant=roman size=12 style=sans>&FontFamilies;</font>">
<!ENTITY Fontserif12 "<font fallback=serif slant=roman size=12 style=serif spacing=prop>&FontFamilies;</font>">
<!ENTITY Fontsymbol "<font fallback=symbol>">
<!ENTITY Fontbold12 "<font size=12 weight=bold>">
<!ENTITY Fontbold14 "<font size=14 weight=bold>">