Adminer coloring for easy prod/dev recognition

AdminerColors.php

<?php

class AdminerColors
{
	function head()
	{
		static $colors = [
			'alpha-adminer.example.com' => '#3C8DBC',
			'prod-adminer.example.com' => '#DD4B39',
		];

		// detection by host, you may also detect by any other paramaters,
		// such as $_GET parameters
		$color = $colors[$_SERVER['HTTP_HOST']] ?? '#00A65A';

		echo '<style>
			#stage-color { background: ' . $color . '; position: fixed; left: 0; top: 0; bottom: 0; width: 2em; }
			#menu { left: 2em; }
			#menu h1 a { color: ' . $color . ' }
			body { padding-left: 2em; }
			#lang { margin-left: 2em; }
			#breadcrumb { left: 23em; }
			</style>';
	}
	function navigation()
	{
		echo '<div id="stage-color"></div>';
	}
}