app-defaults.color 6.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119
  1. Mosaic*XmLabel*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
  2. Mosaic*XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
  3. Mosaic*XmScale*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
  4. Mosaic*XmBulletinBoard*labelFontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
  5. Mosaic*optionmenu.XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
  6. Mosaic*XmPushButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
  7. Mosaic*XmPushButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
  8. Mosaic*XmToggleButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
  9. Mosaic*XmToggleButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
  10. Mosaic*optionmenu*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
  11. Mosaic*XmIconGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
  12. Mosaic*XmBulletinBoard*buttonFontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
  13. Mosaic*menubar*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  14. Mosaic*XmMenuShell*XmPushButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  15. Mosaic*XmMenuShell*XmLabelGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  16. Mosaic*XmMenuShell*XmPushButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  17. Mosaic*XmMenuShell*XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  18. Mosaic*XmMenuShell*XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  19. Mosaic*XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  20. Mosaic*XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  21. Mosaic*XmMenuShell*XmToggleButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  22. Mosaic*XmMenuShell*XmToggleButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  23. Mosaic*pulldownmenu*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
  24. Mosaic*XmList*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
  25. Mosaic*XmText.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso8859-1
  26. Mosaic*XmTextField.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso8859-1
  27. Mosaic*optionmenu*marginHeight: 0
  28. Mosaic*optionmenu*marginTop: 5
  29. Mosaic*optionmenu*marginBottom: 5
  30. Mosaic*optionmenu*marginWidth: 5
  31. Mosaic*pulldownmenu*XmPushButton*marginHeight: 1
  32. Mosaic*pulldownmenu*XmPushButton*marginWidth: 1
  33. Mosaic*pulldownmenu*XmPushButton*marginLeft: 3
  34. Mosaic*pulldownmenu*XmPushButton*marginRight: 3
  35. Mosaic*XmList*listMarginWidth: 3
  36. Mosaic*menubar*marginHeight: 1
  37. Mosaic*menubar.marginHeight: 0
  38. Mosaic*menubar*marginLeft: 1
  39. Mosaic*menubar.spacing: 7
  40. Mosaic*XmMenuShell*marginLeft: 3
  41. Mosaic*XmMenuShell*marginRight: 4
  42. Mosaic*XmMenuShell*XmToggleButtonGadget*spacing: 2
  43. Mosaic*XmMenuShell*XmToggleButtonGadget*marginHeight: 0
  44. Mosaic*XmMenuShell*XmToggleButtonGadget*indicatorSize: 12
  45. Mosaic*XmMenuShell*XmLabelGadget*marginHeight: 4
  46. Mosaic*XmToggleButtonGadget*spacing: 4
  47. Mosaic*XmToggleButton*spacing: 4
  48. Mosaic*XmScrolledWindow*spacing: 0
  49. Mosaic*XmScrollBar*width: 18
  50. Mosaic*XmScrollBar*height: 18
  51. Mosaic*XmScale*scaleHeight: 20
  52. Mosaic*XmText*marginHeight: 4
  53. Mosaic*fsb*XmText*width: 420
  54. Mosaic*fsb*XmTextField*width: 420
  55. Mosaic*fillOnSelect: True
  56. Mosaic*visibleWhenOff: True
  57. Mosaic*XmText*highlightThickness: 0
  58. Mosaic*XmTextField*highlightThickness: 0
  59. Mosaic*XmPushButton*highlightThickness: 0
  60. Mosaic*XmScrollBar*highlightThickness: 0
  61. Mosaic*highlightThickness: 0
  62. Mosaic*keyboardFocusPolicy: pointer
  63. Mosaic*TitleFont: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso8859-1
  64. Mosaic*Font: -adobe-times-medium-r-normal-*-17-*-*-*-*-*-iso8859-1
  65. Mosaic*ItalicFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso8859-1
  66. Mosaic*BoldFont: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso8859-1
  67. Mosaic*FixedFont: -adobe-courier-medium-r-normal-*-17-*-*-*-*-*-iso8859-1
  68. Mosaic*FixedboldFont: -adobe-courier-bold-r-normal-*-17-*-*-*-*-*-iso8859-1
  69. Mosaic*FixeditalicFont: -adobe-courier-medium-o-normal-*-17-*-*-*-*-*-iso8859-1
  70. Mosaic*Header1Font: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso8859-1
  71. Mosaic*Header2Font: -adobe-times-bold-r-normal-*-18-*-*-*-*-*-iso8859-1
  72. Mosaic*Header3Font: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso8859-1
  73. Mosaic*Header4Font: -adobe-times-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
  74. Mosaic*Header5Font: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso8859-1
  75. Mosaic*Header6Font: -adobe-times-bold-r-normal-*-10-*-*-*-*-*-iso8859-1
  76. Mosaic*AddressFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso8859-1
  77. Mosaic*PlainFont: -adobe-courier-medium-r-normal-*-14-*-*-*-*-*-iso8859-1
  78. Mosaic*PlainboldFont: -adobe-courier-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
  79. Mosaic*PlainitalicFont: -adobe-courier-medium-o-normal-*-14-*-*-*-*-*-iso8859-1
  80. Mosaic*ListingFont: -adobe-courier-medium-r-normal-*-12-*-*-*-*-*-iso8859-1
  81. Mosaic*supSubFont: -adobe-times-medium-r-normal-*-10-*-*-*-*-*-iso8859-1
  82. Mosaic*Foreground: #000000000000
  83. Mosaic*XmScrollBar*Foreground: #bfbfbfbfbfbf
  84. Mosaic*XmLabel*Foreground: #1d1d15155b5b
  85. Mosaic*XmToggleButton*Foreground: #1d1d15155b5b
  86. Mosaic*XmPushButton*Foreground: #5b5b00000000
  87. Mosaic*logo*Foreground: #1d1d15155b5b
  88. Mosaic*Background: #bfbfbfbfbfbf
  89. Mosaic*XmList*Background: #bfbfbfbfbfbf
  90. Mosaic*XmText*Background: #bfbfbfbfbfbf
  91. Mosaic*XmSelectionBox*Background: #bfbfbfbfbfbf
  92. Mosaic*XmMessageBox*Background: #bfbfbfbfbfbf
  93. Mosaic*XmTextField*Background: #9c9c9c9c9c9c
  94. Mosaic*TopShadowColor: #e7e7e7e7e7e7
  95. Mosaic*XmList*TopShadowColor: #e7e7e7e7e7e7
  96. Mosaic*XmText*TopShadowColor: #e7e7e7e7e7e7
  97. Mosaic*XmSelectionBox*TopShadowColor: #e7e7e7e7e7e7
  98. Mosaic*XmMessageBox*TopShadowColor: #e7e7e7e7e7e7
  99. Mosaic*TroughColor: #646464646464
  100. Mosaic*SelectColor: #ffffffff0000
  101. Mosaic*HighlightColor: #bfbfbfbfbfbf
  102. Mosaic*visitedAnchorColor: #3f3f0f0f7b7b
  103. Mosaic*anchorColor: #00000000b0b0
  104. Mosaic*activeAnchorFG: #ffff00000000
  105. Mosaic*activeAnchorBG: #bfbfbfbfbfbf
  106. Mosaic*AnchorUnderlines: 1
  107. Mosaic*VisitedAnchorUnderlines: 1
  108. Mosaic*DashedVisitedAnchorUnderlines: True
  109. Mosaic*VerticalScrollOnRight: True