annotate src/main/webapp/imageServer/resources/js/jquery-ui-1.10.4/themes/base/jquery.ui.spinner.css @ 203:719475ad0923 iiif_diva

more work on new diva.js in imageServer
author casties
date Fri, 05 Jul 2019 16:05:57 +0200
parents 764f47286679
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
jurzua
parents:
diff changeset
1 /*!
jurzua
parents:
diff changeset
2 * jQuery UI Spinner 1.10.4
jurzua
parents:
diff changeset
3 * http://jqueryui.com
jurzua
parents:
diff changeset
4 *
jurzua
parents:
diff changeset
5 * Copyright 2014 jQuery Foundation and other contributors
jurzua
parents:
diff changeset
6 * Released under the MIT license.
jurzua
parents:
diff changeset
7 * http://jquery.org/license
jurzua
parents:
diff changeset
8 *
jurzua
parents:
diff changeset
9 * http://api.jqueryui.com/spinner/#theming
jurzua
parents:
diff changeset
10 */
jurzua
parents:
diff changeset
11 .ui-spinner {
jurzua
parents:
diff changeset
12 position: relative;
jurzua
parents:
diff changeset
13 display: inline-block;
jurzua
parents:
diff changeset
14 overflow: hidden;
jurzua
parents:
diff changeset
15 padding: 0;
jurzua
parents:
diff changeset
16 vertical-align: middle;
jurzua
parents:
diff changeset
17 }
jurzua
parents:
diff changeset
18 .ui-spinner-input {
jurzua
parents:
diff changeset
19 border: none;
jurzua
parents:
diff changeset
20 background: none;
jurzua
parents:
diff changeset
21 color: inherit;
jurzua
parents:
diff changeset
22 padding: 0;
jurzua
parents:
diff changeset
23 margin: .2em 0;
jurzua
parents:
diff changeset
24 vertical-align: middle;
jurzua
parents:
diff changeset
25 margin-left: .4em;
jurzua
parents:
diff changeset
26 margin-right: 22px;
jurzua
parents:
diff changeset
27 }
jurzua
parents:
diff changeset
28 .ui-spinner-button {
jurzua
parents:
diff changeset
29 width: 16px;
jurzua
parents:
diff changeset
30 height: 50%;
jurzua
parents:
diff changeset
31 font-size: .5em;
jurzua
parents:
diff changeset
32 padding: 0;
jurzua
parents:
diff changeset
33 margin: 0;
jurzua
parents:
diff changeset
34 text-align: center;
jurzua
parents:
diff changeset
35 position: absolute;
jurzua
parents:
diff changeset
36 cursor: default;
jurzua
parents:
diff changeset
37 display: block;
jurzua
parents:
diff changeset
38 overflow: hidden;
jurzua
parents:
diff changeset
39 right: 0;
jurzua
parents:
diff changeset
40 }
jurzua
parents:
diff changeset
41 /* more specificity required here to override default borders */
jurzua
parents:
diff changeset
42 .ui-spinner a.ui-spinner-button {
jurzua
parents:
diff changeset
43 border-top: none;
jurzua
parents:
diff changeset
44 border-bottom: none;
jurzua
parents:
diff changeset
45 border-right: none;
jurzua
parents:
diff changeset
46 }
jurzua
parents:
diff changeset
47 /* vertically center icon */
jurzua
parents:
diff changeset
48 .ui-spinner .ui-icon {
jurzua
parents:
diff changeset
49 position: absolute;
jurzua
parents:
diff changeset
50 margin-top: -8px;
jurzua
parents:
diff changeset
51 top: 50%;
jurzua
parents:
diff changeset
52 left: 0;
jurzua
parents:
diff changeset
53 }
jurzua
parents:
diff changeset
54 .ui-spinner-up {
jurzua
parents:
diff changeset
55 top: 0;
jurzua
parents:
diff changeset
56 }
jurzua
parents:
diff changeset
57 .ui-spinner-down {
jurzua
parents:
diff changeset
58 bottom: 0;
jurzua
parents:
diff changeset
59 }
jurzua
parents:
diff changeset
60
jurzua
parents:
diff changeset
61 /* TR overrides */
jurzua
parents:
diff changeset
62 .ui-spinner .ui-icon-triangle-1-s {
jurzua
parents:
diff changeset
63 /* need to fix icons sprite */
jurzua
parents:
diff changeset
64 background-position: -65px -16px;
jurzua
parents:
diff changeset
65 }