Board3

I need to change the size of the clock on the portal. I've been looking at this knowledge/kb_show.php?id=20
but I can't find the clock.html file. I've also looked in portal_clock.php but can't find it in there.
The clock is custom made and is 250w x 290h
Where should I look?
My portal is v.2.00 board is 3.0.10

Thank you

Clock ==> root/styles/your style/theme/images/portal/board3clock.swf
This size change ==> root/styles/your style/template/portal/modules/clock_side.html

Thanks a lot for the fast reply