 Nicolas Petton
|
bc7fa54105
Merge pull request #841 from herby/fixing-sans-to-sans-serif
|
11 years ago |
 Herbert Vojčík
|
44a8f78e8a
The generic CSS font family name is 'sans-serif', not 'sans'
|
11 years ago |
|
Nicolas Petton
|
d9ad8f666a
Merge pull request #840 from herby/using-and-in-less
|
11 years ago |
|
Herbert Vojčík
|
cb5957f7b9
include base .CodeMirror themed settings via `&`
|
11 years ago |
|
Nicolas Petton
|
308eaf1a2b
Fixes a typo in helios.less
|
11 years ago |
|
Herbert Vojčík
|
cc89298958
#helios -> body[id="helios"]
|
11 years ago |
|
Herbert Vojčík
|
ad62ed9824
Hint selection menu should have sans-serif menu font.
|
11 years ago |
|
Herbert Vojčík
|
5b21f09fc1
Extracting Helios fonts and colours.
|
11 years ago |
|
Herbert Vojčík
|
ac72bf9db2
Formatting helios.less
|
11 years ago |
|
Nicolas Petton
|
a99da5be7d
helios: adds focus shadow around buttons
|
11 years ago |
|
Nicolas Petton
|
92e7498fdb
Better fonts for line numbers in CodeMirror
|
11 years ago |
|
Nicolas Petton
|
26d88e7049
More font changes to Helios code widget
|
12 years ago |
|
Nicolas Petton
|
b6601897d4
Helios: tab switch widget improvements
|
12 years ago |
|
Nicolas Petton
|
29b2e12850
helios: some small css improvements
|
12 years ago |
|
Nicolas Petton
|
666cd70235
helios binding input refactoring
|
12 years ago |
|
Nicolas Petton
|
92fbe52b4c
helios: new icons for tabs
|
12 years ago |
|
Nicolas Petton
|
6aef917241
new icons
|
12 years ago |
|
Nicolas Petton
|
5431be3b26
fixes issue #500
|
12 years ago |
|
Nicolas Petton
|
b3309550e9
helios:
|
12 years ago |
