I have CSS in an internal style tag in the header but with an id as in <style id="mks">...css ...</style>. Now I want to make this css external, let us say in “myfile.css”. The obvious thing to do is now to place a line like