styles/iris_light.style
author claus
Tue, 16 May 1995 19:17:11 +0200
changeset 144 cf645a1ebbb3
parent 132 9dc9048e091d
child 152 17cc0709e898
permissions -rw-r--r--
.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
132
claus
parents:
diff changeset
     1
; View defaultStyle:#'informatik' 
claus
parents:
diff changeset
     2
;
claus
parents:
diff changeset
     3
; example for a very small change 
claus
parents:
diff changeset
     4
; - like iris style, but slightly brighter
claus
parents:
diff changeset
     5
;
claus
parents:
diff changeset
     6
claus
parents:
diff changeset
     7
#include 'iris.style'
claus
parents:
diff changeset
     8
144
claus
parents: 132
diff changeset
     9
comment  'like iris.style;\\with brighter colors (better on some VGAs)'
claus
parents: 132
diff changeset
    10
132
claus
parents:
diff changeset
    11
viewGrey                        Color grey:80
claus
parents:
diff changeset
    12
viewBackground                  =viewGrey
claus
parents:
diff changeset
    13
scrollerThumbColor              =viewGrey
claus
parents:
diff changeset
    14
textSelectionBackgroundColor    Color grey:80
claus
parents:
diff changeset
    15
claus
parents:
diff changeset
    16