|  | @@ -1,3 +1,8 @@
 | 
	
		
			
				|  |  | +body {
 | 
	
		
			
				|  |  | +  font-size: 11px;
 | 
	
		
			
				|  |  | +  font-family: "Lucida Grande", helvetica, arial, sans;
 | 
	
		
			
				|  |  | +  background: #eee;
 | 
	
		
			
				|  |  | +}
 | 
	
		
			
				|  |  |  .clearfix:after {
 | 
	
		
			
				|  |  |    content: ".";
 | 
	
		
			
				|  |  |    display: block;
 | 
	
	
		
			
				|  | @@ -15,11 +20,6 @@ html[xmlns] .clearfix {
 | 
	
		
			
				|  |  |  * html .clearfix {
 | 
	
		
			
				|  |  |    height: 1%;
 | 
	
		
			
				|  |  |  }
 | 
	
		
			
				|  |  | -#helios {
 | 
	
		
			
				|  |  | -    font-size: 11px;
 | 
	
		
			
				|  |  | -    font-family: "Lucida Grande", helvetica, arial, sans;
 | 
	
		
			
				|  |  | -    background: #eee;
 | 
	
		
			
				|  |  | -}
 | 
	
		
			
				|  |  |  #helios a {
 | 
	
		
			
				|  |  |    cursor: pointer;
 | 
	
		
			
				|  |  |  }
 | 
	
	
		
			
				|  | @@ -38,7 +38,7 @@ html[xmlns] .clearfix {
 | 
	
		
			
				|  |  |  }
 | 
	
		
			
				|  |  |  #helios .CodeMirror-hints {
 | 
	
		
			
				|  |  |    border-radius: 0;
 | 
	
		
			
				|  |  | -  font-family: Menlo, Monaco, "Lucida Console", "Ubuntu Mono", Courier, monospace;
 | 
	
		
			
				|  |  | +  font-family: Menlo, Monaco, "Lucida Console", Courier, monospace;
 | 
	
		
			
				|  |  |    font-size: 11px;
 | 
	
		
			
				|  |  |    line-height: 1em;
 | 
	
		
			
				|  |  |    padding: 0;
 | 
	
	
		
			
				|  | @@ -49,8 +49,9 @@ html[xmlns] .clearfix {
 | 
	
		
			
				|  |  |    padding: 0 10px;
 | 
	
		
			
				|  |  |  }
 | 
	
		
			
				|  |  |  #helios .CodeMirror pre {
 | 
	
		
			
				|  |  | -  font-family: Menlo, Monaco, "Lucida Console", Courier, monospace;
 | 
	
		
			
				|  |  | +  font-family: Menlo, Monaco, "Lucida Console", "Ubuntu Mono", Courier, monospace;
 | 
	
		
			
				|  |  |    line-height: 16px;
 | 
	
		
			
				|  |  | +  font-size: 13px;
 | 
	
		
			
				|  |  |  }
 | 
	
		
			
				|  |  |  #helios .CodeMirror-gutter.stops {
 | 
	
		
			
				|  |  |    width: 20px;
 |