Skip to content
Snippets Groups Projects
  1. Nov 21, 2013
  2. Nov 13, 2013
  3. Nov 03, 2013
  4. Oct 10, 2013
  5. Oct 09, 2013
  6. Sep 24, 2013
  7. Sep 23, 2013
  8. Aug 19, 2013
  9. Aug 01, 2013
  10. Jul 25, 2013
  11. Jul 04, 2013
  12. Jun 27, 2013
  13. Apr 23, 2013
    • Matt Pass's avatar
      Remove font-size · 1aab6b36
      Matt Pass authored
      This is the only theme that sets font size, remove this to bring in line
      with other themes.
      1aab6b36
  14. Apr 04, 2013
  15. Apr 02, 2013
  16. Mar 19, 2013
  17. Mar 18, 2013
  18. Mar 15, 2013
  19. Mar 06, 2013
    • flack's avatar
      Fix 1-2 pixel jumps when brackets are highlighted · c65ee3ed
      flack authored
      With the eclipse theme, if you move your cursor on a bracket and have the matching bracket option enabled, spans with borders are inserted. They push the rest of the line to the right by the amount of the border width, which looks very crappy. Using outline instead of border fixes this
      c65ee3ed
  20. Dec 04, 2012
  21. Nov 27, 2012
  22. Nov 16, 2012
  23. Nov 12, 2012
  24. Nov 10, 2012
  25. Aug 29, 2012
  26. Aug 28, 2012
    • Marijn Haverbeke's avatar
      New scrolling model · 01a6f5a2
      Marijn Haverbeke authored
      This will make fixedGutter work properly, and make it the only model
      (no more gutter that scrolls out of view).
      
      Also reorganizes the basic css file to be easier to modify for users.
      
      Issue #730
      01a6f5a2
  27. Jun 28, 2012
  28. Jun 22, 2012
Loading