zwgc_resources

   1 !       Copyright 1989 Massachusetts Institute of Technology
   2 !
   3 !       For copying and distribution information, see the file
   4 !       "mit-copyright.h".
   5 !
   6 !       $Id: zwgc_resources 2438 2009-04-21 05:10:38Z kcr@ATHENA.MIT.EDU $
   7 !
   8 !
   9 ! Zwgc application specific global resources:
  10 !
  11
  12 *style*substyle.default.fontfamily:                     default
  13 *style.message.personal*substyle.title.fontfamily:      huge
  14
  15 *style*geometry:                                        +0+0
  16
  17 !
  18 ! The following is the adobe-courier font family.  Availiable sizes are
  19 ! 80, 100, 120, 140, 180, and 240.  This family used to be courier.
  20 !
  21
  22 *fontfamily.default.small.roman:        *-courier-medium-r-*-80-*-m-*,*
  23 *fontfamily.default.small.bold:         *-courier-bold-r-*-80-*-m-*,*
  24 *fontfamily.default.small.italic:       *-courier-medium-o-*-80-*-m-*,*
  25 *fontfamily.default.small.bolditalic:   *-courier-bold-o-*-80-*-m-*,*
  26
  27 *fontfamily.default.medium.roman:       *-courier-medium-r-*-120-*-m-*,*
  28 *fontfamily.default.medium.bold:        *-courier-bold-r-*-120-*-m-*,*
  29 *fontfamily.default.medium.italic:      *-courier-medium-o-*-120-*-m-*,*
  30 *fontfamily.default.medium.bolditalic:  *-courier-bold-o-*-120-*-m-*,*
  31
  32 *fontfamily.default.large.roman:        *-courier-medium-r-*-240-*-m-*,*
  33 *fontfamily.default.large.bold:         *-courier-bold-r-*-240-*-m-*,*
  34 *fontfamily.default.large.italic:       *-courier-medium-o-*-240-*-m-*,*
  35 *fontfamily.default.large.bolditalic:   *-courier-bold-o-*-240-*-m-*,*
  36
  37 !
  38 ! The following is the adobe-courier font family.  Availiable sizes are
  39 ! 80, 100, 120, 140, 180, and 240.  This family used to be courier.
  40 !
  41
  42 *fontfamily.courier.small.roman:        *-courier-medium-r-*-80-*-m-*,*
  43 *fontfamily.courier.small.bold:         *-courier-bold-r-*-80-*-m-*,*
  44 *fontfamily.courier.small.italic:       *-courier-medium-o-*-80-*-m-*,*
  45 *fontfamily.courier.small.bolditalic:   *-courier-bold-o-*-80-*-m-*,*
  46
  47 *fontfamily.courier.medium.roman:       *-courier-medium-r-*-120-*-m-*,*
  48 *fontfamily.courier.medium.bold:        *-courier-bold-r-*-120-*-m-*,*
  49 *fontfamily.courier.medium.italic:      *-courier-medium-o-*-120-*-m-*,*
  50 *fontfamily.courier.medium.bolditalic:  *-courier-bold-o-*-120-*-m-*,*
  51
  52 *fontfamily.courier.large.roman:        *-courier-medium-r-*-240-*-m-*,*
  53 *fontfamily.courier.large.bold:         *-courier-bold-r-*-240-*-m-*,*
  54 *fontfamily.courier.large.italic:       *-courier-medium-o-*-240-*-m-*,*
  55 *fontfamily.courier.large.bolditalic:   *-courier-bold-o-*-240-*-m-*,*
  56
  57 !
  58 ! The following is the adobe-times font family.  Availiable sizes are
  59 ! 80, 100, 120, 140, 180, and 240.  This family used to be times-roman.
  60 !
  61 *fontfamily.times.small.roman:          *-times-medium-r-*-80-*-p-*,*
  62 *fontfamily.times.small.bold:           *-times-bold-r-*-80-*-p-*,*
  63 *fontfamily.times.small.italic:         *-times-medium-i-*-80-*-p-*,*
  64 *fontfamily.times.small.bolditalic:     *-times-bold-i-*-80-*-p-*,*
  65
  66 *fontfamily.times.medium.roman:         *-times-medium-r-*-120-*-p-*,*
  67 *fontfamily.times.medium.bold:          *-times-bold-r-*-120-*-p-*,*
  68 *fontfamily.times.medium.italic:        *-times-medium-i-*-120-*-p-*,*
  69 *fontfamily.times.medium.bolditalic:    *-times-bold-i-*-120-*-p-*,*
  70
  71 *fontfamily.times.large.roman:          *-times-medium-r-*-240-*-p-*,*
  72 *fontfamily.times.large.bold:           *-times-bold-r-*-240-*-p-*,*
  73 *fontfamily.times.large.italic:         *-times-medium-i-*-240-*-p-*,*
  74 *fontfamily.times.large.bolditalic:     *-times-bold-i-*-240-*-p-*,*
  75
  76 !
  77 ! The following is the adobe-helvetica font family.  Availiable sizes are
  78 ! 80, 100, 120, 140, 180, and 240.  This family used to be helvetica.
  79 !
  80 *fontfamily.helvetica.small.roman:      *-helvetica-medium-r-*-80-*-p-*,*
  81 *fontfamily.helvetica.small.bold:       *-helvetica-bold-r-*-80-*-p-*,*
  82 *fontfamily.helvetica.small.italic:     *-helvetica-medium-o-*-80-*-p-*,*
  83 *fontfamily.helvetica.small.bolditalic: *-helvetica-bold-o-*-80-*-p-*,*
  84
  85 *fontfamily.helvetica.medium.roman:     *-helvetica-medium-r-*-120-*-p-*,*
  86 *fontfamily.helvetica.medium.bold:      *-helvetica-bold-r-*-120-*-p-*,*
  87 *fontfamily.helvetica.medium.italic:    *-helvetica-medium-o-*-120-*-p-*,*
  88 *fontfamily.helvetica.medium.bolditalic:*-helvetica-bold-o-*-120-*-p-*,*
  89
  90 *fontfamily.helvetica.large.roman:      *-helvetica-medium-r-*-240-*-p-*,*
  91 *fontfamily.helvetica.large.bold:       *-helvetica-bold-r-*-240-*-p-*,*
  92 *fontfamily.helvetica.large.italic:     *-helvetica-medium-o-*-240-*-p-*,*
  93 *fontfamily.helvetica.large.bolditalic: *-helvetica-bold-o-*-240-*-p-*,*
  94
  95 !
  96 ! Quick hack...
  97 !
  98
  99 *fontfamily.huge*roman:         *-charter-medium-r-*-33-*-p-*,*
 100 *fontfamily.huge*bold:          *-charter-bold-r-*-33-*-p-*,*
 101 *fontfamily.huge*italic:        *-charter-medium-i-*-33-*-p-*,*
 102 *fontfamily.huge*bolditalic:    *-charter-bold-i-*-33-*-p-*,*