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