styles/os2.style
author Jan Vrany <jan.vrany@fit.cvut.cz>
Thu, 14 Sep 2017 09:28:09 +0100
branchjv
changeset 8182 c730140a0156
parent 4394 ddfd58847892
permissions -rw-r--r--
X11: compile `GLXWorkstation` with OpenGL OpenGL compiler and linker flags are configured locally in `Make.proto` rather than in target config - this moves the configuration closer to the code. Currently all supported (and considered) platforms have OpenGL implementation. Later on one may use conditionals in makefile to deal exceptions.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
     1
; View defaultStyle:#os2
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
     2
;
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
     3
; this is not yet completed
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
     4
;
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
     5
; $Header: /cvs/stx/stx/libview/styles/os2.style,v 1.20 2005-06-27 10:34:22 cg Exp $
144
claus
parents: 122
diff changeset
     6
claus
parents: 122
diff changeset
     7
comment  'OS/2 look alike'
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
     8
309
8cc4d0e7b41b germanism
Claus Gittinger <cg@exept.de>
parents: 152
diff changeset
     9
#if (Language == #german) or:[Language == #de]
498
ca1d11e446ce some french strings
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    10
comment  'An `OS/2'' angelehnter Stil'
ca1d11e446ce some french strings
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    11
#endif
ca1d11e446ce some french strings
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    12
#if (Language == #french) or:[Language == #fr]
ca1d11e446ce some french strings
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    13
comment  'Comme `OS/2'''
309
8cc4d0e7b41b germanism
Claus Gittinger <cg@exept.de>
parents: 152
diff changeset
    14
#endif
8cc4d0e7b41b germanism
Claus Gittinger <cg@exept.de>
parents: 152
diff changeset
    15
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    16
is3D                      true
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    17
name                      #os2
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    18
144
claus
parents: 122
diff changeset
    19
; viewGrey                  Color grey:80
claus
parents: 122
diff changeset
    20
; darkerGrey                Color grey:67
152
claus
parents: 144
diff changeset
    21
claus
parents: 144
diff changeset
    22
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    23
#if Screen current hasColors
1857
854b5ec3c7b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1853
diff changeset
    24
Yellow                    (Color red:100 green:100 blue:70) exactOrNearestOn:(Screen current)
1853
c3d87b4f6051 use nearest colors to avoid dithered view backgrounds
Claus Gittinger <cg@exept.de>
parents: 1620
diff changeset
    25
Yellow                    (Color red:100 green:100 blue:70)
152
claus
parents: 144
diff changeset
    26
#else
1040
c7c03aca6747 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 498
diff changeset
    27
Yellow                    Color white
152
claus
parents: 144
diff changeset
    28
#endif
claus
parents: 144
diff changeset
    29
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    30
#if Screen current hasGreyscales
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    31
viewGrey                  (Color grey:67) exactOrNearestOn:(Screen current)
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    32
brighterGrey              (Color grey:80) exactOrNearestOn:(Screen current)
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    33
darkerGrey                (Color grey:50) exactOrNearestOn:(Screen current)
152
claus
parents: 144
diff changeset
    34
#else
1040
c7c03aca6747 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 498
diff changeset
    35
Yellow                    Color white
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    36
viewGrey                  Color white
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    37
brighterGrey              Color white
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    38
darkerGrey                Color white
152
claus
parents: 144
diff changeset
    39
#endif
144
claus
parents: 122
diff changeset
    40
2991
918e2f570098 removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents: 2609
diff changeset
    41
#if Screen current platformName = 'WIN32'
918e2f570098 removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents: 2609
diff changeset
    42
