vidjil.less 28.9 KB
Newer Older
1
2
3
4
5

/* base Vidjil style */
/* @default, @background, @highlight, @select, @secondary and @border have to be defined */


6
7
8
9
10
11
12
13
14
15
16
/* default tag color */
@tagColor0 : #DC322F;
@tagColor1 : #cb4b16;
@tagColor2 : #b58900;
@tagColor3 : #268bd2;
@tagColor4 : #6c71c4;
@tagColor5 : #2aa198;
@tagColor6 : #d33682;
@tagColor7 : #859900;


17
18
19
20
21
html{
  height: 100%;
  padding: 0px;
  margin: 0px;
  min-width: 1160px;
Marc Duez's avatar
Marc Duez committed
22
  min-height: 250px
23
24
25
}

body {
Marc Duez's avatar
Marc Duez committed
26
  font-family: ubuntumedium, Arial, Helvetica, Sans-serif;
27
  font-size: 13px;
28
29
30
  height : 100%;
  margin:0px;
  color : @default;
31
  background : @border;
32
33
}

34
35
36

/* texts that are not sequences nor identifiers */

37
#info, .popup_msg, .menu, .menu a
38
39
40
41
42
43
44
45
46
47
48
{
  font-family: ubuntulight, Arial, Helvetica, Sans-serif;
}

a 
{
  font-family: ubuntumedium,  Arial, Helvetica, Sans-serif;
}



49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
h2
{
  margin-top: 2px;
}

ul{
  padding-left:2px;
  margin-top: 3px;
  list-style-type: none;
}

#visu-container{
  -khtml-user-select: none;
  -webkit-user-select: none;
  -moz-user-select: -moz-none;
  -ms-user-select: none;
  user-select: none;
  height :100%;
67
68
  margin : auto;
  overflow : hidden;
69
  background : @background;
70
71
72
73
74
}

#top-container {
  height: 28px;
  width: 100%;
75
  background: @background;
Marc Duez's avatar
Marc Duez committed
76
77
  position : fixed;
  z-index:1;
78
79
}

80
81
82
83
84
85
86
87
88
.scatterplot, .graph{
  -khtml-user-select: none;
  -webkit-user-select: none;
  -moz-user-select: -moz-none;
  -ms-user-select: none;
  user-select: none;
  overflow:hidden;
}

89
#mid-container {
Marc Duez's avatar
Marc Duez committed
90
  position : fixed;
91
  top : 28px;
Marc Duez's avatar
Marc Duez committed
92
  bottom : 125px ;
93
94
95
  width: -moz-calc(~"100%" - @margin + @margin);
  width: -webkit-calc(~"100%" - @margin + @margin);
  width: calc(~"100%" - @margin + @margin);
96
97
  overflow: hidden;
  background: @background;
98
  margin: @margin;
99
100
}

101
102
103
104
105
106
107
108
#right-container{
  -khtml-user-select: none;
  -webkit-user-select: none;
  -moz-user-select: -moz-none;
  -ms-user-select: none;
  user-select: none;
  float : right;
  width : 0px;
109
110
111
112
113
114
}

#left-container {
  height:100%;
  width : @width_left_container;
  float : left;
115
  overflow-y : none;
116
117
118
119
120
  -khtml-user-select: auto;
  -webkit-user-select: auto;
  -moz-user-select: auto;
  -ms-user-select: auto;
  user-select: auto;
121
  display : table;
122
123
124
125
}

#visu, #visu2 {
  height : 50%;
126
  width : 100%;
127
128
}

129
130
131
132
#visu2 {
max-height: calc(~"100%" - @margin)
}

133
134
135
136
137
line {
  stroke: @secondary;
  stroke-width: 0.5;
}

138
139
                        /* left-container - info */

140
141
142
143
144
#info-row{
    height : 200px;
    display : table-row;
}

145
#info{
146
  font-family: ubuntumedium, Arial, Helvetica, Sans-serif;
