mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
494 lines
7.5 KiB
CSS
494 lines
7.5 KiB
CSS
@font-face {
|
|
font-family: "JetBrainsMono";
|
|
src: url("fonts/JetBrainsMono-Medium.eot") format('eot');
|
|
src: url("fonts/JetBrainsMono-Medium.woff") format('woff');
|
|
}
|
|
|
|
* {
|
|
tab-size: 4;
|
|
box-sizing: border-box;
|
|
}
|
|
|
|
body {
|
|
background: #ffffff;
|
|
overflow: auto;
|
|
width: auto;
|
|
border: solid gray;
|
|
border-width: .1em .1em .1em .8em;
|
|
padding: .2em .6em;
|
|
}
|
|
|
|
.line-numbers {
|
|
color: grey;
|
|
padding-right: 12px;
|
|
padding-left: 12px;
|
|
text-align: right;
|
|
}
|
|
|
|
.no-select,
|
|
.line-numbers {
|
|
-webkit-touch-callout: none;
|
|
-webkit-user-select: none;
|
|
-khtml-user-select: none;
|
|
-moz-user-select: none;
|
|
-ms-user-select: none;
|
|
user-select: none;
|
|
}
|
|
|
|
button:focus {
|
|
outline: 0;
|
|
}
|
|
|
|
.code {
|
|
margin-left: 10px;
|
|
font-family: 'JetBrainsMono', monospace;
|
|
}
|
|
|
|
.code-container {
|
|
display: flex;
|
|
line-height: 150%;
|
|
font-size: 13px;
|
|
}
|
|
|
|
.label {
|
|
margin-left: 50px;
|
|
}
|
|
|
|
.order-hidden {
|
|
display: none;
|
|
}
|
|
|
|
#lookup-order {
|
|
font-size: 15px;
|
|
margin-left: 10px;
|
|
}
|
|
|
|
.code-span {
|
|
white-space: pre;
|
|
}
|
|
|
|
.session {
|
|
position: relative;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.session.cg-empty {
|
|
color: #70AAFF
|
|
}
|
|
|
|
.session.cg-none {
|
|
color: #ff3b30
|
|
}
|
|
|
|
.session.cg-token {
|
|
color: #ff9500
|
|
}
|
|
|
|
.session.cg-line {
|
|
color: #34c759
|
|
}
|
|
|
|
.session.bg-filters-skipped {
|
|
background-color: #ff3b305b
|
|
}
|
|
|
|
.session.bg-model-skipped {
|
|
background-color: #0d1abb75
|
|
}
|
|
|
|
.session.perfect {
|
|
color: #008800
|
|
}
|
|
|
|
.session.good {
|
|
color: #C9C800
|
|
}
|
|
|
|
.session.bad {
|
|
color: #EB7400
|
|
}
|
|
|
|
.session.not-found {
|
|
color: #BB0066
|
|
}
|
|
|
|
.session.absent {
|
|
color: #70AAFF
|
|
}
|
|
|
|
.suggestion-p {
|
|
margin: 0px;
|
|
}
|
|
|
|
.autocomplete-items {
|
|
position: absolute;
|
|
border: 1px solid #d4d4d4;
|
|
border-bottom: none;
|
|
border-top: none;
|
|
z-index: 99;
|
|
top: 1.5em;
|
|
left: 0;
|
|
}
|
|
|
|
.autocomplete-items div {
|
|
padding: 5px;
|
|
cursor: pointer;
|
|
color: black;
|
|
font-weight: normal;
|
|
background-color: #fff;
|
|
border-bottom: 1px solid #d4d4d4;
|
|
white-space: nowrap;
|
|
}
|
|
|
|
.autocomplete-items :not(.multiline) div:hover {
|
|
background-color: #e9e9e9;
|
|
}
|
|
|
|
.autocomplete-active {
|
|
background-color: DodgerBlue !important;
|
|
color: #ffffff;
|
|
}
|
|
|
|
.feature-value {
|
|
position: relative;
|
|
padding-right: 40px !important;
|
|
cursor: default !important;
|
|
}
|
|
|
|
.favorite-button {
|
|
position: absolute;
|
|
right: 5px;
|
|
height: 15px;
|
|
border: none;
|
|
background-color: inherit;
|
|
color: #d3d3d3;
|
|
cursor: pointer;
|
|
}
|
|
|
|
.in-favorite {
|
|
color: #FFD300;
|
|
}
|
|
|
|
plaintext {
|
|
font: inherit;
|
|
}
|
|
|
|
/*Code Golf*/
|
|
|
|
td {
|
|
padding: 0;
|
|
}
|
|
|
|
/*∫*/
|
|
.cg-delimiter-integral .delimiter:not(.cg-none)::before,
|
|
.cg-delimiter-integral .delimiter-pre:not(.cg-none)::before {
|
|
font-weight: normal;
|
|
color: #333333;
|
|
content: "\222B";
|
|
}
|
|
|
|
/*❙*/
|
|
.cg-delimiter-box-small .delimiter:not(.cg-none)::before,
|
|
.cg-delimiter-box-small .delimiter.delimiter-pre:not(.cg-none)::before {
|
|
font-weight: normal;
|
|
color: #333333;
|
|
content: "\2759";
|
|
}
|
|
|
|
/*❚*/
|
|
.cg-delimiter-box-big .delimiter:not(.cg-none)::before,
|
|
.cg-delimiter-box-big .delimiter.delimiter-pre:not(.cg-none)::before {
|
|
font-weight: normal;
|
|
color: #333333;
|
|
content: "\275A";
|
|
}
|
|
|
|
/*_*/
|
|
.cg-delimiter-underscore .delimiter:not(.cg-none)::before,
|
|
.cg-delimiter-underscore .delimiter.delimiter-pre:not(.cg-none)::before {
|
|
position: absolute;
|
|
content: '';
|
|
border-left: 1.5px solid dimgray;
|
|
border-bottom: 1.5px solid dimgray;
|
|
width: 8px;
|
|
height: 2px;
|
|
bottom: 1px;
|
|
left: 0;
|
|
}
|
|
|
|
.code-line {
|
|
white-space: pre;
|
|
}
|
|
|
|
input[type=checkbox], input[type=radio] {
|
|
vertical-align: middle;
|
|
position: relative;
|
|
bottom: 1px;
|
|
}
|
|
|
|
.delimiter-pick {
|
|
margin-left: 4px;
|
|
margin-bottom: 16px;
|
|
margin-right: 16px;
|
|
}
|
|
|
|
.delimiter-option {
|
|
font-weight: bold;
|
|
}
|
|
|
|
.line-numbers:before {
|
|
content: attr(data-line-numbers);
|
|
}
|
|
|
|
.dot {
|
|
/*user-select: none;*/
|
|
color: #000;
|
|
opacity: 0.125;
|
|
}
|
|
|
|
/*Tab for switching between evaluations*/
|
|
|
|
.tab {
|
|
margin: 8px 16px;
|
|
display: inline-block;
|
|
overflow: hidden;
|
|
border: 1px solid #ccc;
|
|
background-color: #f1f1f1;
|
|
}
|
|
|
|
.tab button {
|
|
background-color: inherit;
|
|
float: left;
|
|
border: none;
|
|
outline: none;
|
|
cursor: pointer;
|
|
padding: 12px 16px;
|
|
transition: 0.3s;
|
|
font-size: 14px;
|
|
}
|
|
|
|
.tab button:hover {
|
|
background-color: #ddd;
|
|
}
|
|
|
|
.tab button.active {
|
|
background-color: #ccc;
|
|
}
|
|
|
|
.labelText {
|
|
font-size: 18px;
|
|
margin-right: 4px;
|
|
}
|
|
|
|
.evalContent {
|
|
border-spacing: 0;
|
|
border-collapse: collapse;
|
|
|
|
font-family: 'JetBrainsMono', monospace;
|
|
line-height: 150%;
|
|
font-size: 13px;
|
|
}
|
|
|
|
.cg .line-code {
|
|
display: inline-block;
|
|
/*flex: 1 0;*/
|
|
min-width: calc(7.8 * 80px);
|
|
}
|
|
|
|
.cg .line-stats {
|
|
display: inline-block;
|
|
flex: 0 0 25%;
|
|
max-width: 25%;
|
|
}
|
|
|
|
.cg .code-line {
|
|
display: flex;
|
|
gap: 16px;
|
|
white-space: normal;
|
|
margin-top: 2px;
|
|
}
|
|
|
|
.cg table {
|
|
width: 100%;
|
|
border-collapse: collapse;
|
|
}
|
|
|
|
.cg tbody {
|
|
width: 100%;
|
|
}
|
|
|
|
pre {
|
|
margin: 0;
|
|
}
|
|
|
|
.cg pre.ib {
|
|
display: inline-block;
|
|
}
|
|
|
|
.cg .stats-excellent .stats-value {
|
|
background-color: rgba(44, 229, 116, 0.25);
|
|
}
|
|
|
|
.cg .stats-good .stats-value {
|
|
background-color: rgba(205, 240, 58, 0.3);
|
|
}
|
|
|
|
.cg .stats-satisfactory .stats-value {
|
|
background-color: rgba(255, 229, 0, 0.3);
|
|
}
|
|
|
|
.cg .stats-bad .stats-value {
|
|
background-color: rgba(255, 150, 0, 0.25);
|
|
}
|
|
|
|
.cg .stats-very_bad .stats-value {
|
|
background-color: rgba(255, 57, 36, 0.25);
|
|
}
|
|
|
|
.cg .stats-unknown .stats-value {
|
|
background-color: rgba(33, 19, 13, 0.25);
|
|
}
|
|
|
|
.cg .stats-absent {
|
|
background-color: rgba(112, 170, 255, 0.25);
|
|
}
|
|
|
|
.cg tr.stats-hidden {
|
|
opacity: 0.2;
|
|
}
|
|
|
|
.cg .duplicate {
|
|
opacity: 0.2
|
|
}
|
|
|
|
.cg .duplicate:hover {
|
|
opacity: 1
|
|
}
|
|
|
|
.tr-delimiter {
|
|
opacity: 0.5;
|
|
}
|
|
|
|
.thresholds > button {
|
|
border: none;
|
|
padding: 0;
|
|
background: none;
|
|
}
|
|
|
|
.thresholds .stats-value.stats-hidden {
|
|
border-color: #d9d9d9;
|
|
color: rgba(0, 0, 0, .25);
|
|
background-color: rgba(0, 0, 0, .04);
|
|
}
|
|
|
|
.thresholds .stats-value {
|
|
cursor: pointer;
|
|
padding: 4px 8px;
|
|
border: none;
|
|
font-size: 14px;
|
|
font-family: Arial, sans-serif;
|
|
}
|
|
|
|
.cg tr,
|
|
.thresholds .stats-value {
|
|
transition: all .2s cubic-bezier(.645,.045,.355,1);
|
|
}
|
|
|
|
.cg-evaluation-title {
|
|
box-sizing: border-box;
|
|
margin: 0;
|
|
padding: 0;
|
|
color: rgba(0, 0, 0, 0.85);
|
|
font-size: 14px;
|
|
font-variant: tabular-nums;
|
|
line-height: 1.5715;
|
|
list-style: none;
|
|
font-feature-settings: 'tnum';
|
|
display: inline-block;
|
|
height: auto;
|
|
margin-right: 8px;
|
|
padding: 0 7px;
|
|
font-size: 12px;
|
|
line-height: 22px;
|
|
white-space: nowrap;
|
|
background: #fafafa;
|
|
border: 1px solid #d9d9d9;
|
|
border-radius: 2px;
|
|
opacity: 1;
|
|
transition: transform 0.3s;
|
|
}
|
|
|
|
/*Multiline completion*/
|
|
|
|
.multiline .autocomplete-items {
|
|
position: absolute;
|
|
box-shadow: 1px 1px 0 1px lightgrey;
|
|
border: none;
|
|
display: grid;
|
|
grid-template-columns: repeat(2, 1fr);
|
|
z-index: 99;
|
|
top: -1.5em;
|
|
}
|
|
|
|
.multiline .autocomplete-items div {
|
|
cursor: default;
|
|
}
|
|
|
|
.multiline .attachments-header {
|
|
border: none;
|
|
background-color: bisque;
|
|
padding: 0;
|
|
text-align: center;
|
|
}
|
|
|
|
.multiline .suggestion-header {
|
|
visibility: hidden;
|
|
}
|
|
|
|
.multiline .suggestion {
|
|
background-color: cornsilk;
|
|
padding: 0;
|
|
padding-right: 1em;
|
|
border: none;
|
|
}
|
|
|
|
.multiline .attachments {
|
|
background-color: cornsilk;
|
|
padding: 0;
|
|
padding-right: 1em;
|
|
border: none;
|
|
}
|
|
|
|
.multiline .suggestion:hover {
|
|
cursor: pointer;
|
|
}
|
|
|
|
.multiline .attachments:hover {
|
|
cursor: pointer;
|
|
}
|
|
|
|
.multiline .expected-header {
|
|
background-color: lightgrey;
|
|
padding: 0;
|
|
border: none;
|
|
text-align: center;
|
|
}
|
|
|
|
.multiline .expected {
|
|
padding: 0;
|
|
border: none;
|
|
padding-left: 1em;
|
|
}
|
|
|
|
.multiline .missing-context {
|
|
background-color: mistyrose;
|
|
}
|
|
|
|
.multiline .line-numbers {
|
|
cursor: pointer;
|
|
}
|
|
|
|
.multiline .metrics-values {
|
|
font-style: italic;
|
|
padding-inline: 4px;
|
|
} |