vidjil.less 26.5 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11


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


html{
  height: 100%;
  padding: 0px;
  margin: 0px;
  min-width: 1160px;
Marc Duez's avatar
Marc Duez committed
12
  min-height: 250px
13
14
15
}

body {
Marc Duez's avatar
Marc Duez committed
16
  font-family: ubuntumedium, Arial, Helvetica, Sans-serif;
17
  font-size: 13px;
18
19
20
  height : 100%;
  margin:0px;
  color : @default;
21
  background : @border;
22
23
}

24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

/* texts that are not sequences nor identifiers */

#info, #popup-msg, .menu, .menu a
{
  font-family: ubuntulight, Arial, Helvetica, Sans-serif;
}

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



39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
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%;
57
58
  margin : auto;
  overflow : hidden;
59
  background : @background;
60
61
62
63
64
}

#top-container {
  height: 28px;
  width: 100%;
65
  background: @background;
Marc Duez's avatar
Marc Duez committed
66
67
  position : fixed;
  z-index:1;
68
69
70
}

#mid-container {
Marc Duez's avatar
Marc Duez committed
71
  position : fixed;
72
  top : 28px;
Marc Duez's avatar
Marc Duez committed
73
  bottom : 125px ;
74
75
76
  width: -moz-calc(~"100%" - @margin + @margin);
  width: -webkit-calc(~"100%" - @margin + @margin);
  width: calc(~"100%" - @margin + @margin);
77
78
  overflow: hidden;
  background: @background;
79
80
81
82
83
  -khtml-user-select: none;
  -webkit-user-select: none;
  -moz-user-select: -moz-none;
  -ms-user-select: none;
  user-select: none;
84
  margin: @margin;
85
86
}

87
88
89
90
91
92
93
94
#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;
95
96
97
98
99
100
}

#left-container {
  height:100%;
  width : @width_left_container;
  float : left;
101
  overflow-y : none;
102
103
104
105
106
  -khtml-user-select: auto;
  -webkit-user-select: auto;
  -moz-user-select: auto;
  -ms-user-select: auto;
  user-select: auto;
107
  display : table;
108
109
110
111
}

#visu, #visu2 {
  height : 50%;
112
  width : 100%;
113
114
115
  overflow:hidden;
}

116
117
118
119
#visu2 {
max-height: calc(~"100%" - @margin)
}

120
121
122
123
124
line {
  stroke: @secondary;
  stroke-width: 0.5;
}

125
126
                        /* left-container - info */

127
128
129
130
131
#info-row{
    height : 200px;
    display : table-row;
}

132
#info{
133
  font-family: ubuntumedium, Arial, Helvetica, Sans-serif;
134
  font-size: 13px;
135
  padding:3px;
136
  background : @background;
137
  display : table-cell;
138
139
}

140
141
142
143
144
145
146
147
148
149
150
151
.info_line {
    border-bottom: solid;
    border-bottom-width: 1px;
    border-color: @border;
}

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

152
153
.info_row_content {
    display: inline-block;
Marc Duez's avatar
Marc Duez committed
154
    width : 345px;
155
156
}

157
158
159
160
161
162
163
164
#info_point {
    margin-top: 15px;
}

#info_data_file
{
  font-size: 200%;
}
165
166
167
168
169
170
171
172

						  /*Style polyline / graph*/

.background_graph{
  fill : @background
}

.background_graph2{
173
  fill : @background
174
175
176
177
178
179
180
}

.graph_line{
  stroke-width : 2.5px;
  cursor:pointer;
}

Marc Duez's avatar
Marc Duez committed
181
182
183
184
185
186
187
188
189
190
191
.graph_data{
    fill: none;
    stroke-width: 8px;
    opacity: 0.3;
    cursor:pointer;
}

.graph_data:hover{
    opacity:0.8;
}

192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
.graph_inactive{
  stroke-width : 1.5px;
  cursor:pointer;
  display:none;
}

.graph_select{
  stroke-width : 5px;
  cursor:pointer;
  stroke-dasharray : 20px,5px ;
}

.graph_focus{
  stroke-width : 5px;
  cursor:pointer;
}

Marc Duez's avatar
Marc Duez committed
209
.axis_m{
Marc Duez's avatar
Marc Duez committed
210
  stroke : @default ;
211
212
213
214
215
  opacity : 0.5 ;
  stroke-width : 20px;
}

