! ===========================================================================
!                            David (VermKV)
! ===========================================================================
prox*XmCascadeButtonGadget.fontList:    *-helvetica-bold-r-*-*-14-*
prox*XmLabel.fontList:  *-helvetica-bold-r-*-*-14-*
prox*XmList.fontList:   *-courier-bold-r-*-*-14-*
prox*XmPushButton.fontList:     *-helvetica-bold-r-*-*-14-*
prox*XmPushButtonGadget.fontList:       *-helvetica-bold-r-*-*-14-*
prox*XmText.fontList:   *-helvetica-bold-r-*-*-14-*
prox*XmToggleButton.fontList:   *-helvetica-bold-r-*-*-14-*

david*XmCascadeButtonGadget.fontList:   *-helvetica-bold-r-*-*-14-*
david*XmLabel.fontList: *-helvetica-bold-r-*-*-14-*
david*XmList.fontList:  *-courier-bold-r-*-*-14-*
david*XmPushButton.fontList:    *-helvetica-bold-r-*-*-14-*
david*XmPushButtonGadget.fontList:      *-helvetica-bold-r-*-*-14-*
david*XmText.fontList:  *-helvetica-bold-r-*-*-14-*
david*XmToggleButton.fontList:  *-helvetica-bold-r-*-*-14-*

vpr*XmCascadeButtonGadget.fontList:     *-helvetica-bold-r-*-*-14-*
vpr*XmLabel.fontList:   *-helvetica-bold-r-*-*-14-*
vpr*XmList.fontList:    *-courier-bold-r-*-*-14-*
vpr*XmPushButton.fontList:      *-helvetica-bold-r-*-*-14-*
vpr*XmPushButtonGadget.fontList:        *-helvetica-bold-r-*-*-14-*
vpr*XmText.fontList:    *-helvetica-bold-r-*-*-14-*
vpr*XmToggleButton.fontList:    *-helvetica-bold-r-*-*-14-*

! Kontrast Einstellungen fuer David, primaer fuer Feldrechner
prox*XmText*foreground: black
prox*XmText*background: white
prox*XmToggleButton.selectColor: black
vpr*XmText*foreground: black
vpr*XmText*background: white
vpr*XmToggleButton.selectColor: black
david*XmText*foreground: black
david*XmText*background: white
david*XmToggleButton.selectColor: black

