Go to the source code of this file.
The idea is that you customise it using user or site CSS
Definition in file MySkin.php.