| 1234567891011121314151617181920212223242526272829303132333435363738 |
- ._scala {
- @extend %simple;
-
- .deprecated { @extend %label-red; }
-
- .related-types {
- @extend %pre;
- margin-top: 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;
- }
- }
- }
|