vidjil.less 28.6 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
37
38
39
40
41
42
43
44
45
46
47
48

/* 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;
}



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
}

#mid-container {
Marc Duez's avatar
Marc Duez committed
81
  position : fixed;
82
  top : 28px;
Marc Duez's avatar
Marc Duez committed
83
  bottom : 125px ;
84
85
86
  width: -moz-calc(~"100%" - @margin + @margin);
  width: -webkit-calc(~"100%" - @margin + @margin);
  width: calc(~"100%" - @margin + @margin);
87
88
  overflow: hidden;
  background: @background;
89
90
91
92
93
  -khtml-user-select: none;
  -webkit-user-select: none;
  -moz-user-select: -moz-none;
  -ms-user-select: none;
  user-select: none;
94
  margin: @margin;
95
96
}

97
98
99
100
101
102
103
104
#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;
105
106
107
108
109
110
}

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

#visu, #visu2 {
  height : 50%;
122
  width : 100%;
123
124
125
  overflow:hidden;
}

126
127
128
129
#visu2 {
max-height: calc(~"100%" - @margin)
}

130
131
132
133
134
line {
  stroke: @secondary;
  stroke-width: 0.5;
}

135
136
                        /* left-container - info */

137
138
139
140
141
#info-row{
    height : 200px;
    display : table-row;
}

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

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

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

162
163
.info_row_content {
    display: inline-block;
Marc Duez's avatar
Marc Duez committed
164
    width : 345px;
165
166
}

167
168
169
170
171
172
173
174
#info_point {
    margin-top: 15px;
}

#info_data_file
{
  font-size: 200%;
}
175
176
177
178
179
180
181
182

						  /*Style polyline / graph*/

.background_graph{
  fill : @background
}

.background_graph2{
183
  fill : @background
184
185
186
187
188
}

.graph_line{
  stroke-width : 2.5px;
  cursor:pointer;
189
  stroke: @default;
190
191
}

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

.graph_data:hover{
    opacity:0.8;
}

203
204
205
206
207
208
209
210
211
212
.graph_inactive{
  stroke-width : 1.5px;
  cursor:pointer;
  display:none;
}

.graph_select{
  stroke-width : 5px;
  cursor:pointer;
  stroke-dasharray : 20px,5px ;
213
  stroke: @default;
214
215
216
217
218
}

.graph_focus{
  stroke-width : 5px;
  cursor:pointer;
219
  stroke: @select;
220
221
}

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

.axis_h{
Marc Duez's avatar
Marc Duez committed
229
  stroke : @default ;
230
231
232
}

.axis_v{
233
 display: none;
234
235
}

Marc Duez's avatar
Marc Duez committed
236
237
238
239
.axis_v_hidden{
 display: none;
}

240
241
242
243
244
245
246
247
248
249
.axis_button, .axis_leg{
  fill : @default;
}

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

#resolution5{
250
251
    fill: @border;
    opacity: 0.6;
252
253
}

254
.graph_time{
255
256
257
258
259
260
  fill : @default ;
  text-anchor:middle;
  font-size : 100%;
}

.graph_time2{
261
  font-weight : bold;
Marc Duez's avatar
Marc Duez committed
262
  fill : @default ;
263
  text-anchor:middle;
264
  font-size : 120%;
265
266
}

267
268
.graph_text{
  font-weight : bold;
Marc Duez's avatar
Marc Duez committed
269
  fill : @default ;
270
  text-anchor:end;
271
  dominant-baseline: middle;
272
273
}

274
275
276
277
278
.graph_text2{
  font-weight : bold;
  fill : @default ;
}

279
280
281
282
283
.graph_time:hover{
  cursor:pointer;
  fill : @select;
}

284
285
.graph_menu{
  position: absolute;
286
287
  top: 0px;
  right: 0px;
Marc Duez's avatar
Marc Duez committed
288
289
  min-width: 22px;
  min-height: 18px;
290
  text-align: center;
291
292
  border-bottom: solid;
  border-left: solid;
293
294
295
  border-color: @border;
  background : @background;
}
296
297
298
299
300
301

.graph_list{
  display: none;
}

.graph_listElem:hover{
302
  background : @border;
303
  width: 100%;
Marc Duez's avatar
Marc Duez committed
304
  cursor: move;
305
  cursor: webkit-grab;
306
307
}

308