.axis_h{
Marc Duez's avatar
Marc Duez committed
216
  stroke : @default ;
217
218
219
}

.axis_v{
220
 display: none;
221
222
}

Marc Duez's avatar
Marc Duez committed
223
224
225
226
.axis_v_hidden{
 display: none;
}

227
228
229
230
231
232
233
234
235
236
.axis_button, .axis_leg{
  fill : @default;
}

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

#resolution5{
237
238
    fill: @border;
    opacity: 0.6;
239
240
}

241
.graph_time{
242
243
244
245
246
247
  fill : @default ;
  text-anchor:middle;
  font-size : 100%;
}

.graph_time2{
248
  font-weight : bold;
Marc Duez's avatar
Marc Duez committed
249
  fill : @default ;
250
  text-anchor:middle;
251
  font-size : 120%;
252
253
}

254
255
.graph_text{
  font-weight : bold;
Marc Duez's avatar
Marc Duez committed
256
  fill : @default ;
257
  text-anchor:end;
258
  dominant-baseline: middle;
259
260
}

261
262
263
264
265
.graph_text2{
  font-weight : bold;
  fill : @default ;
}

266
267
268
269
270
.graph_time:hover{
  cursor:pointer;
  fill : @select;
}

271
272
.graph_menu{
  position: absolute;
273
274
  top: 0px;
  right: 0px;
Marc Duez's avatar
Marc Duez committed
275
276
  min-width: 22px;
  min-height: 18px;
277
  text-align: center;
278
279
  border-bottom: solid;
  border-left: solid;
280
281
282
  border-color: @border;
  background : @background;
}
283
284
285
286
287
288

.graph_list{
  display: none;
}

.graph_listElem:hover{
289
  background : @border;
290
  width: 100%;
Marc Duez's avatar
Marc Duez committed
291
  cursor: move;
292
  cursor: webkit-grab;
293
294
}

295

296
297
298
299
300
301
302
303
304
305
306
307
							  /*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;
308
  fill : @default;
309
  stroke-width:4px;
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
}

.circle_inactive{
  cursor:pointer;
  opacity: 0.5
}

.circle_select{
  stroke-width : 2.5px;
  stroke : @select;
  cursor:pointer;
}

.circle_focus{
  cursor:pointer;
}

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

332
333
334
335
336
337
338
339
340
.line_active {
  opacity: 1;
  stroke-width: 4px;
}

.line_inactive {
  display: none;
}

341
.sp_legend{
Marc Duez's avatar
Marc Duez committed
342
  fill : @default ;
343
344
  font-weight : bold;
  text-anchor : middle;
345
  dominant-baseline: middle;
346
347
}

Marc Duez's avatar
Marc Duez committed
348
349
.sp_system{
  position:absolute;
Marc Duez's avatar
Marc Duez committed
350
  top: -0.5em;
Marc Duez's avatar
Marc Duez committed
351
352
}

Marc Duez's avatar
Marc Duez committed
353
.sp_system_label{
Marc Duez's avatar
Marc Duez committed
354
  color : @default ;
Marc Duez's avatar
Marc Duez committed
355
  font-weight : bold;
Marc Duez's avatar
Marc Duez committed
356
357
  height:0px;
  position:relative;
Marc Duez's avatar
Marc Duez committed
358
359
  -webkit-transition: left 0.5s;
  transition: left 0.5s;
Marc Duez's avatar
Marc Duez committed
360
361
362
}

.sp_system_label:hover{
Marc Duez's avatar
Marc Duez committed
363
  color : @select ;
Marc Duez's avatar
Marc Duez committed
364
365
366
  cursor: pointer;
}

367
.sp_rotated_legend{
Marc Duez's avatar
Marc Duez committed
368
  fill : @default ;
369
370
371
372
  font-weight : bold;
  text-anchor : left;
}

Marc Duez's avatar
Marc Duez committed
373
374
375
376
377
378
379
380
381
382
.sp_legend_focus{
  fill : @select;
  font-weight : bold;
  text-anchor : middle;
}

.sp_hidden_legend{
  display : none;
}

383
.sp_line , .sp_subline{
Marc Duez's avatar
Marc Duez committed
384
  stroke : @default ;
385
386
387
388
389
390
391
392
393
394
395
}

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

.sp_subline_hidden{
  stroke-width : 0px;
}

396
							  /*style list/data element*/
