mirror of https://github.com/freeCodeCamp/devdocs
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
44 lines
628 B
44 lines
628 B
._scala {
|
|
@extend %simple;
|
|
|
|
.deprecated { @extend %label-red; }
|
|
|
|
.attributes dl,
|
|
.attributes pre {
|
|
margin: 0;
|
|
}
|
|
|
|
.related-types {
|
|
@extend %pre;
|
|
margin: 0;
|
|
white-space: normal;
|
|
}
|
|
|
|
.links {
|
|
@extend %box;
|
|
margin-left: -1rem;
|
|
text-align: center;
|
|
padding: .5em;
|
|
|
|
a { padding: .4em }
|
|
|
|
@include print {
|
|
display: none;
|
|
}
|
|
}
|
|
|
|
.source-link {
|
|
float: right;
|
|
font-size: .75rem;
|
|
color: var(--linkColor);
|
|
cursor: pointer;
|
|
@extend %user-select-none;
|
|
|
|
&:hover { text-decoration: underline; }
|
|
|
|
@include print {
|
|
display: none;
|
|
}
|
|
}
|
|
}
|