!---------------------
!ragmaan-defaults
!---------------------
!
Ragmaan*background: grey70
Ragmaan*highlightThickness: 0
Ragmaan*highlightBackground: grey70
Ragmaan*activeBackground: white
!
!  these fonts look good on my server
!
Ragmaan*font: -adobe-helvetica-*-r-*-*-12-*-*-*-*-*-*-*
Ragmaan.info.t.font: -adobe-courier-medium-r-*-*-12-*-*-*-*-*-*-*
Ragmaan.gpl.viewer.t.font: -adobe-courier-medium-r-*-*-10-*-*-*-*-*-*-*
!
!  if the fonts are too small, try these:
!
!Ragmaan*font: -adobe-helvetica-*-r-*-*-14-*-*-*-*-*-*-*
!Ragmaan.info.t.font: -adobe-courier-medium-r-*-*-16-*-*-*-*-*-*-*
!Ragmaan.gpl.viewer.t.font: -adobe-courier-medium-r-*-*-12-*-*-*-*-*-*-*
!
Ragmaan*takeFocus: 0
Ragmaan*e.takeFocus: 1
Ragmaan*e.background: grey75
Ragmaan.f_searchlist.lb.background: grey75
Ragmaan*t.background: grey75
!
Ragmaan.Frame.background: grey70
Ragmaan.SpecialFrame.background: grey65
Ragmaan.mb_file.background: grey65
Ragmaan.mb_info.background: grey65
Ragmaan.status.background: grey65
Ragmaan.p_gauge.background: grey60
Ragmaan.u_changes.background: grey65
