update jquery to 1.10 (closes #2786674) Includes: * base jquery * jquery.migrate to help for the transition * jquery.ui The jquery.ui.tabs api has slightly changed hance the change in web/views/tabs. The autocompletion widget is slightly adapted to follow an API change and now extends the base functionality in a simpler way.

     1

/***************************************/

     2

/* Manage view (views/startup.py)      */

     3

/***************************************/

     4

     5

table.startup {

     6

  width: 100%;

     7

}

     8

     9

/* table.startup td { */

    10

/*   padding: 0.1em 0.2em; */

    11

/* } */

    12

    13

table.startup td.addcol {

    14

  text-align: right;

    15

  width: 0.5em;

    16

}

    17

    18

table.startup th{

    19

  text-align: left;

    20

}