147
  font-size: 13px;
148
  padding:3px;
149
  background : @background;
150
  display : table-cell;
151
152
}

153
154
155
156
157
158
159
160
161
162
163
164
.info_line {
    border-bottom: solid;
    border-bottom-width: 1px;
    border-color: @border;
}

.info_row {
    padding-left: 20px;
    min-width: 100px;
    display: inline-block;
}

165
166
.info_row_content {
    display: inline-block;
Marc Duez's avatar
Marc Duez committed
167
    width : 345px;
168
169
}

170
171
172
173
174
175
176
177
#info_point {
    margin-top: 15px;
}

#info_data_file
{
  font-size: 200%;
}
178
179
180
181
182
183
184
185

						  /*Style polyline / graph*/

.background_graph{
  fill : @background
}

.background_graph2{
186
  fill : @background
187
188
189
190
191
}

.graph_line{
  stroke-width : 2.5px;
  cursor:pointer;
192
  stroke: @default;
193
194
}

Marc Duez's avatar
Marc Duez committed
195
196
197
198
199
200
201
202
203
204
205
.graph_data{
    fill: none;
    stroke-width: 8px;
    opacity: 0.3;
    cursor:pointer;
}

.graph_data:hover{
    opacity:0.8;
}

206
207
208
209
210
211
212
213
214
215
.graph_inactive{
  stroke-width : 1.5px;
  cursor:pointer;
  display:none;
}

.graph_select{
  stroke-width : 5px;
  cursor:pointer;
  stroke-dasharray : 20px,5px ;
216
  stroke: @default;
217
218
219
220
221
}

.graph_focus{
  stroke-width : 5px;
  cursor:pointer;
222
  stroke: @select;
223
224
}

Marc Duez's avatar
Marc Duez committed
225
.axis_m{
Marc Duez's avatar
Marc Duez committed
226
  stroke : @default ;
227
228
229
230
  opacity : 0.5 ;
  stroke-width : 20px;
}

231
232
233
234
.axis_m_other {
  stroke: @default ;
  opacity: 0.25 ;
  stroke-width: 10px;
235
  display: none;
236
237
}

238
.axis_h{
Marc Duez's avatar
Marc Duez committed
239
  stroke : @default ;
240
241
242
}

.axis_v{
243
 display: none;
244
245
}

Marc Duez's avatar
Marc Duez committed
246
247
248
249
.axis_v_hidden{
 display: none;
}

250
251
252
253
254
255
256
257
258
259
.axis_button, .axis_leg{
  fill : @default;
}

#resolution1{
  fill : @background;
  opacity : 1;
}

#resolution5{
260
261
    fill: @border;
    opacity: 0.6;
262
263
}

264
.graph_time{
265
266
267
268
269
270
  fill : @default ;
  text-anchor:middle;
  font-size : 100%;
}

.graph_time2{
271
  font-weight : bold;
Marc Duez's avatar
Marc Duez committed
272
  fill : @default ;
273
  text-anchor:middle;
274
  font-size : 120%;
275
276
}

277
278
.graph_text{
  font-weight : bold;
Marc Duez's avatar
Marc Duez committed
279
  fill : @default ;
280
  text-anchor:end;
281
  dominant-baseline: middle;
282
283
}

284
285
286
287
288
.graph_text2{
  font-weight : bold;
  fill : @default ;
}

289
290
291
292
293
.graph_time:hover{
  cursor:pointer;
  fill : @select;
}

294
295
.graph_menu{
  position: absolute;
296
297
  top: 0px;
  right: 0px;
Marc Duez's avatar
Marc Duez committed
298
299
  min-width: 22px;
  min-height: 18px;
300
  text-align: center;
301
302
  border-bottom: solid;
  border-left: solid;
303
304
305
  border-color: @border;
  background : @background;
}
306
307
308
309
310
311

.graph_list{
  display: none;
}

