Fix some jquery UI styles to match the Larry skin

Thomas Bruederli

2014-07-03 8f3bd30e54d4ad72cfe85f6ddd1275f5985ae620

 plugins/jqueryui/themes/larry/jquery-ui-css.diff

@@ -1,5 +1,5 @@
--- jquery-ui-1.10.4.custom.orig.css   2014-06-17 00:47:00.000000000 +0200
+++ jquery-ui-1.10.4.custom.css   2014-06-17 15:31:02.000000000 +0200
+++ jquery-ui-1.10.4.custom.css   2014-07-03 15:02:05.000000000 +0200
@@ -463,20 +463,29 @@
    border-left-width: 1px;
 }
@@ -283,7 +283,7 @@
 }
 .ui-widget-content a {
-   color: 33333;
+   color: #333333;
+   color: #0186ba;
 }
 .ui-widget-header {
    border: 1px solid #fafafa;
@@ -343,7 +343,7 @@
    color: #d64040;
 }
 .ui-state-error a,
@@ -1164,15 +1267,231 @@
@@ -1164,15 +1267,240 @@
 
 /* Overlays */
 .ui-widget-overlay {
@@ -539,6 +539,10 @@
+   margin: 0;
+   border-spacing: 0;
+}
+.ui-datepicker table:focus {
+   outline: 2px solid #4fadd5;
+   outline-offset: -2px;
+}
+.ui-datepicker td {
+   border: 1px solid #bbb;
+   padding: 0;
@@ -564,9 +568,9 @@
+}
+.ui-datepicker td a.ui-state-active {
+   color: #fff;
+   border-color: #0286ac;
+   text-shadow: 0px 1px 1px #00516e;
+   background: #00acd4;
+   border-color: #0286ac !important;
+   text-shadow: 0px 1px 1px #00516e !important;
+   background: #00acd4 !important;
+   background: -moz-linear-gradient(top, #00acd4 0%, #008fc7 100%);
+   background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#00acd4), color-stop(100%,#008fc7));
+   background: -o-linear-gradient(top, #00acd4 0%, #008fc7 100%);
@@ -576,4 +580,9 @@
+.ui-datepicker .ui-state-highlight {
+   color: #0081c2;
+}
+
+.ui-datepicker td.ui-datepicker-days-cell-over a.ui-state-default {
+   color: #fff;
+   border-color: rgba(73,180,210,0.7);
+   background: rgba(73,180,210,0.7);
+   text-shadow: 0px 1px 1px #666;
+}