##// END OF EJS Templates
More tabs to spaces on less files.
Brian E. Granger -
Show More
@@ -3,63 +3,63
3 /* Taken from Alex Russell http://infrequently.org/2009/08/css-3-progress/ */
3 /* Taken from Alex Russell http://infrequently.org/2009/08/css-3-progress/ */
4
4
5 .hbox {
5 .hbox {
6 display: -webkit-box;
6 display: -webkit-box;
7 -webkit-box-orient: horizontal;
7 -webkit-box-orient: horizontal;
8 -webkit-box-align: stretch;
8 -webkit-box-align: stretch;
9
9
10 display: -moz-box;
10 display: -moz-box;
11 -moz-box-orient: horizontal;
11 -moz-box-orient: horizontal;
12 -moz-box-align: stretch;
12 -moz-box-align: stretch;
13
13
14 display: box;
14 display: box;
15 box-orient: horizontal;
15 box-orient: horizontal;
16 box-align: stretch;
16 box-align: stretch;
17 }
17 }
18
18
19 .hbox > * {
19 .hbox > * {
20 -webkit-box-flex: 0;
20 -webkit-box-flex: 0;
21 -moz-box-flex: 0;
21 -moz-box-flex: 0;
22 box-flex: 0;
22 box-flex: 0;
23 }
23 }
24
24
25 .vbox {
25 .vbox {
26 display: -webkit-box;
26 display: -webkit-box;
27 -webkit-box-orient: vertical;
27 -webkit-box-orient: vertical;
28 -webkit-box-align: stretch;
28 -webkit-box-align: stretch;
29
29
30 display: -moz-box;
30 display: -moz-box;
31 -moz-box-orient: vertical;
31 -moz-box-orient: vertical;
32 -moz-box-align: stretch;
32 -moz-box-align: stretch;
33
33
34 display: box;
34 display: box;
35 box-orient: vertical;
35 box-orient: vertical;
36 box-align: stretch;
36 box-align: stretch;
37 /* width must be 100% to force FF to behave like webkit */
37 /* width must be 100% to force FF to behave like webkit */
38 width: 100%;
38 width: 100%;
39 }
39 }
40
40
41 .vbox > * {
41 .vbox > * {
42 -webkit-box-flex: 0;
42 -webkit-box-flex: 0;
43 -moz-box-flex: 0;
43 -moz-box-flex: 0;
44 box-flex: 0;
44 box-flex: 0;
45 }
45 }
46
46
47 .reverse {
47 .reverse {
48 -webkit-box-direction: reverse;
48 -webkit-box-direction: reverse;
49 -moz-box-direction: reverse;
49 -moz-box-direction: reverse;
50 box-direction: reverse;
50 box-direction: reverse;
51 }
51 }
52
52
53 .box-flex0 {
53 .box-flex0 {
54 -webkit-box-flex: 0;
54 -webkit-box-flex: 0;
55 -moz-box-flex: 0;
55 -moz-box-flex: 0;
56 box-flex: 0;
56 box-flex: 0;
57 }
57 }
58
58
59 .box-flex1 {
59 .box-flex1 {
60 -webkit-box-flex: 1;
60 -webkit-box-flex: 1;
61 -moz-box-flex: 1;
61 -moz-box-flex: 1;
62 box-flex: 1;
62 box-flex: 1;
63 }
63 }
64
64
65 .box-flex {
65 .box-flex {
@@ -69,37 +69,37
69
69
70
70
71 .box-flex2 {
71 .box-flex2 {
72 -webkit-box-flex: 2;
72 -webkit-box-flex: 2;
73 -moz-box-flex: 2;
73 -moz-box-flex: 2;
74 box-flex: 2;
74 box-flex: 2;
75 }
75 }
76
76
77 .box-group1 {
77 .box-group1 {
78 -webkit-box-flex-group: 1;
78 -webkit-box-flex-group: 1;
79 -moz-box-flex-group: 1;
79 -moz-box-flex-group: 1;
80 box-flex-group: 1;
80 box-flex-group: 1;
81 }
81 }
82
82
83 .box-group2 {
83 .box-group2 {
84 -webkit-box-flex-group: 2;
84 -webkit-box-flex-group: 2;
85 -moz-box-flex-group: 2;
85 -moz-box-flex-group: 2;
86 box-flex-group: 2;
86 box-flex-group: 2;
87 }
87 }
88
88
89 .start {
89 .start {
90 -webkit-box-pack: start;
90 -webkit-box-pack: start;
91 -moz-box-pack: start;
91 -moz-box-pack: start;
92 box-pack: start;
92 box-pack: start;
93 }
93 }
94
94
95 .end {
95 .end {
96 -webkit-box-pack: end;
96 -webkit-box-pack: end;
97 -moz-box-pack: end;
97 -moz-box-pack: end;
98 box-pack: end;
98 box-pack: end;
99 }
99 }
100
100
101 .center {
101 .center {
102 -webkit-box-pack: center;
102 -webkit-box-pack: center;
103 -moz-box-pack: center;
103 -moz-box-pack: center;
104 box-pack: center;
104 box-pack: center;
105 }
105 }
@@ -3,8 +3,8
3 z-index: 10;
3 z-index: 10;
4 overflow: hidden;
4 overflow: hidden;
5 border: 1px solid @border_color;
5 border: 1px solid @border_color;
6 .corner-all;
6 .corner-all;
7 .box-shadow(0px 6px 10px -1px #adadad);
7 .box-shadow(0px 6px 10px -1px #adadad);
8 }
8 }
9
9
10 .completions select {
10 .completions select {
@@ -15,7 +15,7
15 margin: 0px;
15 margin: 0px;
16 overflow: auto;
16 overflow: auto;
17 font-family: @monoFontFamily;
17 font-family: @monoFontFamily;
18 font-size: 110%;
18 font-size: 110%;
19 color: @textColor;
19 color: @textColor;
20 }
20 }
21
21
@@ -1,6 +1,6
1
1
2 body {
2 body {
3 background-color: @bodyBackground;
3 background-color: @bodyBackground;
4 }
4 }
5
5
6 body.notebook_app {
6 body.notebook_app {
@@ -57,7 +57,7 pre, code, kbd, samp { white-space: pre-wrap; }
57 }
57 }
58
58
59 p {
59 p {
60 margin-bottom:0;
60 margin-bottom:0;
61 }
61 }
62
62
63 .end_space {
63 .end_space {
General Comments 0
You need to be logged in to leave comments. Login now