<?php
setOption('themeSwitcher_css',
						".themeSwitcherControlLink {\n".
						" position: fixed;\n".
						" z-index: 10000;\n".
						" left: 200px;\n".
						" top: 0px;\n".
						" border-bottom: 1px solid #444;\n".
						" border-left: 1px solid #444;\n".
						" color: black;\n".
						" padding: 2px;\n".
						" background-color: #f5f5f5;\n".
						"}\n"
						,false);
?>