397
398
399
400
401


/*Metric*/

@width_left_container : 475px;
402
@width_highlight : 250px;
Mathieu Giraud's avatar
Mathieu Giraud committed
403
@width_stats: 250px;
404
405
406
407
408
@width_scrollbar : 30px;
@width_clusterBox :16px;
@width_starBox : 16px;
@width_sizeBox : 60px;
@width_infoBox : 20px;
409
@width_systemBox : 13px;
410
@width_listElem : (@width_left_container - @width_scrollbar);
411
@margin : 6px;
412
@margin_nameBox : 10px;
413
@width_nameBox : (@width_listElem - @width_starBox - @width_infoBox - @width_sizeBox - @width_clusterBox - @margin_nameBox - @width_systemBox);
414
415


Marc Duez's avatar
Marc Duez committed
416
.list:hover, .tagElem:hover, .data:hover{
417
  background :@border;
418
419
}

Marc Duez's avatar
Marc Duez committed
420
421
422
423
424
425
#list, #data{
    border-top: solid;
    border-width: @margin;
    border-color : @border;
}

426
427
428
429
430
431
432
433
434
#list-row, #data-row{
  display: table-row;
}

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

#data-row{
Marc Duez's avatar
Marc Duez committed
435
  height : 0.1px;
Marc Duez's avatar
Marc Duez committed
436
437
438
439
440
}

#list_clones{
  overflow-y : scroll;
  overflow-x : hidden;
441
  height : calc(~"100% - 30px");  /*100% - list_menu height */
442
443
444
  padding:2px;
}

Marc Duez's avatar
Marc Duez committed
445
#list_data{
446
447
448
449
    display: block;
    border-width: 4px;
    border-color: @border;
    overflow-y: scroll;
Marc Duez's avatar
Marc Duez committed
450
451
452
453
454
455
456
457
458
459
460
461
}

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

.data_value{
}

462
463
464
465
.data {
    padding-right: 30px;
}

466
.list{
467
  width : 	445px;
468
469
470
471
472
473
  display :	block;
  padding : 	2px;
}

.listElem{
  width : @width_listElem;
474
  font-size: 13px;
475
476
477
478
479
480
  cursor:pointer;
  -webkit-transition: color 0.2s;
  -o-transition: color  0.2s;
  -ms-transition: color 0.2s;
  transition: color 0.2s;
  font-weight : bold;
481
  padding: 1px 4px 4px 1px;
482
483
484
485
486
487
488
  height :14px;
}

.selected{
  color : @select;
}

489
.nameBox {
490
  width: 300px;
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
  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;
515
  overflow: hidden;
516
517
518
519
520
521
522
523
524
}

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

526
527
}

528
.systemBox, .systemBoxMenu {
529
530
    display: inline-block;
    width: @width_systemBox;
531
    height: 13px;
532
533
534
    text-align: center;
    border-radius: 3px;
    border-width: 1px;
535
536
    margin: 4px;
    margin-top: 2px;
537
538
    color: @select;
    font-family: monospace;
539
    font-size: 80%;
540
    background: @border;
541
542
}

543
544
545
546
547
548
.systemBox {
    float: left;
}

.systemBoxNameMenu {
    display: inline-block;
Marc Duez's avatar
Marc Duez committed
549
    min-width: 70px;
Marc Duez's avatar
Marc Duez committed
550
    height: 20px;
Marc Duez's avatar
Marc Duez committed
551
    cursor : pointer;
552
553
}	      

Marc Duez's avatar
Marc Duez committed
554
555
556
.hiddenCheckBox {
    display : none;
}
557

558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
.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;
}

							  /*style segmenter element*/
.list_select{
Marc Duez's avatar
Marc Duez committed
587
  width : 445px;
588
589
590
591
592
593
594
595
596
597
598
  display : block;
  border : solid;
  border-width : 2px;
  padding : 0px;
  border-color : @select;
}

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

599
600
601
602
.sequence-line:hover{
    font-weight: bold;
}