.graph_listElem:hover{
312
  background : @border;
313
  width: 100%;
Marc Duez's avatar
Marc Duez committed
314
  cursor: move;
315
  cursor: webkit-grab;
316
317
}

318

319
320
321
322
323
324
325
326
327
328
329
330
							  /*style scatterPlot element*/

.background_sp{
  fill : @background
}

.circle{
  cursor:pointer;
  -webkit-transition: fill 0.2s;
  -o-transition: fill  0.2s;
  -ms-transition: fill 0.2s;
  transition: fill 0.2s;
331
  fill : @default;
332
  stroke-width:4px;
333
334
335
336
337
338
339
340
341
342
343
}

.circle_inactive{
  cursor:pointer;
  opacity: 0.5
}

.circle_select{
  stroke-width : 2.5px;
  stroke : @select;
  cursor:pointer;
344
  fill : @default;
345
346
347
348
}

.circle_focus{
  cursor:pointer;
349
  fill : @select;
350
351
352
353
354
355
356
}

.circle_hidden{
  -webkit-transition: fill 0.2s;
  display:none;
}

357
358
359
360
361
362
363
364
365
.line_active {
  opacity: 1;
  stroke-width: 4px;
}

.line_inactive {
  display: none;
}

366
.sp_legend{
Marc Duez's avatar
Marc Duez committed
367
  fill : @default ;
368
369
  font-weight : bold;
  text-anchor : middle;
370
  dominant-baseline: middle;
371
372
}

Marc Duez's avatar
Marc Duez committed
373
374
.sp_system{
  position:absolute;
Marc Duez's avatar
Marc Duez committed
375
  top: -0.5em;
Marc Duez's avatar
Marc Duez committed
376
377
}

Marc Duez's avatar
Marc Duez committed
378
.sp_system_label{
Marc Duez's avatar
Marc Duez committed
379
  color : @default ;
Marc Duez's avatar
Marc Duez committed
380
  font-weight : bold;
Marc Duez's avatar
Marc Duez committed
381
382
  height:0px;
  position:relative;
Marc Duez's avatar
Marc Duez committed
383
384
  -webkit-transition: left 0.5s;
  transition: left 0.5s;
Marc Duez's avatar
Marc Duez committed
385
386
387
}

.sp_system_label:hover{
Marc Duez's avatar
Marc Duez committed
388
  color : @select ;
Marc Duez's avatar
Marc Duez committed
389
390
391
  cursor: pointer;
}

392
.sp_rotated_legend{
Marc Duez's avatar
Marc Duez committed
393
  fill : @default ;
394
395
396
397
  font-weight : bold;
  text-anchor : left;
}

Marc Duez's avatar
Marc Duez committed
398
399
400
401
402
403
404
405
406
407
.sp_legend_focus{
  fill : @select;
  font-weight : bold;
  text-anchor : middle;
}

.sp_hidden_legend{
  display : none;
}

408
.sp_line , .sp_subline{
Marc Duez's avatar
Marc Duez committed
409
  stroke : @default ;
410
411
412
413
414
415
416
417
418
419
420
}

.sp_subline{
  stroke-width : 0.5px;
  stroke-dasharray: 6,6;
}

.sp_subline_hidden{
  stroke-width : 0px;
}

421
							  /*style list/data element*/
422
423
424
425
426


/*Metric*/

@width_left_container : 475px;
427
@width_highlight : 250px;
Mathieu Giraud's avatar
Mathieu Giraud committed
428
@width_stats: 250px;
429
430
431
432
433
@width_scrollbar : 30px;
@width_clusterBox :16px;
@width_starBox : 16px;
@width_sizeBox : 60px;
@width_infoBox : 20px;
434
@width_systemBox : 13px;
435
@width_listElem : (@width_left_container - @width_scrollbar);
436
@margin : 6px;
437
@margin_nameBox : 10px;
438
@width_nameBox : (@width_listElem - @width_starBox - @width_infoBox - @width_sizeBox - @width_clusterBox - @margin_nameBox - @width_systemBox);
439
440


