.. |
source
|
7dd2a10b34
remove extra whitespace in css
|
11 роки тому |
template
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 роки тому |
beige.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 роки тому |
default.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 роки тому |
moon.css
|
034016e330
merge two new themes, slight adjustments to said themes
|
11 роки тому |
night.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 роки тому |
serif.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 роки тому |
simple.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 роки тому |
sky.css
|
d5bf12275c
better choice of fallback fonts (closes #328)
|
11 роки тому |
solarized.css
|
034016e330
merge two new themes, slight adjustments to said themes
|
11 роки тому |