| 
							
							
								 Oliver Gorwits | a54bcba22c | remove href from port name link to discourage bookmarking | 2012-02-22 22:47:18 +00:00 |  | 
			
				
					| 
							
							
								 Oliver Gorwits | 85f531358a | sidebar pinning | 2012-02-03 17:56:43 +00:00 |  | 
			
				
					| 
							
							
								 Oliver Gorwits | acde618a72 | add navbar search icon | 2012-02-03 16:02:45 +00:00 |  | 
			
				
					| 
							
							
								 Oliver Gorwits | 2246405fbf | no need for device labels | 2012-02-03 10:23:40 +00:00 |  | 
			
				
					| 
							
							
								 Oliver Gorwits | 85ab01a17a | remove content from unused sidebar | 2012-02-01 15:40:05 +00:00 |  | 
			
				
					| 
							
							
								 Oliver Gorwits | 74c8443d9f | style fixes for sidebar in/out | 2012-02-01 13:37:17 +00:00 |  | 
			
				
					| 
							
							
								 Oliver Gorwits | c7bae9b638 | first impl. of RHS sidebar | 2012-02-01 12:40:06 +00:00 |  | 
			
				
					| 
							
							
								 Oliver Gorwits | 9eb4b5331f | rename and reorganise stylesheeets | 2012-02-01 12:39:59 +00:00 |  |