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