ajaxorg/ace — pull request #1157 by mattpardee (2012-12-14 01:30:42+00:00)
Title: fixed selection color, print margin and collapsed code block widget

There were a lot more little issues with the chaos theme than I originally realized. This fixes them