603
.seq-fixed {
604
605
  position: relative;
  display: inline-block;
606
  width: (@width_left_container - @width_scrollbar);
607
608
  margin: -2px;
  padding: 2px;
609
610
611
612
613
614
615
616
617
  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
618
  font-family : monospace, ubuntu_monobold, Courier New,monaco,terminal,courier,system; 
Marc Duez's avatar
Marc Duez committed
619
  position: relative;
620
  bottom: 3px;
621
  font-size:1em;
622
623
}

624
625
626
.seq-marge {
  word-spacing: normal;
}
627
628
629
630

.V {
  color: #ffb300;
}
Marc Duez's avatar
Marc Duez committed
631
.D {
632
633
634
635
  color: #c7007d;
}
.J {
  color: #009b95;
Marc Duez's avatar
Marc Duez committed
636
}
637
.highlight2{
638
    border-bottom: solid;
Marc Duez's avatar
Marc Duez committed
639
640
641
642
    display: inline-flex;
    height: 1em;
    position: relative;
    margin: -1px;
643
    border-width: 4px;
Marc Duez's avatar
Marc Duez committed
644
645
646
647
648
649
    -khtml-user-select: none;
    -webkit-user-select: none;
    -moz-user-select: -moz-none;
    -ms-user-select: none;
    user-select: none;
    pointer-events: none;
650
651
    opacity: 0.3;
    bottom: 1px;
Marc Duez's avatar
Marc Duez committed
652
}
653
654
655
656
657
.highlight{
    display: inline-block;
    width: 0px;
    word-spacing: normal;
}
Marc Duez's avatar
Marc Duez committed
658
span .substitution{
Marc Duez's avatar
Marc Duez committed
659
    background-color : @border;
Marc Duez's avatar
Marc Duez committed
660
}
Marc Duez's avatar
Marc Duez committed
661

662
663
664
665
666
667
668
669
670
671
672
673
							  /*tag*/

#tagSelector{
  padding: 5px;
  position: absolute;
  left: @width_left_container;
  top: 195px;
  width:220px;
  border:solid;
  display:none;
}

674
675
676
677
678
679
680
681
682
683
684
#dataMenu{
  padding: 5px;
  position: absolute;
  left: @width_left_container;
  bottom: 195px;
  width:220px;
  border:solid;
  display:none;
    background: @background;
}

685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
.tagElem{
  margin:1px;
  height: 20px;
}

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

.tagColorBox {
  margin-right:3px;
  height: 16px;
  width: 16px;
  display: inline-block;
  cursor:pointer;
  user-select :none;
  margin-bottom: -4px;
  margin-top: 2px;
}

707
708
709
710
#normalized_size {
    width: 80px;
}

711
712
713
714
715
716
717
718
							  /*menu*/

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

721
722
723
724
725
726

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

727
728
729
730
731
732
733
734
735
736
737
738
.submenu{
    width: 200px;
    display: inline-table;
}

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

Marc Duez's avatar
Marc Duez committed
740
741
.submenu{
    width: 200px;
742
    display: inline-table;
Marc Duez's avatar
Marc Duez committed
743
744
745
746
747
748
749
750
751
752
}

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

753
#file_menu, #axis_choice{
754
755
756
757
758
759
760
  z-index:2;
  border:solid; 
  position: fixed; 
  top: 200px; 
  min-width:400px;
  margin-left:-250px;
  left :50%;
761
  font-size: 13px; 
762
  padding: 10px;
763
  background:@background;
764
765
766
767
768
769
  display:none; 
}

.buttonSelector {
  background : @background;
  cursor:pointer;
770
  font-size: 13px;
771
772
773
774
775
  margin :2px;
  display:block;
  text-align:left;
}

Mathieu Giraud's avatar
Mathieu Giraud committed
776
.systemBoxNameMenu:hover, #focus_selected:hover, .button:hover,.button_right:hover, .buttonSelector:hover, .button2:hover{
777
  background : @border;
778
779
780
781
782
783
784
785
  color : @select;
}


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


#popup-container{
786
  z-index:20;
787
788
789
790
791
  border:solid; 
  position: fixed; 
  top: 250px; 
  left:50% ;
  width:500px;
792
  font-size: 13px; 
793
794
795
796
797
798
799
800
801
802
803
  padding: 10px;
  background: @background;
  display:none;
  left: -moz-calc(~"50% - 250px");
  left: -webkit-calc(~"50% - 250px");
  left: calc(~"50% - 250px");
}