Marc Duez's avatar
Marc Duez committed
441
.list:hover, .tagElem:hover, .data:hover{
442
  background :@border;
443
444
}

Marc Duez's avatar
Marc Duez committed
445
446
447
448
449
450
#list, #data{
    border-top: solid;
    border-width: @margin;
    border-color : @border;
}

451
452
453
454
455
456
457
458
459
#list-row, #data-row{
  display: table-row;
}

#list, #data{
  display:table-cell;
}

#data-row{
Marc Duez's avatar
Marc Duez committed
460
  height : 0.1px;
Marc Duez's avatar
Marc Duez committed
461
462
463
464
465
}

#list_clones{
  overflow-y : scroll;
  overflow-x : hidden;
466
  height : calc(~"100% - 30px");  /*100% - list_menu height */
467
468
469
  padding:2px;
}

Marc Duez's avatar
Marc Duez committed
470
#list_data{
471
472
473
474
    display: block;
    border-width: 4px;
    border-color: @border;
    overflow-y: scroll;
Marc Duez's avatar
Marc Duez committed
475
476
477
478
479
480
481
482
483
484
485
486
}

.data_name{
  margin-left : 40px;
  width: 300px;
  margin-right : 10px;
  display : inline-block;
}

.data_value{
}

487
488
489
490
.data {
    padding-right: 30px;
}

491
.list{
492
  width : 	445px;
493
494
495
496
497
498
  display :	block;
  padding : 	2px;
}

.listElem{
  width : @width_listElem;
499
  font-size: 13px;
500
501
502
503
504
505
  cursor:pointer;
  -webkit-transition: color 0.2s;
  -o-transition: color  0.2s;
  -ms-transition: color 0.2s;
  transition: color 0.2s;
  font-weight : bold;
506
  padding: 1px 4px 4px 1px;
507
508
509
510
511
512
513
  height :14px;
}

.selected{
  color : @select;
}

514
.nameBox {
515
  width: 300px;
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
  margin-right: @margin_nameBox;
  overflow: hidden;
  display: inline-block;
  height: 16px;
  position: relative;
  float:left;
  white-space:nowrap;
}

.sizeBox{
  width: @width_sizeBox;
  float: right;
  overflow: hidden;
  display: inline-block;
  height: 16px;
  position: relative;
}

.starBox{
  width: @width_starBox;
  float: right;
  height: 16px;
  display: inline-block;
  user-select :none;
540
  overflow: hidden;
541
542
543
544
545
546
547
548
549
}

.infoBox{
  width: @width_infoBox;
  float: right;
  height: 16px;
  display: inline-block;
  user-select :none;
  text-align: center;
550

551
552
}

553
.systemBox, .systemBoxMenu {
554
555
    display: inline-block;
    width: @width_systemBox;
556
    height: 13px;
557
558
559
    text-align: center;
    border-radius: 3px;
    border-width: 1px;
560
561
    margin: 4px;
    margin-top: 2px;
562
563
    color: @select;
    font-family: monospace;
564
    font-size: 80%;
565
    background: @border;
566
567
}

568
569
570
571
572
573
.systemBox {
    float: left;
}

.systemBoxNameMenu {
    display: inline-block;
Marc Duez's avatar
Marc Duez committed
574
    min-width: 70px;
Marc Duez's avatar
Marc Duez committed
575
    height: 20px;
Marc Duez's avatar
Marc Duez committed
576
    cursor : pointer;
577
578
}	      

Marc Duez's avatar
Marc Duez committed
579
580
581
.hiddenCheckBox {
    display : none;
}
582

583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
.clusterBox{
  width: @width_clusterBox;
  float: left;
  height: 12px;
  display: inline-block;
  text-align :center
}

.delBox{
  margin:2px;
  height: 12px;
  width: 12px;
  display: inline-block;
  color: white;
  float:left;
  user-select :none;
  margin-right: 5px;
  margin-left: 15px;
}



