← Back to branch summary

~ubuntu-branches/debian/sid/scala/sid

« back to all changes in this revision

Viewing changes to src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css

  • Committer: Package Import Robot
  • Author(s): Emmanuel Bourg, Mehdi Dogguy, Lucas Satabin, Frank S. Thomas, Emmanuel Bourg
  • Date: 2015-06-05 23:52:59 UTC
  • mfrom: (1.2.11)
  • Revision ID: package-import@ubuntu.com-20150605235259-wk00vgk83dh8o19g
Tags: 2.10.5-1
http://bugs.debian.org/744278
http://bugs.debian.org/754935
http://bugs.debian.org/724704
* Team upload.

[ Mehdi Dogguy ]
* New upstream release (Closes: #744278).

[ Lucas Satabin ]
* Update patches
* Update the clean target
* Update paths of elements to install
* Update watch file

[ Frank S. Thomas ]
* Remove myself from Uploaders.

[ Emmanuel Bourg ]
* The package has been adopted by the Java Team (Closes: #754935)
* Patched the build to avoid downloading libraries from the Internet
* Replaced the minified JavaScript files with unobfuscated ones
* No longer build scala-partest.jar until diffutils is packaged or replaced
* debian/watch: Fixed the versions matched (x.y.z instead of x.y.z..z)
* debian/rules:
  - Added the missing get-orig-source target (Closes: #724704)
  - Improved the clean target
* debian/control:
  - Build depend on scala (>= 2.10) and bnd
  - Use canonical URLs for the Vcs-* fields
  - Standards-Version updated to 3.9.6 (no changes)
* Switch to debhelper level 9

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css
106
106
  font-size: 24pt;
107
107
  text-shadow: black 0px 2px 0px;
108
108
/*  text-shadow: black 0px 0px 0px;*/
109
 
text-decoration: none; 
 
109
text-decoration: none;
110
110
}
111
111
 
112
112
#definition #owner {
162
162
  padding-left: 15px;
163
163
  background: url("arrow-right.png") no-repeat 0 3px transparent;
164
164
}
165
 
  
166
 
.toggleContainer.open .toggle {
 
165
 
 
166
.toggleContainer .toggle.open {
167
167
  background: url("arrow-down.png") no-repeat 0 3px transparent;
168
168
}
169
169
 
171
171
  margin-top: 5px;
172
172
}
173
173
 
174
 
.toggleContainer .showElement {
175
 
  padding-left: 15px;
176
 
}
177
 
 
178
174
.value #definition {
179
175
  background-color: #2C475C; /* blue */
180
176
  background-image:url('defbg-blue.gif');
205
201
  font-style: italic;
206
202
}
207
203
 
 
204
dl.attributes > dt.implicit {
 
205
  font-weight: bold;
 
206
  color: darkgreen;
 
207
}
 
208
 
208
209
dl.attributes > dd {
209
210
  display: block;
210
211
  padding-left: 10em;
241
242
  color: white;
242
243
}
243
244
 
 
245
#inheritedMembers > div.conversion > h3 {
 
246
  background: #dadada url("conversionbg.gif") repeat-x bottom left; /* gray */
 
247
  height: 17px;
 
248
  font-style: italic;
 
249
  font-size: 12pt;
 
250
}
 
251
 
 
252
#inheritedMembers > div.conversion > h3 * {
 
253
  color: white;
 
254
}
 
255
 
 
256
#groupedMembers > div.group > h3 {
 
257
  background: #dadada url("typebg.gif") repeat-x bottom left; /* green */
 
258
  height: 17px;
 
259
  font-size: 12pt;
 
260
}
 
261
 
 
262
#groupedMembers > div.group > h3 * {
 
263
  color: white;
 
264
}
 
265
 
 
266
 
244
267
/* Member cells */
245
268
 
246
269
div.members > ol {
310
333
  font-weight: bold;
311
334
}
312
335
 
313
 
.signature .symbol .params .implicit {
 
336
.signature .symbol > .implicit {
 
337
  display: inline-block;
 
338
  font-weight: bold;
 
339
  text-decoration: underline;
 
340
  color: darkgreen;
 
341
}
 
342
 
 
343
.signature .symbol .shadowed {
 
344
  color: darkseagreen;
 
345
}
 
346
 
 
347
.signature .symbol .params > .implicit {
314
348
  font-style: italic;
315
349
}
316
350
 
317
 
.signature .symbol .name.deprecated {
 
351
.signature .symbol .deprecated {
318
352
  text-decoration: line-through;
319
353
}
320
354
 
340
374
  color: darkgreen;
341
375
}
342
376
 
 
377
.full-signature-usecase h4 span {
 
378
  font-size: 10pt;
 
379
}
 
380
 
 
381
.full-signature-usecase > #signature {
 
382
  padding-top: 0px;
 
383
}
 
384
 
 
385
#template .full-signature-usecase > .signature.closed {
 
386
  background: none;
 
387
}
 
388
 
 
389
#template .full-signature-usecase > .signature.opened {
 
390
  background: none;
 
391
}
 
392
 
 
393
.full-signature-block {
 
394
  padding: 5px 0 0;
 
395
  border-top: 1px solid #EBEBEB;
 
396
  margin-top: 5px;
 
397
  margin-bottom: 5px;
 
398
}
 
399
 
 
400
 
343
401
/* Comments text formating */
344
402
 
345
403
.cmt {}
346
404
 
