# HG changeset patch
# User Pawel Solyga <Pawel.Solyga@gmail.com>
# Date 1235297225 0
# Node ID 2209a6e59870ec5b55ce1ac62cbfc902e08bbed5
# Parent  ef134d062b8321a5d7a18ab7eaea0ab9f33ce6b5
Style fixes in jquery-ui.datetimepicker.js file.

Patch by: Pawel Solyga
Reviewed by: to-be-reviewed

diff -r ef134d062b83 -r 2209a6e59870 app/jquery/jquery-ui.datetimepicker.js
--- a/app/jquery/jquery-ui.datetimepicker.js	Sun Feb 22 00:27:10 2009 +0000
+++ b/app/jquery/jquery-ui.datetimepicker.js	Sun Feb 22 10:07:05 2009 +0000
@@ -672,14 +672,13 @@
 		inst._selectedDay = inst._currentDay = $('a', td).html();
 		inst._selectedMonth = inst._currentMonth = month;
 		inst._selectedYear = inst._currentYear = year;
-
-        inst._currentHour = $('select.datetimepicker_newHour option:selected').val();
-        if (inst._currentHour==undefined)
-            inst._currentHour = 0;
+    inst._currentHour = $('select.datetimepicker_newHour option:selected').val();
+    if (inst._currentHour == undefined)
+      inst._currentHour = 0;
 		inst._selectedHour = inst._currentHour;
-        inst._currentMinute = $('select.datetimepicker_newMinute option:selected').val();
-        if (inst._currentMinute==undefined)
-            inst._currentMinute = 0;
+    inst._currentMinute = $('select.datetimepicker_newMinute option:selected').val();
+    if (inst._currentMinute == undefined)
+      inst._currentMinute = 0;
 		inst._selectedMinute = inst._currentMinute;
 
 		this._selectDate(id, inst._formatDateTime(