#popup-container a {
  text-decoration: none;
  font-weight: bold;
Marc Duez's avatar
Marc Duez committed
804
  color: @default ;
805
806
807
808
809
810
811
812
813
814
815
816
}

#popup-container a:hover{
  color : @select;
}

#data-container{
  z-index:3;
  border:solid; 
  position: fixed; 
  top: 50px; 
  left: 20px + @width_left_container;
817
  font-size: 13px; 
818
  padding: 10px;
Marc Duez's avatar
Marc Duez committed
819
  background: @background;
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
  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);
}

#data-msg{
  overflow: auto;
  height : 100%;
  width : 100%;
}

Marc Duez's avatar
Marc Duez committed
835
#file_menu, #menu, #list_clones, #tagSelector, #display-menu, #bot-container, .seq-fixed{
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
 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;
}

860
.button, .button_right{
861
  cursor:pointer;
862
  font-size: 13px;
Marc Duez's avatar
Marc Duez committed
863
  padding: 0px 3px;
864
865
  margin-right:5px;
  margin-left:5px;
Marc Duez's avatar
Marc Duez committed
866
  min-width : 16px;
Marc Duez's avatar
Marc Duez committed
867
  color: @default;
Marc Duez's avatar
Marc Duez committed
868
869
}

870
871
872
873
.button_right{
    float: right;
}

Marc Duez's avatar
Marc Duez committed
874
875
876
877
878
879
880
881
.button2 {
    border: solid;
    border-width: 1px;
    padding: 3px;
    margin: 3px;
    display: inline-block;
    cursor: pointer;
    background: @border;
Marc Duez's avatar
Marc Duez committed
882
    width: auto;
Marc Duez's avatar
Marc Duez committed
883
    text-align: center;
Marc Duez's avatar
Marc Duez committed
884
885
    padding-left: 10px;
    padding-right: 10px;
886
887
888
889
}

.smallbutton {
    cursor:pointer;
890
    font-size: 13px;
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
    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
912
913
914
915
916
917
918
919
920
921
922
923
.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
924
.menu-segmenter {
Marc Duez's avatar
Marc Duez committed
925
926
927
928
929
    position: relative;
    float: left;
    width: @width_left_container;
}

930
931
932
933
934
935
.menu-highlight {
    position: relative;
    float: left;
    width: @width_highlight;
}

Marc Duez's avatar
Marc Duez committed
936
937
938
.focus {
    position: relative;
    text-align: center;
939
    float: left;
940
941
942
    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));
943
944
    overflow: hidden;
    height: 1em;
Mathieu Giraud's avatar
Mathieu Giraud committed
945
946
947
948
949
950
951
}
.stats {
  position: relative;
  text-align: right;
  float: right;
  width: @width_stats - 3px;
  padding-right: 3px;
Marc Duez's avatar
Marc Duez committed
952
953
954
}

#segmenter {
955
    overflow-x: scroll !important; 
956
    overflow-y: auto;
Marc Duez's avatar
Marc Duez committed
957
    height : 100px;
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
}

.selector{
  display: none;
  position: fixed;
  margin-right: -5px;
  padding: 3px;
  border: solid;
  background: inherit;
  text-center: left;
  min-width: 150px;
  margin-left: -6px;
  border-top: none;
  margin-top: 4px;
  z-index:5;
973
  overflow: hidden;
974
975
976
977
}

#bot-container {
  position: fixed;
978
  bottom: 0px;
979
980
  left: 0px;
  width: 100%;
981
982
983
  border-top: solid;
  border-width: 6px;
  min-height: 125px;
984
985
986
987
988
989
990
}

.tn{
  width:120px;
  display:inline-table;
}

Marc Duez's avatar
Marc Duez committed
991
#list_menu{
992
993
994
995
996
997
998
999
  -khtml-user-select: none;
  -webkit-user-select: none;
  -moz-user-select: -moz-none;
  -ms-user-select: none;
  user-select: none;
  border-bottom:solid;
  padding:2px;
  width: 100%;
Marc Duez's avatar
Marc Duez committed
1000
  border-bottom-width: 2px;
For faster browsing, not all history is shown. View entire blame