| .. |
|
source
|
7dd2a10b34
remove extra whitespace in css
|
11 years ago |
|
template
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 years ago |
|
beige.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 years ago |
|
default.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 years ago |
|
moon.css
|
034016e330
merge two new themes, slight adjustments to said themes
|
11 years ago |
|
night.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 years ago |
|
serif.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 years ago |
|
simple.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 years ago |
|
sky.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 years ago |
|
solarized.css
|
034016e330
merge two new themes, slight adjustments to said themes
|
11 years ago |
Hakim El Hattab
7dd2a10b34
remove extra whitespace in css