309
310
311
312
313
314
315
316
317
318
319
320
							  /*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;
321
  fill : @default;
322
  stroke-width:4px;
323
324
325
326
327
328
329
330
331
332
333
}

.circle_inactive{
  cursor:pointer;
  opacity: 0.5
}

.circle_select{
  stroke-width : 2.5px;
  stroke : @select;
  cursor:pointer;
334
  fill : @default;
335
336
337
338
}

.circle_focus{
  cursor:pointer;
339
  fill : @select;
340
341
342
343
344
345
346
}

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

347
348
349
350
351
352
353
354
355
.line_active {
  opacity: 1;
  stroke-width: 4px;
}

.line_inactive {
  display: none;
}

356
.sp_legend{
Marc Duez's avatar
Marc Duez committed
357
  fill : @default ;
358
359
  font-weight : bold;
  text-anchor : middle;
360
  dominant-baseline: middle;
361
362
}

Marc Duez's avatar
Marc Duez committed
363
364
.sp_system{
  position:absolute;
Marc Duez's avatar
Marc Duez committed
365
  top: -0.5em;
Marc Duez's avatar
Marc Duez committed
366
367
}

Marc Duez's avatar
Marc Duez committed
368
.sp_system_label{
Marc Duez's avatar
Marc Duez committed
369
  color : @default ;
Marc Duez's avatar
Marc Duez committed
370
  font-weight : bold;
Marc Duez's avatar
Marc Duez committed
371
372
  height:0px;
  position:relative;
Marc Duez's avatar
Marc Duez committed
373
374
  -webkit-transition: left 0.5s;
  transition: left 0.5s;
Marc Duez's avatar
Marc Duez committed
375
376
377
}

.sp_system_label:hover{
Marc Duez's avatar
Marc Duez committed
378
  color : @select ;
Marc Duez's avatar
Marc Duez committed
379
380
381
  cursor: pointer;
}

382
.sp_rotated_legend{
Marc Duez's avatar
Marc Duez committed
383
  fill : @default ;
384
385
386
387
  font-weight : bold;
  text-anchor : left;
}

Marc Duez's avatar
Marc Duez committed
388
389
390
391
392
393
394
395
396
397
.sp_legend_focus{
  fill : @select;
  font-weight : bold;
  text-anchor : middle;
}

.sp_hidden_legend{
  display : none;
}

398
.sp_line , .sp_subline{
Marc Duez's avatar
Marc Duez committed
399
  stroke : @default ;
400
401
402
403
404
405
406
407
408
409
410
}

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

.sp_subline_hidden{
  stroke-width : 0px;
}

411
							  /*style list/data element*/
412
413
414
415
416


/*Metric*/

@width_left_container : 475px;
417
@width_highlight : 250px;
Mathieu Giraud's avatar
Mathieu Giraud committed
418
@width_stats: 250px;
419
420
421
422
423
@width_scrollbar : 30px;
@width_clusterBox :16px;
@width_starBox : 16px;
@width_sizeBox : 60px;
@width_infoBox : 20px;
424
@width_systemBox : 13px;
425
@width_listElem : (@width_left_container - @width_scrollbar);
426
@margin : 6px;
427
@margin_nameBox : 10px;
428
@width_nameBox : (@width_listElem - @width_starBox - @width_infoBox - @width_sizeBox - @width_clusterBox - @margin_nameBox - @width_systemBox);
429
430


Marc Duez's avatar
Marc Duez committed
431
.list:hover, .tagElem:hover, .data:hover{
432
  background :@border;
433
434
}

Marc Duez's avatar
Marc Duez committed
435
436
437
438
439
440
#list, #data{
    border-top: solid;
    border-width: @margin;
    border-color : @border;
}

441
442
443
444
445
446
447
448
449
#list-row, #data-row{
  display: table-row;
}

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

#data-row{
Marc Duez's avatar
Marc Duez committed
450
  height : 0.1px;
Marc Duez's avatar
Marc Duez committed
451
452
453
454
455
}

#list_clones{
  overflow-y : scroll;
  overflow-x : hidden;
456
  height : calc(~"100% - 30px");  /*100% - list_menu height */
457
458
459
  padding:2px;
}

Marc Duez's avatar
Marc Duez committed
460
#list_data{
461
462
463
464
    display: block;
    border-width: 4px;
    border-color: @border;
    overflow-y: scroll;
Marc Duez's avatar
Marc Duez committed
465
466
467
468
469
470
471
472
473
474
475
476
}

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

.data_value{
}

477
478
479
480
.data {
    padding-right: 30px;
}

481
.list{
482
  width : 	445px;
483
484
485
486
487
488
  display :	block;
  padding : 	2px;
}

.listElem{
  width : @width_listElem;
489
  font-size: 13px;
490
491
492
493
494
495
  cursor:pointer;
  -webkit-transition: color 0.2s;
  -o-transition: color  0.2s;
  -ms-transition: color 0.2s;
  transition: color 0.2s;
  font-weight : bold;
496
  padding: 1px 4px 4px 1px;
497
498
499
500
501
502
503
  height :14px;
}

.selected{
  color : @select;
}

504
.nameBox {
505
  width: 300px;
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
  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;
530
  overflow: hidden;
531
532
533
534
535
536
537
538
539
}

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

