Fix #1

This should reslove the issue with the time not updating.
It appears that an issue with conflicting options for the time
formatting has been introduced.

clock.js

@@ -18,14 +18,12 @@ function startTime(){
                 + current_time.toLocaleString('en-US', 
                 {timeZone: current_tz,
                 hourCycle:'h24',
-                timeStyle:'long',
                 hour: '2-digit',
                 minute:'2-digit',
                 second:'2-digit',
                 timeZoneName:'short'});
   document.getElementById('time_body').innerHTML = current_time.toLocaleString('en-EN' ,{
                                          timeZone: current_tz,
-                                         dateStyle:'long',
                                          hourCycle:'h24',
                                          weekday:'short',
                                          month:'short',
@@ -37,7 +35,6 @@ function startTime(){
   if(original_tz){//Test if there is a non-null value for original_tz. If True then the part of the page this pertains to is being displayed.
     document.getElementById('time_original').innerHTML = current_time.toLocaleString('en-EN' ,{
                                            timeZone: original_tz,
-                                           dateStyle:'long',
                                            hourCycle:'h24',
                                            weekday:'short',
                                            month:'short',