1 ; View defaultStyle:#normal |
1 ; View defaultStyle:#normal |
2 ; |
2 ; |
3 ; the good-old normal 2D style - actually not bad to work |
3 ; the good-old normal 2D style - actually not bad to work |
4 ; with. Also the best to use on black&white displays |
4 ; with. Also the best to use on black&white displays |
5 ; |
5 ; |
6 ; $Header: /cvs/stx/stx/libview/styles/normal.style,v 1.10 1997-04-21 09:08:36 cg Exp $ |
6 ; $Header: /cvs/stx/stx/libview/styles/normal.style,v 1.11 1997-11-02 19:49:09 cg Exp $ |
7 |
7 |
8 comment 'plain good old 2D style.\No fancy decoration, but functional.\Great for monochrome displays.' |
8 comment 'plain good old 2D style.\No fancy decoration, but functional.\Great for monochrome displays.' |
9 |
9 |
10 #if (Language == #german) or:[Language == #de] |
10 #if (Language == #german) or:[Language == #de] |
11 comment 'Guter alter 2D Stil ohne Schnörkel & Schleifchen\\Am besten für S/W Monitore' |
11 comment 'Guter alter 2D Stil ohne Schnörkel & Schleifchen\\Am besten für S/W Monitore' |
19 |
19 |
20 borderWidth 1 |
20 borderWidth 1 |
21 viewBackground Color white |
21 viewBackground Color white |
22 popupBorderWidth 1 |
22 popupBorderWidth 1 |
23 |
23 |
24 scrollBarPosition #left |
24 scrollBar.position #left |
25 scrollBarSpacing 0 |
25 scrollBar.spacing 0 |
26 scrollBarButtonImageMargin 0 |
26 scrollBar.buttonImageMargin 0 |
27 |
27 |
28 scrollerViewBackground Color grey:50 |
28 scroller.viewBackground Color grey:50 |
29 scrollerThumbColor Color white |
29 scroller.thumbColor Color white |
30 scrollerThumbInset 1 |
30 scroller.thumbInset 1 |
31 scrollerThumbLevel 0 |
31 scroller.thumbLevel 0 |
32 scrollerThumbFrameColor Color black |
32 scroller.thumbFrameColor Color black |
33 |
33 |
34 framedBox3DFrame false |
34 framedBox.3DFrame false |
35 |
35 |
36 ; |
36 ; |
37 ; take smaller fonts on small displays (VGA) |
37 ; take smaller fonts on small displays (VGA) |
38 ; |
38 ; |
39 #if Display width == 640 |
39 #if Display width == 640 |
40 ; take smaller fonts on VGA screens |
40 ; take smaller fonts on VGA screens |
41 font Font family:'courier' face:'medium' style:'roman' size:10 |
41 font Font family:'courier' face:'medium' style:'roman' size:10 |
42 selectionFont Font family:'helvetica' face:'medium' style:'roman' size:10 |
42 selection.font Font family:'helvetica' face:'medium' style:'roman' size:10 |
43 #else |
43 #else |
44 selectionFont Font family:'helvetica' face:'medium' style:'roman' size:12 |
44 selection.font Font family:'helvetica' face:'medium' style:'roman' size:12 |
45 menuFont Font family:'helvetica' face:'bold' style:'roman' size:12 |
45 menuFont Font family:'helvetica' face:'bold' style:'roman' size:12 |
46 #endif |
46 #endif |
47 selectionRightArrowStyle #solid |
47 selection.rightArrowStyle #solid |
48 selectionRightArrowLevel 0 |
48 selection.rightArrowLevel 0 |
49 |
49 |
50 checkToggleActiveForegroundColor Color black |
50 checkToggle.activeForegroundColor Color black |
51 checkToggleActiveBackgroundColor Color white |
51 checkToggle.activeBackgroundColor Color white |
52 |
52 |
53 #if Display hasGrayscales not |
53 #if Display hasGrayscales not |
54 htmlAnchorUnderline true |
54 html.anchorUnderline true |
55 htmlAnchorForegroundColor Color black |
55 html.anchorForegroundColor Color black |
56 htmlBackgroundColor Color white |
56 html.backgroundColor Color white |
57 htmlActiveAnchorForegroundColor Color black |
57 html.activeAnchorForegroundColor Color black |
58 htmlActiveAnchorBackgroundColor =htmlBackgroundColor |
58 html.activeAnchorBackgroundColor =htmlBackgroundColor |
59 htmlVisitedAnchorForegroundColor Color black |
59 html.visitedAnchorForegroundColor Color black |
60 htmlExampleAnchorForegroundColor Color black |
60 html.exampleAnchorForegroundColor Color black |
61 #endif |
61 #endif |
62 |
62 |