Hakim El Hattab 7dd2a10b34 remove extra whitespace in css 11 سال پیش
..
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 سال پیش