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