vidjil.less 29.8 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
}

#top-container {
Marc Duez's avatar
Marc Duez committed
73
  height: @top_container_height;
74
  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;
Marc Duez's avatar
Marc Duez committed
91
  top : @top_container_height;
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


/*Metric*/

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


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

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

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

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

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

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

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

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

.data_value{
}

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

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

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

.selected{
  color : @select;
}

515
.nameBox {
516
  width: 300px;
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
  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;
541
  overflow: hidden;
542
543
544
}

.infoBox{
Marc Duez's avatar
Marc Duez committed
545
  width: 15px;
546
  float: right;
Marc Duez's avatar
Marc Duez committed
547
  height: 15px;
548
  display: inline-block;
549
  user-select: none;
550
  text-align: center;
551
552
  border: solid;
  border-width: 1px;
553
  border-color: @background;
554
  border-radius: 5px;
Marc Duez's avatar
Marc Duez committed
555
  margin: 0px 1px;
556
}
Marc Duez's avatar
Marc Duez committed
557
.infoBox:hover{
558
559
560
561
  background: @highlight;
}
.infoBox-open{
  background: @border;
562
563
}

564
.systemBox, .systemBoxMenu {
565
566
    display: inline-block;
    width: @width_systemBox;
567
    height: 13px;
568
569
570
    text-align: center;
    border-radius: 3px;
    border-width: 1px;
571
572
    margin: 4px;
    margin-top: 2px;
573
574
    color: @select;
    font-family: monospace;
575
    font-size: 80%;
576
    background: @border;
577
578
}

579
580
581
582
583
584
.systemBox {
    float: left;
}

.systemBoxNameMenu {
    display: inline-block;
Marc Duez's avatar
Marc Duez committed
585
    min-width: 70px;
Marc Duez's avatar
Marc Duez committed
586
    height: 20px;
Marc Duez's avatar
Marc Duez committed
587
    cursor : pointer;
588
589
}	      

Marc Duez's avatar
Marc Duez committed
590
591
592
.hiddenCheckBox {
    display : none;
}
593

594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
.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;
Marc Duez's avatar
Marc Duez committed
611
  margin-left: 5px;
612
613
614
615
616
617
618
619
620
}



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

621
622
623
624
625
.list_sort{
    margin-right : 30px;
    float: right;
}

626
627
							  /*style segmenter element*/
.list_select{
Marc Duez's avatar
Marc Duez committed
628
  width : 445px;
629
630
631
632
633
634
  display : block;
  border : solid;
  border-width : 2px;
  padding : 0px;
  border-color : @select;
}
Marc Duez's avatar
Marc Duez committed
635
.list_focus{
Marc Duez's avatar
Marc Duez committed
636
    background : @border !important;
Marc Duez's avatar
Marc Duez committed
637
}
638
639

.sequence-line { 
Marc Duez's avatar
Marc Duez committed
640
    white-space: nowrap;
641
}
Marc Duez's avatar
Marc Duez committed
642
.sequence-line:hover { 
643
644
645
    font-weight: bold;
}

646
.seq-fixed {
Marc Duez's avatar
Marc Duez committed
647
  font-weight: bold;
648
649
  position: relative;
  display: inline-block;
650
  width: (@width_left_container - @width_scrollbar);
651
652
  margin: -2px;
  padding: 2px;
653
654
655
656
657
658
659
660
661
  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
662
  font-family : monospace, ubuntu_monobold, Courier New,monaco,terminal,courier,system; 
Marc Duez's avatar
Marc Duez committed
663
  position: relative;
664
  bottom: 3px;
665
  font-size:1em;
666
667
}

668
669
670
.seq-marge {
  word-spacing: normal;
}
671
672
673
674

.V {
  color: #ffb300;
}
Marc Duez's avatar
Marc Duez committed
675
.D {
676
677
678
679
  color: #c7007d;
}
.J {
  color: #009b95;
Marc Duez's avatar
Marc Duez committed
680
}
Mathieu Giraud's avatar
Mathieu Giraud committed
681
682

.highlight_border, .highlight_seq {
Marc Duez's avatar
Marc Duez committed
683
684
685
    display: inline-flex;
    height: 1em;
    position: relative;
Mathieu Giraud's avatar
Mathieu Giraud committed
686
687
688
}
.highlight_border {
    border-bottom: solid;
Marc Duez's avatar
Marc Duez committed
689
    margin: -1px;
690
    border-width: 4px;
Marc Duez's avatar
Marc Duez committed
691
692
693
694
695
696
    -khtml-user-select: none;
    -webkit-user-select: none;
    -moz-user-select: -moz-none;
    -ms-user-select: none;
    user-select: none;
    pointer-events: none;
697
698
    opacity: 0.3;
    bottom: 1px;
Marc Duez's avatar
Marc Duez committed
699
}
Mathieu Giraud's avatar
Mathieu Giraud committed
700
701
702
703
704
705
706
707
708
.highlight_seq {
  top: .9em;
  padding-bottom: 1px;
  opacity: 0.6;

  font-size: 70%;
  letter-spacing: .428em; /* (1-.7) / .7 */
  left: .214em;
}
709
710
711
712
713
.highlight{
    display: inline-block;
    width: 0px;
    word-spacing: normal;
}
Marc Duez's avatar
Marc Duez committed
714
span .substitution{
Marc Duez's avatar
Marc Duez committed
715
    background-color : @border;
Marc Duez's avatar
Marc Duez committed
716
}
Marc Duez's avatar
Marc Duez committed
717

718
719
							  /*tag*/

Marc Duez's avatar
Marc Duez committed
720
.tagSelector{
721
722
723
724
725
726
727
  padding: 5px;
  position: absolute;
  left: @width_left_container;
  top: 195px;
  width:220px;
  border:solid;
  display:none;
Marc Duez's avatar
Marc Duez committed
728
  background: @background;
729
730
}

