|  |  | @@ -45,8 +45,9 @@ | 
		
	
		
			
			|  |  |  | <ul> | 
		
	
		
			
			|  |  |  | <li><a onclick="editor.clear()">Clear</a></li> | 
		
	
		
			
			|  |  |  | <li><a onclick="editor.raussendorf()">Raussendorf</a></li> | 
		
	
		
			
			|  |  |  | <li><a onclick="share()">Share</a></li> | 
		
	
		
			
			|  |  |  | <li><a href="/{{uuid}}/download">Download</a></li> | 
		
	
		
			
			|  |  |  | <li><a href="/doc">Help</a></li> | 
		
	
		
			
			|  |  |  | <li><a href="/doc" id=help>Help</a></li> | 
		
	
		
			
			|  |  |  | </ul> | 
		
	
		
			
			|  |  |  | </div> | 
		
	
		
			
			|  |  |  | 
 | 
		
	
	
		
			
				|  |  | 
 |