2016-08-13 21:13:16 +02:00
|
|
|
.gen-ps {
|
2017-04-16 18:37:16 +02:00
|
|
|
flex: 1;
|
2019-08-16 23:05:39 +02:00
|
|
|
display: flex;
|
|
|
|
align-items: stretch;
|
|
|
|
flex-direction: column;
|
|
|
|
justify-content: flex-start;
|
|
|
|
@include scrollbar-on-hover;
|
|
|
|
width: 100%;
|
|
|
|
user-select: none;
|
|
|
|
overflow: hidden;
|
|
|
|
position: relative;
|
|
|
|
|
|
|
|
> .scroller {
|
|
|
|
flex: 1;
|
|
|
|
overflow-x: hidden;
|
|
|
|
}
|
2016-08-14 18:18:51 +02:00
|
|
|
|
2019-09-08 13:43:55 +02:00
|
|
|
&__content,
|
|
|
|
&__buttons {
|
2019-09-08 11:46:03 +02:00
|
|
|
margin: $base-padding;
|
2019-08-16 23:05:39 +02:00
|
|
|
}
|
2016-08-14 18:18:51 +02:00
|
|
|
|
2019-08-16 23:05:39 +02:00
|
|
|
&__sample {
|
|
|
|
font-weight: normal;
|
2019-08-17 11:15:23 +02:00
|
|
|
user-select: text;
|
2019-09-08 09:31:25 +02:00
|
|
|
color: var(--muted-color);
|
2019-08-16 23:05:39 +02:00
|
|
|
}
|
2016-08-14 18:18:51 +02:00
|
|
|
|
2019-08-16 23:05:39 +02:00
|
|
|
&__example {
|
2019-08-17 11:15:23 +02:00
|
|
|
user-select: text;
|
2019-08-16 23:05:39 +02:00
|
|
|
font-family: $monospace-font-family;
|
|
|
|
margin-top: 0;
|
|
|
|
white-space: pre-wrap;
|
|
|
|
word-break: break-all;
|
|
|
|
}
|
2016-08-13 22:19:15 +02:00
|
|
|
|
2019-08-16 23:05:39 +02:00
|
|
|
&__list,
|
|
|
|
&__input {
|
|
|
|
height: 2em;
|
|
|
|
}
|
2016-08-13 21:13:16 +02:00
|
|
|
}
|