<div class="container settings" ng-show="settings_shown">
	<div class="row">
		<div class="col-md-12">
			Restart:
			<select ng-model="restart_style" ng-options="style.name for style in restart_styles"></select>
			<br>
			Distribute: 
			<select ng-model="distribution_style" ng-options="style.name for style in distribution_styles"></select>
		</div>
	</div>
</div>