Marc Duez's avatar
Marc Duez committed
731
.dataMenu{
732
733
734
735
736
737
738
739
740
741
  padding: 5px;
  position: absolute;
  left: @width_left_container;
  bottom: 195px;
  width:220px;
  border:solid;
  display:none;
    background: @background;
}

742
743
744
745
746
747
748
749
750
751
752
753
.tagElem{
  margin:1px;
  height: 20px;
}

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

.tagColorBox {
Mathieu Giraud's avatar
Mathieu Giraud committed
754
755
756
  margin-right: 5px;
  height: 14px;
  width: 14px;
757
758
759
  display: inline-block;
  cursor:pointer;
  user-select :none;
Mathieu Giraud's avatar
Mathieu Giraud committed
760
761
  margin-bottom: -3px;
  margin-top: 3px;
762
763
}

764
765
766
767
#normalized_size {
    width: 80px;
}

768
769
770
771
772
773
774
775
							  /*menu*/

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

778
779
780
781
782
783

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

784
785
786
787
788
789
790
791
792
793
794
795
.submenu{
    width: 200px;
    display: inline-table;
}

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

Marc Duez's avatar
Marc Duez committed
797
798
.submenu{
    width: 200px;
799
    display: inline-table;
Marc Duez's avatar
Marc Duez committed
800
801
802
803
804
805
806
807
808
809
}

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

Marc Duez's avatar
Marc Duez committed
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
.div-menu-selector{
    float: right;
    margin: -2px 0px 0px 5px;
}

.menu-selector {
    background: @background;
    color: #657B83;
    height: 18px;
    width: 60px;
    -webkit-appearance: none;
    border: solid;
    border-width: 1px;
    border-radius: 2px;
}

826
#file_menu, #axis_choice{
827
828
829
830
831
832
833
  z-index:2;
  border:solid; 
  position: fixed; 
  top: 200px; 
  min-width:400px;
  margin-left:-250px;
  left :50%;
834
  font-size: 13px; 
835
  padding: 10px;
836
  background:@background;
837
838
839
840
841
842
  display:none; 
}

.buttonSelector {
  background : @background;
  cursor:pointer;
843
  font-size: 13px;
844
845
846
847
848
  margin :2px;
  display:block;
  text-align:left;
}

Mathieu Giraud's avatar
Mathieu Giraud committed
849
.systemBoxNameMenu:hover, .focus_selected:hover, .button:hover,.button_right:hover, .buttonSelector:hover, .button2:hover{
850
  background : @border;
851
  color : @select;
Mathieu Giraud's avatar
Mathieu Giraud committed
852
  cursor: pointer;
853
854
855
856
857
858
}


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


859
.popup_container{
860
  z-index:20;
861
862
863
864
865
  border:solid; 
  position: fixed; 
  top: 250px; 
  left:50% ;
  width:500px;
866
  font-size: 13px; 
867
868
869
870
871
872
873
874
  padding: 10px;
  background: @background;
  display:none;
  left: -moz-calc(~"50% - 250px");
  left: -webkit-calc(~"50% - 250px");
  left: calc(~"50% - 250px");
}

875
.popup_container a {
876
877
  text-decoration: none;
  font-weight: bold;
Marc Duez's avatar
Marc Duez committed
878
  color: @default ;
879
880
}

881
.popup_container a:hover{
882
883
884
  color : @select;
}

885
.data-container, .info-container{
886
887
888
889
890
  z-index:3;
  border:solid; 
  position: fixed; 
  top: 50px; 
  left: 20px + @width_left_container;
891
  font-size: 13px; 
892
  padding: 10px;
Marc Duez's avatar
Marc Duez committed
893
  background: @background;
894
895
896
897
  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);
Marc Duez's avatar
Marc Duez committed
898
899
900
  height: -moz-calc(~"100%" - 215px);
  height: -webkit-calc(~"100%" - 215px);
  height: calc(~"100%" - 215px);
901
902
}

903
904
.data-msg, .info-msg{
  overflow-x: hidden;
905
906
907
908
  height : 100%;
  width : 100%;
}

Marc Duez's avatar
Marc Duez committed
909
#file_menu, #menu, #list_clones, #tagSelector, #display-menu, #bot-container, .seq-fixed{
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
 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;
}

934
.button, .button_right{
935
  cursor:pointer;
936
  font-size: 13px;
Marc Duez's avatar
Marc Duez committed
937
  padding: 0px 3px;
938
939
  margin-right:5px;
  margin-left:5px;
Marc Duez's avatar
Marc Duez committed
940
  min-width : 16px;
Marc Duez's avatar
Marc Duez committed
941
  color: @default;
Marc Duez's avatar
Marc Duez committed
942
943
}

944
945
946
947
.button_right{
    float: right;
}

Marc Duez's avatar
Marc Duez committed
948
949
950
951
952
953
954
955
.button2 {
    border: solid;
    border-width: 1px;
    padding: 3px;
    margin: 3px;
    display: inline-block;
    cursor: pointer;
    background: @border;
Marc Duez's avatar
Marc Duez committed
956
    width: auto;
Marc Duez's avatar
Marc Duez committed
957
    text-align: center;
Marc Duez's avatar
Marc Duez committed
958
959
    padding-left: 10px;
    padding-right: 10px;
960
961
962
963
}

.smallbutton {
    cursor:pointer;
964
    font-size: 13px;
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
    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
986
987
988
989
990
991
992
993
994
995
996
997
.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
998
.menu-segmenter {
Marc Duez's avatar
Marc Duez committed
999
1000
    position: relative;
    float: left;
For faster browsing, not all history is shown. View entire blame