viewGrey           [Screen current getSystemColor:#'COLOR_BTNFACE']
918e2f570098 removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents: 2609
diff changeset
    43
brighterGrey       [Screen current getSystemColor:#'COLOR_BTNFACE']
2609
520137eaca29 preference values in os2 style
Claus Gittinger <cg@exept.de>
parents: 2568
diff changeset
    44
darkerGrey         Color grey:50
520137eaca29 preference values in os2 style
Claus Gittinger <cg@exept.de>
parents: 2568
diff changeset
    45
#endif
520137eaca29 preference values in os2 style
Claus Gittinger <cg@exept.de>
parents: 2568
diff changeset
    46
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    47
borderWidth               0
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    48
viewBackground            =viewGrey
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    49
1951
5290a36652db *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1948
diff changeset
    50
fatFont                   Font family:'helvetica' face:'bold' style:'roman' size:12
144
claus
parents: 122
diff changeset
    51
thinFont                  Font family:'helvetica' face:'medium' style:'roman' size:12
claus
parents: 122
diff changeset
    52
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    53
scrollBar.position         #right
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    54
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    55
scrollBar.buttonPositions  #around
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    56
scrollBar.level            -1
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    57
scrollBar.elementSpacing   0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    58
scrollBar.disableButtons   true               "/ disable useless scrollButtons
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    59
scrollBar.hiding           true               "/ automatic hiding of useless scrollBars
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    60
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    61
scroller.level             0
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    62
scroller.viewBackground    =darkerGrey
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    63
scroller.thumbColor        =viewGrey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    64
scroller.thumbLevel        1
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    65
scroller.thumbInset        0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    66
;scroller.thumbInset        1
2468
1a93026b436f slightly increased miniScroller sizes
Claus Gittinger <cg@exept.de>
parents: 1959
diff changeset
    67
miniScroller.size          2.5  "/ millimeter
144
claus
parents: 122
diff changeset
    68
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    69
button.edgeStyle                 #soft
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    70
button.activeLevel               -1
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    71
button.passiveLevel              3
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    72
button.returnButtonHasBorder     true
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    73
; button.activeBackgroundColor     =darkerGrey
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    74
#if Screen current hasGreyscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    75
button.activeBackgroundColor     =brighterGrey
152
claus
parents: 144
diff changeset
    76
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    77
button.activeBackgroundColor     Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    78
button.activeForegroundColor     Color white
152
claus
parents: 144
diff changeset
    79
#endif
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    80
1951
5290a36652db *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1948
diff changeset
    81
radioButton.style                       #round3D
5290a36652db *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1948
diff changeset
    82
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    83
textCursor.type                          #solidCaret
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    84
textCursor.backgroundColor               Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    85
textCursor.noFocusForegroundColor        Color grey
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    86
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    87
popup.shadow                     true
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    88
popup.shadowColor                Color black
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    89
popup.borderWidth                1
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
    90
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
    91
arrowButton.style                  #os2
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    92
arrowButton.foregroundColor        Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    93
arrowButton.activeBackgroundColor  =viewGrey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    94
arrowButton.upFormFile             'ScrollUp.os2.14.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    95
arrowButton.downFormFile           'ScrollDn.os2.14.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    96
arrowButton.leftFormFile           'ScrollLt.os2.14.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    97
arrowButton.rightFormFile          'ScrollRt.os2.14.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    98
arrowButton.activeLevel            -1 "/ 0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    99
arrowButton.passiveLevel           1
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
   100
4394
ddfd58847892 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3702
diff changeset
   101
#if Screen current hasGreyscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   102
button.disabledForegroundColor     Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   103
arrowButton.activeForegroundColor  Color white
152
claus
parents: 144
diff changeset
   104
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   105
button.disabledForegroundColor     Color grey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   106
arrowButton.activeForegroundColor  Color grey
152
claus
parents: 144
diff changeset
   107
#endif
144
claus
parents: 122
diff changeset
   108
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   109
checkToggle.checkColor             Color black
2991
918e2f570098 removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents: 2609
diff changeset
   110
#if Screen current hasGreyscales not
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   111
checkToggle.activeBackgroundColor  Color white
2568
c0a4681674e2 checkToggle bg-color
Claus Gittinger <cg@exept.de>
parents: 2468
diff changeset
   112
#else
c0a4681674e2 checkToggle bg-color
Claus Gittinger <cg@exept.de>
parents: 2468
diff changeset
   113
checkToggle.activeBackgroundColor =viewGrey
152
claus
parents: 144
diff changeset
   114
#endif
144
claus
parents: 122
diff changeset
   115
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   116
selection.font                     =fatFont
1951
5290a36652db *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1948
diff changeset
   117
label.font                         =thinFont
144
claus
parents: 122
diff changeset
   118
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   119
selection.backgroundColor          =Yellow
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   120
selection.hilightForegroundColor   Color white
2991
918e2f570098 removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents: 2609
diff changeset
   121
#if Screen current hasGreyscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   122
selection.hilightBackgroundColor   (Color grey:50) exactOrNearestOn:(Screen current)
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   123
selection.hilightFrameColor        (Color grey:25) exactOrNearestOn:(Screen current)
152
claus
parents: 144
diff changeset
   124
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   125
selection.hilightBackgroundColor   Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   126
selection.hilightFrameColor        Color grey:25
152
claus
parents: 144
diff changeset
   127
#endif
144
claus
parents: 122
diff changeset
   128
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   129
selection.hilightLevel             0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   130
selection.rightArrowLevel          0
152
claus
parents: 144
diff changeset
   131
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   132
editField.backgroundColor            =Yellow
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   133
editField.selectionBackgroundColor   Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   134
editField.selectionForegroundColor   Color white
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
   135
144
claus
parents: 122
diff changeset
   136
;
claus
parents: 122
diff changeset
   137
; since menus inherit from selectionInList,
1040
c7c03aca6747 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 498
diff changeset
   138
; redefine the Yellow settings ...
144
claus
parents: 122
diff changeset
   139
;
1951
5290a36652db *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1948
diff changeset
   140
menu.font                            =fatFont
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   141
menu.backgroundColor                 =viewGrey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   142
menu.shadowColor                     =menu.backgroundColor darkened
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   143
menu.lightColor                      =menu.backgroundColor lightened
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   144
; menu.hilightForegroundColor        Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   145
; menu.hilightBackgroundColor        =darkerGrey
2991
918e2f570098 removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents: 2609
diff changeset
   146
#if Screen current hasGreyscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   147
menu.hilightFrameColor               nil
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   148
menu.hilightLevel                    -1
152
claus
parents: 144
diff changeset
   149
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   150
menu.hilightFrameColor               Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   151
menu.hilightLevel                    0
152
claus
parents: 144
diff changeset
   152
#endif
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   153
menu.viewBackground                  =viewGrey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   154
menu.separatingLineLevel             0
122
c84d8d1e8d48 Initial revision
claus
parents:
diff changeset
   155
1951
5290a36652db *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1948
diff changeset
   156
pullDownMenu.font                    =fatFont
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   157
pullDownMenu.separatingLines         false
3702
39cb49a47bc1 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 2991
diff changeset
   158
;; pullDownMenu.level                0
39cb49a47bc1 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 2991
diff changeset
   159
pullDownMenu.level                   1
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   160
pullDownMenu.hilightLevel            -1
2991
918e2f570098 removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents: 2609
diff changeset
   161
#if Screen current hasGrayscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   162
pullDownMenu.hilightForegroundColor  Color black
1620
49812898bfe2 html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents: 1447
diff changeset
   163
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   164
pullDownMenu.hilightForegroundColor  Color white
1620
49812898bfe2 html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents: 1447
diff changeset
   165
#endif
49812898bfe2 html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents: 1447
diff changeset
   166
2991
918e2f570098 removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents: 2609
diff changeset
   167
#if Screen current hasGrayscales not
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   168
html.anchorUnderline                true
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   169
html.anchorForegroundColor          Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   170
html.backgroundColor                Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   171
html.activeAnchorForegroundColor    Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   172
html.activeAnchorBackgroundColor    =html.backgroundColor
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   173
html.visitedAnchorForegroundColor   Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   174
html.exampleAnchorForegroundColor   Color black
1620
49812898bfe2 html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents: 1447
diff changeset
   175
#endif
49812898bfe2 html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents: 1447
diff changeset
   176