Johann Hubert Sonntagbauer 3a99fe5d65 [playground] fix overflow in safari (#4406) ... * [playground] fix overflow in safari * options panel will not outgrow editors panel * fix overflow in safari 10.1 * fix odd code mirror gutter placement during overflow		2018-05-01 09:41:25 -03:00
..
playground.css	[playground] fix overflow in safari (#4406)	2018-05-01 09:41:25 -03:00