2021-05-19 05:16:02 +02:00
|
|
|
.code-view .lines-num:hover {
|
|
|
|
|
color: var(--color-text-dark) !important;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.code-line-menu {
|
|
|
|
|
width: auto !important;
|
2023-05-12 12:53:41 +02:00
|
|
|
border: none !important; /* the border is provided by tippy, not using the `.ui.menu` border */
|
2021-05-19 05:16:02 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.code-line-button {
|
|
|
|
|
background-color: var(--color-menu);
|
|
|
|
|
color: var(--color-text-light);
|
|
|
|
|
border: 1px solid var(--color-secondary);
|
|
|
|
|
border-radius: var(--border-radius);
|
|
|
|
|
padding: 1px 10px;
|
|
|
|
|
position: absolute;
|
|
|
|
|
font-family: var(--fonts-regular);
|
|
|
|
|
left: 0;
|
2023-06-09 11:10:51 +02:00
|
|
|
transform: translateX(-50%);
|
2021-05-19 05:16:02 +02:00
|
|
|
cursor: pointer;
|
2023-03-18 22:53:12 +01:00
|
|
|
}
|
2021-05-19 05:16:02 +02:00
|
|
|
|
2023-03-18 22:53:12 +01:00
|
|
|
.code-line-button:hover {
|
|
|
|
|
color: var(--color-primary);
|
2021-05-19 05:16:02 +02:00
|
|
|
}
|
