/* * XlDefaultFonts.h -- * * Author: Teemu Rantanen * Copyright (c) 1992 Teemu Rantanen * All rights reserved * * Created: Sat Mar 7 03:33:24 1992 tvr * Last modified: Mon Mar 9 05:27:20 1992 tvr * */ #define FONT_NORMAL "-adobe-times-medium-r-normal--12-120-75-75-p-64-iso8859-1" #define FONT_LIST "8x13" #define FONT_LISTCOMPACT "6x13" #define FONT_GLOSSARY "-adobe-times-medium-r-normal--12-120-75-75-p-64-iso8859-1" #define FONT_GLOSSARYCOMPACT "-adobe-times-medium-r-normal--12-120-75-75-p-64-iso8859-1" /* * Text on the LISTING tag is to be portrayed in a fixed width font, so that any formatting done by * character spacing on successive lines will be maintained. * * At least 132 characters have to fit on a line. */ #define FONT_EXAMPLE "7x13" #define FONT_LISTING "7x13" #define FONT_ADDRESS "8x13" #define FONT_HEADER1 "-adobe-times-medium-r-normal--20-140-100-100-p-96-iso8859-1" #define FONT_HEADER2 "-adobe-times-medium-r-normal--18-180-75-75-p-94-iso8859-1" #define FONT_HEADER3 "-adobe-times-medium-r-normal--17-120-100-100-p-84-iso8859-1" #define FONT_HEADER4 "-adobe-times-medium-r-normal--14-100-100-100-p-74-iso8859-1" #define FONT_HEADER5 "-adobe-times-medium-r-normal--14-100-100-100-p-74-iso8859-1" #define FONT_HEADER6 "-adobe-times-medium-r-normal--14-100-100-100-p-74-iso8859-1" #define FONT_HEADER7 "-adobe-times-medium-r-normal--14-100-100-100-p-74-iso8859-1"