aboutsummaryrefslogtreecommitdiffstats
path: root/trunk/infrastructure/ace/www/inner.css
blob: 7479cfe00deaa0648273356925d22e0a70b6fd7c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
/* Firefox (3) is bad about keeping the text cursor in design mode;
   various actions (clicking, dragging, scroll-wheel) lose it and it
   doesn't come back easily, presumably because of optimizations.
   These rules try to maximize the chance Firefox will think the cursor
   needs changing again.
*/
html { cursor: text; } /* in Safari, produces text cursor for whole doc (inc. below body) */
span { cursor: auto; }

a { cursor: pointer !important; }

/*span { padding-bottom: 1px; }/* padding-top: 1px; }*/

/*.inspoint_atstart_generic { background: transparent url(/genimg/solid/2x10/000000.gif) repeat-y left top }
.inspoint_atend_generic { background: transparent url(/genimg/solid/2x10/000000.gif) repeat-y right top }*/

/*div { background: transparent url(/static/img/acecarets/default.gif) repeat-y left top }*/

/*tt { padding-left: 3px; padding-right: 3px; margin-right: -3px; margin-left: -3px; }*/

/*div { display: list-item; list-style: disc outside; margin-left: 20px; }*/
/*div:before { content:"foo" }*/

ul, ol, li {
  padding: 0;
  margin: 0;
}
ul { margin-left: 1.5em; }
ul ul { margin-left: 0 !important; }
ul.list-bullet1 { margin-left: 1.5em; }
ul.list-bullet2 { margin-left: 3em; }
ul.list-bullet3 { margin-left: 4.5em; }
ul.list-bullet4 { margin-left: 6em; }
ul.list-bullet5 { margin-left: 7.5em; }
ul.list-bullet6 { margin-left: 9em; }
ul.list-bullet7 { margin-left: 10.5em; }
ul.list-bullet8 { margin-left: 12em; }

ul { list-style-type: disc; }
ul.list-bullet1 { list-style-type: disc; }
ul.list-bullet2 { list-style-type: circle; }
ul.list-bullet3 { list-style-type: square; }
ul.list-bullet4 { list-style-type: disc; }
ul.list-bullet5 { list-style-type: circle; }
ul.list-bullet6 { list-style-type: square; }
ul.list-bullet7 { list-style-type: disc; }
ul.list-bullet8 { list-style-type: circle; }