#new_name{
  font-family: monospace;
  font-weight:bold;
}

610
611
612
613
614
.list_sort{
    margin-right : 30px;
    float: right;
}

615
616
							  /*style segmenter element*/
.list_select{
Marc Duez's avatar
Marc Duez committed
617
  width : 445px;
618
619
620
621
622
623
624
625
626
627
628
  display : block;
  border : solid;
  border-width : 2px;
  padding : 0px;
  border-color : @select;
}

.sequence-line { 
  white-space: nowrap;
}

629
630
631
632
.sequence-line:hover{
    font-weight: bold;
}

633
.seq-fixed {
634
635
  position: relative;
  display: inline-block;
636
  width: (@width_left_container - @width_scrollbar);
637
638
  margin: -2px;
  padding: 2px;
639
640
641
642
643
644
645
646
647
  padding-left: 5px;
  left:0px;
  cursor:pointer;
  z-index:1;
}

.seq-mobil {
  margin-left: @width_left_container;
  letter-spacing: 0.12em;
Marc Duez's avatar
Marc Duez committed
648
  font-family : monospace, ubuntu_monobold, Courier New,monaco,terminal,courier,system; 
Marc Duez's avatar
Marc Duez committed
649
  position: relative;
650
  bottom: 3px;
651
  font-size:1em;
652
653
}

654
655
656
.seq-marge {
  word-spacing: normal;
}
657
658
659
660

.V {
  color: #ffb300;
}
Marc Duez's avatar
Marc Duez committed
661
.D {
662
663
664
665
  color: #c7007d;
}
.J {
  color: #009b95;
Marc Duez's avatar
Marc Duez committed
666
}
Mathieu Giraud's avatar
Mathieu Giraud committed
667
668

.highlight_border, .highlight_seq {
Marc Duez's avatar
Marc Duez committed
669
670
671
    display: inline-flex;
    height: 1em;
    position: relative;
Mathieu Giraud's avatar
Mathieu Giraud committed
672
673
674
}
.highlight_border {
    border-bottom: solid;
Marc Duez's avatar
Marc Duez committed
675
    margin: -1px;
676
    border-width: 4px;
Marc Duez's avatar
Marc Duez committed
677
678
679
680
681
682
    -khtml-user-select: none;
    -webkit-user-select: none;
    -moz-user-select: -moz-none;
    -ms-user-select: none;
    user-select: none;
    pointer-events: none;
683
684
    opacity: 0.3;
    bottom: 1px;
Marc Duez's avatar
Marc Duez committed
685
}
Mathieu Giraud's avatar
Mathieu Giraud committed
686
687
688
689
690
691
692
693
694
.highlight_seq {
  top: .9em;
  padding-bottom: 1px;
  opacity: 0.6;

  font-size: 70%;
  letter-spacing: .428em; /* (1-.7) / .7 */
  left: .214em;
}
695
696
697
698
699
.highlight{
    display: inline-block;
    width: 0px;
    word-spacing: normal;
}
Marc Duez's avatar
Marc Duez committed
700
span .substitution{
Marc Duez's avatar
Marc Duez committed
701
    background-color : @border;
Marc Duez's avatar
Marc Duez committed
702
}
Marc Duez's avatar
Marc Duez committed
703

704
705
							  /*tag*/

Marc Duez's avatar
Marc Duez committed
706
.tagSelector{
707
708
709
710
711
712
713
  padding: 5px;
  position: absolute;
  left: @width_left_container;
  top: 195px;
  width:220px;
  border:solid;
  display:none;
Marc Duez's avatar
Marc Duez committed
714
  background: @background;
715
716
}

Marc Duez's avatar
Marc Duez committed
717
.dataMenu{
718
719
720
721
722
723
724
725
726
727
  padding: 5px;
  position: absolute;
  left: @width_left_container;
  bottom: 195px;
  width:220px;
  border:solid;
  display:none;
    background: @background;
}