541
542
}

543
.systemBox, .systemBoxMenu {
544
545
    display: inline-block;
    width: @width_systemBox;
546
    height: 13px;
547
548
549
    text-align: center;
    border-radius: 3px;
    border-width: 1px;
550
551
    margin: 4px;
    margin-top: 2px;
552
553
    color: @select;
    font-family: monospace;
554
    font-size: 80%;
555
    background: @border;
556
557
}

558
559
560
561
562
563
.systemBox {
    float: left;
}

.systemBoxNameMenu {
    display: inline-block;
Marc Duez's avatar
Marc Duez committed
564
    min-width: 70px;
Marc Duez's avatar
Marc Duez committed
565
    height: 20px;
Marc Duez's avatar
Marc Duez committed
566
    cursor : pointer;
567
568
}	      

Marc Duez's avatar
Marc Duez committed
569
570
571
.hiddenCheckBox {
    display : none;
}
572

573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
.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;
}

600
601
602
603
604
.list_sort{
    margin-right : 30px;
    float: right;
}

605
606
							  /*style segmenter element*/
.list_select{
Marc Duez's avatar
Marc Duez committed
607
  width : 445px;
608
609
610
611
612
613
614
615
616
617
618
  display : block;
  border : solid;
  border-width : 2px;
  padding : 0px;
  border-color : @select;
}

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

619
620
621
622
.sequence-line:hover{
    font-weight: bold;
}

623
.seq-fixed {
624
625
  position: relative;
  display: inline-block;
626
  width: (@width_left_container - @width_scrollbar);
627
628
  margin: -2px;
  padding: 2px;
629
630
631
632
633
634
635
636
637
  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
638
  font-family : monospace, ubuntu_monobold, Courier New,monaco,terminal,courier,system; 
Marc Duez's avatar
Marc Duez committed
639
  position: relative;
640
  bottom: 3px;
641
  font-size:1em;
642
643
}

644
645
646
.seq-marge {
  word-spacing: normal;
}
647
648
649
650

.V {
  color: #ffb300;
}
Marc Duez's avatar
Marc Duez committed
651
.D {
652
653
654
655
  color: #c7007d;
}
.J {
  color: #009b95;
Marc Duez's avatar
Marc Duez committed
656
}
Mathieu Giraud's avatar
Mathieu Giraud committed
657
658

.highlight_border, .highlight_seq {
Marc Duez's avatar
Marc Duez committed
659
660
661
    display: inline-flex;
    height: 1em;
    position: relative;
Mathieu Giraud's avatar
Mathieu Giraud committed
662
663
664
}
.highlight_border {
    border-bottom: solid;
Marc Duez's avatar
Marc Duez committed
665
    margin: -1px;
666
    border-width: 4px;
Marc Duez's avatar
Marc Duez committed
667
668
669
670
671
672
    -khtml-user-select: none;
    -webkit-user-select: none;
    -moz-user-select: -moz-none;
    -ms-user-select: none;
    user-select: none;
    pointer-events: none;
673
674
    opacity: 0.3;
    bottom: 1px;
Marc Duez's avatar
Marc Duez committed
675
}
Mathieu Giraud's avatar
Mathieu Giraud committed
676
677
678
679
680
681
682
683
684
.highlight_seq {
  top: .9em;
  padding-bottom: 1px;
  opacity: 0.6;

  font-size: 70%;
  letter-spacing: .428em; /* (1-.7) / .7 */
  left: .214em;
}
685
686
687
688
689
.highlight{
    display: inline-block;
    width: 0px;
    word-spacing: normal;
}
Marc Duez's avatar
Marc Duez committed
690
span .substitution{
Marc Duez's avatar
Marc Duez committed
691
    background-color : @border;
Marc Duez's avatar
Marc Duez committed
692
}
Marc Duez's avatar
Marc Duez committed
693

694
695
696
697
698
699
700
701
702
703
704
705
							  /*tag*/

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

706
707
708
709
710
711
712
713
714
715
716
#dataMenu{
  padding: 5px;
  position: absolute;
  left: @width_left_container;
  bottom: 195px;
  width:220px;
  border:solid;
  display:none;
    background: @background;
}

717
718
719
720
721
722
723
724
725
726
727
728
.tagElem{
  margin:1px;
  height: 20px;
}

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

.tagColorBox {
Mathieu Giraud's avatar
Mathieu Giraud committed
729
730
731
  margin-right: 5px;
  height: 14px;
  width: 14px;
732
733
734
  display: inline-block;
  cursor:pointer;
  user-select :none;
Mathieu Giraud's avatar
Mathieu Giraud committed
735
736
  margin-bottom: -3px;
  margin-top: 3px;
737
738
}

