Hopefully managed to put enough hacks in there to make renaming the config file the last step, so if it fails, it can be done manually

     1

.sourceIframe {

     2

	border: 1px solid #808080;

     3

}