728
729
730
731
732
733
734
735
736
737
738
739
.tagElem{
  margin:1px;
  height: 20px;
}

.tagElem:hover{
  border-color : white;
  cursor : pointer;
  color : @select;
}

.tagColorBox {
Mathieu Giraud's avatar
Mathieu Giraud committed
740
741
742
  margin-right: 5px;
  height: 14px;
  width: 14px;
743
744
745
  display: inline-block;
  cursor:pointer;
  user-select :none;
Mathieu Giraud's avatar
Mathieu Giraud committed
746
747
  margin-bottom: -3px;
  margin-top: 3px;
748
749
}

750
751
752
753
#normalized_size {
    width: 80px;
}

754
755
756
757
758
759
760
761
							  /*menu*/

.menu{
  padding:3px;
  float:left;
  margin:5px;
  cursor:pointer;
  background:inherit;
762
763
}

764
765
766
767
768
769

.menu a {
  text-decoration: none;
  color: inherit ;
}

770
771
772
773
774
775
776
777
778
779
780
781
.submenu{
    width: 200px;
    display: inline-table;
}

.menu_box {
    margin: 0px;
    padding: 5px;
    border-top: solid;
    border-width: 1px;
    border-color:@border;
}
782

Marc Duez's avatar
Marc Duez committed
783
784
.submenu{
    width: 200px;
785
    display: inline-table;
Marc Duez's avatar
Marc Duez committed
786
787
788
789
790
791
792
793
794
795
}

.menu_box {
    margin: 0px;
    padding: 5px;
    border-top: solid;
    border-width: 1px;
    border-color:@border;
}

796
#file_menu, #axis_choice{
797
798
799
800
801
802
803
  z-index:2;
  border:solid; 
  position: fixed; 
  top: 200px; 
  min-width:400px;
  margin-left:-250px;
  left :50%;
804
  font-size: 13px; 
805
  padding: 10px;
806
  background:@background;
807
808
809
810
811
812
  display:none; 
}

.buttonSelector {
  background : @background;
  cursor:pointer;
813
  font-size: 13px;
814
815
816
817
818
  margin :2px;
  display:block;
  text-align:left;
}

Mathieu Giraud's avatar
Mathieu Giraud committed
819
.systemBoxNameMenu:hover, .focus_selected:hover, .button:hover,.button_right:hover, .buttonSelector:hover, .button2:hover{
820
  background : @border;
821
  color : @select;
Mathieu Giraud's avatar
Mathieu Giraud committed
822
  cursor: pointer;
823
824
825
826
827
828
}


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


829
.popup_container{
830
  z-index:20;
831
832
833
834
835
  border:solid; 
  position: fixed; 
  top: 250px; 
  left:50% ;
  width:500px;
836
  font-size: 13px; 
837
838
839
840
841
842
843
844
  padding: 10px;
  background: @background;
  display:none;
  left: -moz-calc(~"50% - 250px");
  left: -webkit-calc(~"50% - 250px");
  left: calc(~"50% - 250px");
}

845
.popup_container a {
846
847
  text-decoration: none;
  font-weight: bold;
Marc Duez's avatar
Marc Duez committed
848
  color: @default ;
849
850
}

851
.popup_container a:hover{
852
853
854
  color : @select;
}

855
.data-container, .info-container{
856
857
858
859
860
  z-index:3;
  border:solid; 
  position: fixed; 
  top: 50px; 
  left: 20px + @width_left_container;
861
  font-size: 13px; 
862
  padding: 10px;
Marc Duez's avatar
Marc Duez committed
863
  background: @background;
864
865
866
867
868
869
870
871
872
  display:none;
  max-width: -moz-calc(~"100%" - @width_left_container + 60px);
  max-width: -webkit-calc(~"100%" - @width_left_container + 60px);
  max-width: calc(~"100%" - @width_left_container + 60px);
  height: -moz-calc(~"100%" - 200px);
  height: -webkit-calc(~"100%" - 200px);
  height: calc(~"100%" - 200px);
}

