!--------------------- !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