1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{ font = "\\ttfamily"
, space = " "
, datacons = { style = ""
, colour = "darkred"}
, typecons = { style = ""
, colour = "blue"}
, bound = { style = ""
, colour = "black"}
, function = { style = ""
, colour = "darkgreen"}
, keyword = { style = "font-weight: bold;"
, colour = ""}
, comment = { style = ""
, colour = "#b22222"}
, hole = { style = "font-weight: bold;"
, colour = "yellow"}
, namespce = { style = "font-style: italic;"
, colour = "black"}
, postulte = { style = "font-weight: bold;"
, colour = "red"}
, aModule = { style = "font-style: italic;"
, colour = "black"}
}
|