739
740
741
742
#normalized_size {
    width: 80px;
}

743
744
745
746
747
748
749
750
							  /*menu*/

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

753
754
755
756
757
758

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

759
760
761
762
763
764
765
766
767
768
769
770
.submenu{
    width: 200px;
    display: inline-table;
}

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

Marc Duez's avatar
Marc Duez committed
772
773
.submenu{
    width: 200px;
774
    display: inline-table;
Marc Duez's avatar
Marc Duez committed
775
776
777
778
779
780
781
782
783
784
}

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

785
#file_menu, #axis_choice{
786
787
788
789
790
791
792
  z-index:2;
  border:solid; 
  position: fixed; 
  top: 200px; 
  min-width:400px;
  margin-left:-250px;
  left :50%;
793
  font-size: 13px; 
794
  padding: 10px;
795
  background:@background;
796
797
798
799
800
801
  display:none; 
}

.buttonSelector {
  background : @background;
  cursor:pointer;
802
  font-size: 13px;
803
804
805
806
807
  margin :2px;
  display:block;
  text-align:left;
}

Mathieu Giraud's avatar
Mathieu Giraud committed
808
.systemBoxNameMenu:hover, .focus_selected:hover, .button:hover,.button_right:hover, .buttonSelector:hover, .button2:hover{
809
  background : @border;
810
  color : @select;
Mathieu Giraud's avatar
Mathieu Giraud committed
811
  cursor: pointer;
812
813
814
815
816
817
818
}


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


#popup-container{
819
  z-index:20;
820
821
822
823
824
  border:solid; 
  position: fixed; 
  top: 250px; 
  left:50% ;
  width:500px;
825
  font-size: 13px; 
826
827
828
829
830
831
832
833
834
835
836
  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
837
  color: @default ;
838
839
840
841
842
843
844
845
846
847
848
849
}

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

#data-container{
  z-index:3;
  border:solid; 
  position: fixed; 
  top: 50px; 
  left: 20px + @width_left_container;
850
  font-size: 13px; 
851
  padding: 10px;
Marc Duez's avatar
Marc Duez committed
852
  background: @background;
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
  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
868
#file_menu, #menu, #list_clones, #tagSelector, #display-menu, #bot-container, .seq-fixed{
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
 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;
}

893
.button, .button_right{
894
  cursor:pointer;
895
  font-size: 13px;
Marc Duez's avatar
Marc Duez committed
896
  padding: 0px 3px;
897
898
  margin-right:5px;
  margin-left:5px;
Marc Duez's avatar
Marc Duez committed
899
  min-width : 16px;
Marc Duez's avatar
Marc Duez committed
900
  color: @default;
Marc Duez's avatar
Marc Duez committed
901
902
}

903
904
905
906
.button_right{
    float: right;
}

Marc Duez's avatar
Marc Duez committed
907
908
909
910
911
912
913
914
.button2 {
    border: solid;
    border-width: 1px;
    padding: 3px;
    margin: 3px;
    display: inline-block;
    cursor: pointer;
    background: @border;
Marc Duez's avatar
Marc Duez committed
915
    width: auto;
Marc Duez's avatar
Marc Duez committed
916
    text-align: center;
Marc Duez's avatar
Marc Duez committed
917
918
    padding-left: 10px;
    padding-right: 10px;
919
920
921
922
}

.smallbutton {
    cursor:pointer;
923
    font-size: 13px;
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
    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
945
946
947
948
949
950
951
952
953
954
955
956
.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
957
.menu-segmenter {
Marc Duez's avatar
Marc Duez committed
958
959
960
961
962
    position: relative;
    float: left;
    width: @width_left_container;
}

963
.menu-highlight {
Mathieu Giraud's avatar
Mathieu Giraud committed
964
    display: none;
965
966
967
968
969
    position: relative;
    float: left;
    width: @width_highlight;
}

Marc Duez's avatar
Marc Duez committed
970
971
972
.focus {
    position: relative;
    text-align: center;
973
    float: left;
974
975
976
    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));
977
978
    overflow: hidden;
    height: 1em;
Mathieu Giraud's avatar
Mathieu Giraud committed
979
980
981
982
983
984
985
}
.stats {
  position: relative;
  text-align: right;
  float: right;
  width: @width_stats - 3px;
  padding-right: 3px;
Marc Duez's avatar
Marc Duez committed
986
987
}

988
.segmenter {
989
    overflow-x: scroll !important; 
990
    overflow-y: auto;
Marc Duez's avatar
Marc Duez committed
991
    height : 100px;
992
993
994
995
996
997
998
999
1000
}

.selector{
  display: none;
  position: fixed;
  margin-right: -5px;
  padding: 3px;
  border: solid;
  background: inherit;
For faster browsing, not all history is shown. View entire blame