2019-05-22 21:25:33 +02:00
|
|
|
green2=200
|
2018-01-28 14:08:54 +01:00
|
|
|
red=128
|
2019-05-22 21:25:33 +02:00
|
|
|
blue=200
|
2018-01-02 14:47:49 +01:00
|
|
|
|
2019-05-22 21:25:33 +02:00
|
|
|
color=string.char(0, 0, blue)
|
|
|
|
color1=string.char(red, 0, 0)
|
|
|
|
color2=string.char(tonumber(red*0.8), 0, 0)
|
|
|
|
color3=string.char(0, tonumber(green2*0.4), 0)
|
|
|
|
color4=string.char(0,0 ,tonumber(blue*0.2))
|
2018-01-02 14:47:49 +01:00
|
|
|
|
|
|
|
colorBg=string.char(0,0,0) -- black is the default background color
|
|
|
|
sntpserverhostname="ptbtime1.ptb.de"
|
2018-01-17 21:11:42 +01:00
|
|
|
timezoneoffset=1
|