hacklab/strudel
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add a space after paragraphs in descriptions and add padding to hover tooltips

Browse source
This commit is contained in:
Aria 2025-08-26 12:53:38 -05:00
parent b54139376e
commit 18b1739b89
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
website/src/repl/Repl.css
View file

@ -72,8 +72,7 @@
/* Override default styles from the codemirror inline css for autocomplete info tooltip*/
.cm-tooltip.cm-completionInfo {
padding: 12px !important;
padding-bottom: 12px !important;
padding: 0 !important;
border: 1px solid var(--foreground) !important;
border-radius: 4px !important;
box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3) !important;
@ -87,6 +86,8 @@
/* Main tooltip container */
.autocomplete-info-tooltip {
padding: 12px !important;
padding-bottom: 12px !important;
border-radius: 4px !important;
color: var(--foreground);
font-family: var(--font-family, 'SF Mono', 'Monaco', monospace);
@ -97,6 +98,10 @@
min-width: 400px;
}
.autocomplete-info-tooltip p {
margin-bottom: 1em;
}
.autocomplete-info-function-name {
font-size: 15px;
font-weight: 600;