873
874
.data-msg, .info-msg{
  overflow-x: hidden;
875
876
877
878
  height : 100%;
  width : 100%;
}

Marc Duez's avatar
Marc Duez committed
879
#file_menu, #menu, #list_clones, #tagSelector, #display-menu, #bot-container, .seq-fixed{
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
 background : @background;
}

.closeButton{
  position: absolute;
  top: -12px;
  right: -12px;
  border: solid;
  background: inherit;
  border-radius: 20px;
  width: 15px;
  height: 15px;
  text-align: center;
  font-weight: bolder;
  cursor: pointer;
  padding: 1px;
  font-size: 90%; 
  color: @border;
}

.closeButton:hover{
  color: @select;
}

904
.button, .button_right{
905
  cursor:pointer;
906
  font-size: 13px;
Marc Duez's avatar
Marc Duez committed
907
  padding: 0px 3px;
908
909
  margin-right:5px;
  margin-left:5px;
Marc Duez's avatar
Marc Duez committed
910
  min-width : 16px;
Marc Duez's avatar
Marc Duez committed
911
  color: @default;
Marc Duez's avatar
Marc Duez committed
912
913
}

914
915
916
917
.button_right{
    float: right;
}

Marc Duez's avatar
Marc Duez committed
918
919
920
921
922
923
924
925
.button2 {
    border: solid;
    border-width: 1px;
    padding: 3px;
    margin: 3px;
    display: inline-block;
    cursor: pointer;
    background: @border;
Marc Duez's avatar
Marc Duez committed
926
    width: auto;
Marc Duez's avatar
Marc Duez committed
927
    text-align: center;
Marc Duez's avatar
Marc Duez committed
928
929
    padding-left: 10px;
    padding-right: 10px;
930
931
932
933
}

.smallbutton {
    cursor:pointer;
934
    font-size: 13px;
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
    text-decoration:underline;
}

#logo
{
  font-size: 130%;
  font-weight: bold;
  opacity: 1;
  padding: 5px 20px ;
  cursor: pointer;
}

span.logo
{
  font-size: 60% ;
  font-weight: bold;
  vertical-align: super;
  opacity: .8;
  color: #f88;
}

Marc Duez's avatar
Marc Duez committed
956
957
958
959
960
961
962
963
964
965
966
967
.bot-bar {
    -khtml-user-select: none;
    -webkit-user-select: none;
    -moz-user-select: -moz-none;
    -ms-user-select: none;
    user-select: none;
    height: 20px;
    border-bottom: solid;
    width: 100%;
    padding-top: 2px;
}

Marc Duez's avatar
Marc Duez committed
968
.menu-segmenter {
Marc Duez's avatar
Marc Duez committed
969
970
971
972
973
    position: relative;
    float: left;
    width: @width_left_container;
}

974
.menu-highlight {
Mathieu Giraud's avatar
Mathieu Giraud committed
975
    display: none;
976
977
978
979
980
    position: relative;
    float: left;
    width: @width_highlight;
}

Marc Duez's avatar
Marc Duez committed
981
982
983
.focus {
    position: relative;
    text-align: center;
984
    float: left;
985
986
987
    width: -moz-calc(~"100%" - (@width_left_container + @width_stats + @width_highlight));
    width: -webkit-calc(~"100%" - (@width_left_container + @width_stats + @width_highlight));
    width: calc(~"100%" - (@width_left_container + @width_stats + @width_highlight));
988
989
    overflow: hidden;
    height: 1em;
Mathieu Giraud's avatar
Mathieu Giraud committed
990
991
992
993
994
995
996
}
.stats {
  position: relative;
  text-align: right;
  float: right;
  width: @width_stats - 3px;
  padding-right: 3px;
Marc Duez's avatar
Marc Duez committed
997
998
}

999
.segmenter {
1000
    overflow-x: scroll !important; 
For faster browsing, not all history is shown. View entire blame