347
405
.cmt p {
348
 
        margin: 0.7em 0;
 
406
  margin: 0.7em 0;
349
407
}
350
408
 
351
409
.cmt p:first-child {
352
 
        margin-top: 0;
 
410
  margin-top: 0;
353
411
}
354
412
 
355
413
.cmt p:last-child {
356
 
        margin-bottom: 0;
 
414
  margin-bottom: 0;
357
415
}
358
416
 
359
417
.cmt h3,
469
527
 
470
528
/* Comments structured layout */
471
529
 
 
530
.group > div.comment {
 
531
  padding-top: 5px;
 
532
  padding-bottom: 5px;
 
533
  padding-right: 5px;
 
534
  padding-left: 5px;
 
535
  border: 1px solid #ddd;
 
536
  background-color: #eeeee;
 
537
  margin-top:5px;
 
538
  margin-bottom:5px;
 
539
  margin-right:5px;
 
540
  margin-left:5px;
 
541
  display: block;
 
542
}
 
543
 
472
544
p.comment {
473
545
  display: block;
474
546
  margin-left: 14.7em;
515
587
  margin-bottom: 5px
516
588
}
517
589
 
518
 
div.fullcomment div.block ol li p, 
 
590
div.fullcomment div.block ol li p,
519
591
div.fullcomment div.block ol li {
520
592
  display:inline
521
593
}
559
631
/* Members filter tool */
560
632
 
561
633
#textfilter {
562
 
        position: relative;
563
 
        display: block;
 
634
  position: relative;
 
635
  display: block;
564
636
    height: 20px;
565
 
        margin-bottom: 5px;
 
637
  margin-bottom: 5px;
566
638
}
567
639
 
568
640
#textfilter > .pre {
576
648
}
577
649
 
578
650
#textfilter > .input {
579
 
        display: block;
 
651
  display: block;
580
652
    position: absolute;
581
653
    top: 0;
582
654
    right: 20px;
584
656
}
585
657
 
586
658
#textfilter > .input > input {
587
 
        height: 20px;
588
 
        padding: 1px;
589
 
        font-weight: bold;
590
 
        color: #000000;
 
659
  height: 20px;
 
660
  padding: 1px;
 
661
  font-weight: bold;
 
662
  color: #000000;
591
663
        background: #ffffff url("filterboxbarbg.png") repeat-x top left;
592
664
        width: 100%;
593
665
}
636
708
  display: inline-block;
637
709
}
638
710
 
 
711
#mbrsel > div > a {
 
712
  position:relative;
 
713
  top: -8px;
 
714
  font-size: 11px;
 
715
  text-shadow: #ffffff 0 1px 0;
 
716
}
 
717
 
639
718
#mbrsel > div > ol#linearization {
640
719
  display: table;
641
720
  margin-left: 70px;
659
738
  text-shadow: #ffffff 0 1px 0;
660
739
}
661
740
 
 
741
#mbrsel > div > ol#implicits {
 
742
  display: table;
 
743
  margin-left: 70px;
 
744
}
 
745
 
 
746
#mbrsel > div > ol#implicits > li.in {
 
747
  text-decoration: none;
 
748
  float: left;
 
749
  padding-right: 10px;
 
750
  margin-right: 5px;
 
751
  background: url(selected-right-implicits.png) no-repeat;
 
752
  background-position: right 0px;
 
753
}
 
754
 
 
755
#mbrsel > div > ol#implicits > li.in > span{
 
756
  color: #404040;
 
757
  float: left;
 
758
  padding: 1px 0 1px 10px;
 
759
  background: url(selected-implicits.png) no-repeat;
 
760
  background-position: 0px 0px;
 
761
  text-shadow: #ffffff 0 1px 0;
 
762
}
 
763
 
662
764
#mbrsel > div > ol > li {
663
765
/*  padding: 3px 10px;*/
664
 
  line-height: 16pt; 
 
766
  line-height: 16pt;
665
767
  display: inline-block;
666
768
  cursor: pointer;
667
769
}
685
787
}
686
788
 
687
789
#mbrsel > div > ol > li.out {
688
 
        text-decoration: none;
689
 
        float: left;
690
 
        padding-right: 10px;
691
 
        margin-right: 5px;
 
790
  text-decoration: none;
 
791
  float: left;
 
792
  padding-right: 10px;
 
793
  margin-right: 5px;
692
794
}
693
795
 
694
796
#mbrsel > div > ol > li.out > span{
715
817
#mbrsel .showall {
716
818
  color: #4C4C4C;
717
819
  line-height: 16px;
718
 
  font-weight: bold;  
 
820
  font-weight: bold;
719
821
}
720
822
 
721
823
#mbrsel .showall span {
722
824
  color: #4C4C4C;
723
 
  font-weight: bold;  
 
825
  font-weight: bold;
724
826
}*/
 
827
 
 
828
.badge {
 
829
  display: inline-block;
 
830
  padding: 2px 4px;
 
831
  font-size: 11.844px;
 
832
  font-weight: bold;
 
833
  line-height: 14px;
 
834
  color: #ffffff;
 
835
  text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);
 
836
  white-space: nowrap;
 
837
  vertical-align: baseline;
 
838
  background-color: #999999;
 
839
  padding-right: 9px;
 
840
  padding-left: 9px;
 
841
  -webkit-border-radius: 9px;
 
842
     -moz-border-radius: 9px;
 
843
          border-radius: 9px;
 
844
}
 
845
 
 
846
.badge-red {
 
847
  background-color: #b94a48;
 
848
}