language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 19:58:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

docs-ui: Add border to and style wrapping section

Browse source
This commit is contained in:
Mfon Eti-mfon 2022-07-03 23:31:28 +01:00
parent 873142b473
commit eee30fb58c
No known key found for this signature in database
GPG key ID: C79D87B2D3688E26
1 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

15
crates/docs/src/static/styles.css
View file

@ -30,6 +30,7 @@
--nav-link-hover-color: #000000;
--type-signature-color: var(--purple-5);
--type-signature-bg-color: var(--purple-1);
--module-entry-border-color: var(--gray-3);
}
a {
@ -75,6 +76,8 @@ a {
color: var(--type-signature-color);
background-color: var(--type-signature-bg-color);
width: fit-content;
margin-top: 0;
margin-bottom: 24px;
padding: 8px 16px;
border-radius: 8px;
}
@ -158,6 +161,17 @@ main {
min-width: 0; /* necessary for text-overflow: ellipsis to work in descendants */
}
section {
border: 1px solid var(--module-entry-border-color);
border-radius: 8px;
padding: 32px;
margin: 32px 0;
}
section > *:last-child {
margin-bottom: 0;
}
#sidebar-nav {
grid-column-start: sidebar;
grid-column-end: sidebar;
@ -447,6 +461,7 @@ pre {
--top-bar-fg: #eeeeee;
--type-signature-color: var(--grey-1);
--type-signature-bg-color: var(--purple-4);
--module-entry-border-color: var(--purple-7);
}
html {