Files
openide/docs/plugin-graph/style.css
Vladimir Krivosheev 3aab104f68 plugin graph viewer - extract search to a web worker
GitOrigin-RevId: 3bb8e871699396720fa978991e9f95ef16afdf58
2021-06-06 07:26:01 +00:00

32 lines
789 B
CSS

/* Copyright 2000-2021 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. */
html, body {
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
color: #515151;
}
.tooltipMainName {
font-family: 'JetBrains Mono', monospace;
font-size: 13px;
user-select: text;
}
.tooltipValue {
float: right;
margin-left: 10px;
user-select: text;
font-family: 'JetBrains Mono', monospace;
font-size: 13px;
}
.tippy-box {
line-height: 1.2;
background: rgba(255, 255, 255, 0.9);
font-size: 14px;
padding: 10px;
border-radius: 4px;
box-shadow: 0 2px 12px 0 rgba(0, 0, 0, .1);
text-align: justify;
border: 1px solid #ebeef5;
width: fit-content;
max-width: 1000px !important;
}