2021-01-15 05:16:02 +01:00
|
|
|
/*
|
|
|
|
|
Copyright (c) Microsoft Corporation.
|
|
|
|
|
|
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
|
you may not use this file except in compliance with the License.
|
|
|
|
|
You may obtain a copy of the License at
|
|
|
|
|
|
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
|
|
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
|
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
|
See the License for the specific language governing permissions and
|
|
|
|
|
limitations under the License.
|
|
|
|
|
*/
|
|
|
|
|
|
2021-01-28 23:25:10 +01:00
|
|
|
.source {
|
|
|
|
|
display: flex;
|
|
|
|
|
flex: auto;
|
|
|
|
|
flex-direction: column;
|
2021-01-28 18:33:20 +01:00
|
|
|
white-space: pre;
|
2021-01-15 05:16:02 +01:00
|
|
|
overflow: auto;
|
|
|
|
|
font-family: var(--monospace-font);
|
2021-01-28 18:33:20 +01:00
|
|
|
font-size: 11px;
|
|
|
|
|
line-height: 16px;
|
2021-01-28 23:25:10 +01:00
|
|
|
background: white;
|
2021-01-15 05:16:02 +01:00
|
|
|
}
|
|
|
|
|
|
2021-01-28 23:25:10 +01:00
|
|
|
.source-line {
|
2021-01-28 18:33:20 +01:00
|
|
|
display: flex;
|
2021-01-28 23:25:10 +01:00
|
|
|
flex: none;
|
2021-01-28 18:33:20 +01:00
|
|
|
}
|
|
|
|
|
|
2021-01-28 23:25:10 +01:00
|
|
|
.source-line-number {
|
|
|
|
|
color: #555;
|
2021-01-28 18:33:20 +01:00
|
|
|
padding: 0 8px;
|
|
|
|
|
width: 30px;
|
|
|
|
|
text-align: right;
|
|
|
|
|
background: #edebe9;
|
|
|
|
|
user-select: none;
|
2021-01-15 05:16:02 +01:00
|
|
|
}
|
2021-01-28 23:25:10 +01:00
|
|
|
|
2021-02-02 23:25:51 +01:00
|
|
|
.source-line-number {
|
|
|
|
|
flex: none;
|
|
|
|
|
}
|
|
|
|
|
|
2021-01-28 23:25:10 +01:00
|
|
|
.source-line-highlighted {
|
2021-02-12 19:11:30 +01:00
|
|
|
background-color: #6fa8dc7f;
|
|
|
|
|
z-index: 2;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.source-line-paused {
|
2021-01-28 23:25:10 +01:00
|
|
|
background-color: #ffc0cb7f;
|
2021-02-12 19:11:30 +01:00
|
|
|
outline: 1px solid red;
|
|
|
|
|
z-index: 2;
|
|
|
|
|
}
|