You shouldn’t hack the WordPress core. You can use a hook to do it. Example:
function dashboard_vertical_styling() {
echo '<style type="text/css">
#adminmenu { something goes here; }
</style>';
}
add_action('admin_head', 'custom_colors');