##// END OF EJS Templates
Cleaning up indentation and spacing of less files touched.
Brian E. Granger -
Show More
@@ -66,8 +66,6 b''
66 .box-flex1();
66 .box-flex1();
67 }
67 }
68
68
69
70
71 .box-flex2 {
69 .box-flex2 {
72 -webkit-box-flex: 2;
70 -webkit-box-flex: 2;
73 -moz-box-flex: 2;
71 -moz-box-flex: 2;
1 NO CONTENT: modified file
NO CONTENT: modified file
1 NO CONTENT: modified file
NO CONTENT: modified file
1 NO CONTENT: modified file
NO CONTENT: modified file
@@ -140,9 +140,11 b' div.raw_input {'
140 line-height: 1em;
140 line-height: 1em;
141 font-family: @monoFontFamily;
141 font-family: @monoFontFamily;
142 }
142 }
143
143 span.input_prompt {
144 span.input_prompt {
144 font-family: inherit;
145 font-family: inherit;
145 }
146 }
147
146 input.raw_input {
148 input.raw_input {
147 font-family: inherit;
149 font-family: inherit;
148 font-size: inherit;
150 font-size: inherit;
General Comments 0
You need to be logged in to leave comments. Login now