Skip to content

Commit 15bbd7a

Browse files
rcosta358rcosta358
committed
Add Site
0 parents  commit 15bbd7a

35 files changed

Lines changed: 1310 additions & 0 deletions

‎.gitignore‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
_site/
2+
.jekyll-cache/
3+
.jekyll-metadata
4+
.sass-cache/
5+
.bundle/
6+
vendor/
7+
Gemfile.lock

‎404.md‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
---
2+
title: Page not found
3+
permalink: /404.html
4+
nav_exclude: true
5+
---
6+
7+
# Page Not Found
8+
9+
This page you requested does not exist.
10+
11+
- Go back to the [homepage]({{ '/' | relative_url }})
12+
- Open [Getting Started]({{ '/getting-started/overview/' | relative_url }})
13+
- Browse [Resources]({{ '/resources/' | relative_url }})

‎Gemfile‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
source "https://rubygems.org"
2+
3+
gem "jekyll", "~> 3.10"
4+
gem "just-the-docs", "~> 0.10"
5+
gem "kramdown-parser-gfm", "~> 1.1"
6+
gem "webrick", "~> 1.8"

‎_config.yml‎

Lines changed: 49 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
title: LiquidJava Docs
2+
description: Documentation for LiquidJava, a refinement type checker for Java with support for liquid types and typestates
3+
theme: just-the-docs
4+
color_scheme: liquidjava
5+
6+
url: https://liquid-java.github.io
7+
baseurl: /liquidjava-docs
8+
9+
permalink: pretty
10+
search_enabled: true
11+
heading_anchors: true
12+
13+
favicon_ico: "/assets/images/iconLJ.png"
14+
15+
aux_links:
16+
liquid-java: https://github.com/liquid-java/liquidjava
17+
vscode-liquidjava: https://github.com/liquid-java/vscode-liquidjava
18+
liquidjava-examples: https://github.com/liquid-java/liquidjava-examples
19+
liquidjava-tutorial: https://github.com/liquid-java/liquidjava-tutorial
20+
aux_links_new_tab: true
21+
22+
gh_edit_link: true
23+
gh_edit_repository: https://github.com/liquid-java/liquidjava-docs
24+
gh_edit_branch: main
25+
gh_edit_source: /
26+
gh_edit_view_mode: tree
27+
28+
callouts:
29+
note:
30+
title: Note
31+
color: blue
32+
tip:
33+
title: Tip
34+
color: green
35+
warn:
36+
title: Warning
37+
color: yellow
38+
39+
defaults:
40+
- scope:
41+
path: ""
42+
values:
43+
layout: default
44+
45+
exclude:
46+
- .DS_Store
47+
- vendor
48+
- Gemfile
49+
- Gemfile.lock

‎_includes/head_custom.html‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
<link rel="preconnect" href="https://fonts.googleapis.com">
2+
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
3+
<link href="https://fonts.googleapis.com/css2?family=Atkinson+Hyperlegible:wght@400;700&family=JetBrains+Mono:wght@400;600&display=swap" rel="stylesheet">
4+
<link rel="icon" type="image/png" href="{{ '/assets/images/iconLJ.png' | relative_url }}">

‎_sass/color_schemes/liquidjava.scss‎

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
$white: #fcfcfb;
2+
$grey-dk-000: #f3f4f6;
3+
$grey-dk-100: #e5e7eb;
4+
$grey-dk-200: #d1d5db;
5+
$grey-dk-250: #9ca3af;
6+
$grey-dk-300: #6b7280;
7+
$grey-lt-000: #fafaf9;
8+
$grey-lt-100: #f4f4f5;
9+
$grey-lt-200: #e4e4e7;
10+
$grey-lt-300: #d4d4d8;
11+
$purple-000: #ebe9fe;
12+
$purple-100: #c4b5fd;
13+
$purple-200: #8b5cf6;
14+
$purple-300: #6d28d9;
15+
$blue-000: #e5eef7;
16+
$blue-100: #c7d7ea;
17+
$blue-200: #5f7ea1;
18+
$blue-300: #334e68;
19+
$green-000: #e7f0ea;
20+
$green-100: #c9d8cf;
21+
$green-200: #6b8f76;
22+
$green-300: #3f5f49;
23+
$yellow-000: #f6f0df;
24+
$yellow-100: #e8ddbf;
25+
$yellow-200: #b39b5e;
26+
$yellow-300: #6d5d35;
27+
$red-000: #f6e7e7;
28+
$red-100: #e6c7c7;
29+
$red-200: #b56d6d;
30+
$red-300: #7a4343;
31+
32+
$body-background-color: #f7f7f5;
33+
$sidebar-color: #efefec;
34+
$search-background-color: #ffffff;
35+
$table-background-color: #ffffff;
36+
$code-background-color: #111827;
37+
$feedback-color: darken($sidebar-color, 4%);
38+
$body-text-color: #2a2f36;
39+
$body-heading-color: #171a1f;
40+
$nav-child-link-color: #555c65;
41+
$link-color: #3f5f78;
42+
$btn-primary-color: #343a40;
43+
$base-button-color: #e7e7e4;
44+
45+
$mono-font-family: "JetBrains Mono", "SFMono-Regular", Menlo, Consolas, monospace;
46+
$body-font-family: "Atkinson Hyperlegible", "Segoe UI", sans-serif;

‎_sass/custom/custom.scss‎

Lines changed: 183 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,183 @@
1+
.site-header {
2+
border-bottom: 1px solid rgba(23, 26, 31, 0.08);
3+
}
4+
5+
.site-title {
6+
display: inline-flex;
7+
align-items: center;
8+
font-weight: 700;
9+
font-size: 1.2rem;
10+
letter-spacing: 0.01em;
11+
color: #171a1f !important;
12+
}
13+
14+
.site-title:hover {
15+
text-decoration: none;
16+
}
17+
18+
.aux-nav .aux-nav-list-item a[href*="github.com"] {
19+
display: inline-flex;
20+
align-items: center;
21+
gap: 0.45rem;
22+
}
23+
24+
.aux-nav .aux-nav-list-item a[href*="github.com"]::before {
25+
content: "";
26+
width: 0.95rem;
27+
height: 0.95rem;
28+
flex: 0 0 0.95rem;
29+
background-color: currentColor;
30+
opacity: 0.82;
31+
-webkit-mask-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 16 16' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath fill='black' d='M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.5-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82A7.64 7.64 0 0 1 8 4.77c.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.01 8.01 0 0 0 16 8c0-4.42-3.58-8-8-8Z'/%3E%3C/svg%3E");
32+
mask-image: url("data:image/svg+xml,%3Csvg viewBox='0 0 16 16' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath fill='black' d='M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.5-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82A7.64 7.64 0 0 1 8 4.77c.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.01 8.01 0 0 0 16 8c0-4.42-3.58-8-8-8Z'/%3E%3C/svg%3E");
33+
-webkit-mask-repeat: no-repeat;
34+
mask-repeat: no-repeat;
35+
-webkit-mask-position: center;
36+
mask-position: center;
37+
-webkit-mask-size: contain;
38+
mask-size: contain;
39+
}
40+
41+
.side-bar {
42+
background:
43+
radial-gradient(circle at top left, rgba(255, 255, 255, 0.7), transparent 24%),
44+
radial-gradient(circle at bottom right, rgba(17, 24, 39, 0.05), transparent 28%),
45+
$sidebar-color;
46+
}
47+
48+
.main-content a {
49+
color: #41586f;
50+
text-decoration-thickness: 0.08em;
51+
text-underline-offset: 0.15em;
52+
}
53+
54+
.main-content :not(pre) > code {
55+
border-radius: 0.35rem;
56+
padding: 0.12em 0.35em;
57+
color: #25303d;
58+
background: #eceff2;
59+
border: 1px solid rgba(37, 48, 61, 0.08);
60+
}
61+
62+
.main-content pre.highlight,
63+
.main-content div.highlighter-rouge {
64+
overflow: hidden;
65+
border: 1px solid rgba(17, 24, 39, 0.12);
66+
border-radius: 1rem;
67+
background: #111827;
68+
box-shadow: 0 16px 34px rgba(15, 23, 42, 0.14);
69+
}
70+
71+
.main-content pre,
72+
.main-content pre.highlight code,
73+
.main-content div.highlighter-rouge pre,
74+
.main-content div.highlighter-rouge code,
75+
.main-content .highlight {
76+
color: #e5e7eb;
77+
background: #111827;
78+
}
79+
80+
.main-content pre {
81+
padding: 1rem 1.15rem;
82+
line-height: 1.6;
83+
}
84+
85+
.main-content .highlight .w {
86+
color: #e5e7eb;
87+
}
88+
89+
.main-content .highlight .c,
90+
.main-content .highlight .cm,
91+
.main-content .highlight .c1,
92+
.main-content .highlight .cs {
93+
color: #94a3b8;
94+
font-style: italic;
95+
}
96+
97+
.main-content .highlight .k,
98+
.main-content .highlight .kd,
99+
.main-content .highlight .kn,
100+
.main-content .highlight .kp,
101+
.main-content .highlight .kr,
102+
.main-content .highlight .kt {
103+
color: #c4b5fd;
104+
}
105+
106+
.main-content .highlight .s,
107+
.main-content .highlight .sa,
108+
.main-content .highlight .sb,
109+
.main-content .highlight .sc,
110+
.main-content .highlight .dl,
111+
.main-content .highlight .sd,
112+
.main-content .highlight .s2 {
113+
color: #a7f3d0;
114+
}
115+
116+
.main-content .highlight .mi,
117+
.main-content .highlight .mf,
118+
.main-content .highlight .mh,
119+
.main-content .highlight .il,
120+
.main-content .highlight .mo {
121+
color: #f9d58b;
122+
}
123+
124+
.main-content .highlight .na,
125+
.main-content .highlight .nc,
126+
.main-content .highlight .nd,
127+
.main-content .highlight .nf,
128+
.main-content .highlight .ne,
129+
.main-content .highlight .nn,
130+
.main-content .highlight .nt {
131+
color: #93c5fd;
132+
}
133+
134+
.main-content .highlight .o,
135+
.main-content .highlight .ow,
136+
.main-content .highlight .p {
137+
color: #cbd5e1;
138+
}
139+
140+
.main-content blockquote {
141+
border-left: 4px solid #6b7280;
142+
background: rgba(107, 114, 128, 0.08);
143+
}
144+
145+
.home-grid {
146+
display: grid;
147+
gap: 1rem;
148+
margin: 2rem 0;
149+
}
150+
151+
.home-card {
152+
padding: 1.1rem 1.15rem;
153+
border: 1px solid rgba(17, 24, 39, 0.08);
154+
border-radius: 1rem;
155+
background: rgba(255, 255, 255, 0.92);
156+
}
157+
158+
.home-card h3,
159+
.home-card h4 {
160+
margin-top: 0;
161+
margin-bottom: 0.45rem;
162+
}
163+
164+
.home-card p:last-child {
165+
margin-bottom: 0;
166+
}
167+
168+
.home-banner {
169+
margin: 1.5rem 0 0;
170+
border-radius: 1rem;
171+
overflow: hidden;
172+
}
173+
174+
.home-banner img {
175+
display: block;
176+
width: 100%;
177+
}
178+
179+
@media (min-width: 50rem) {
180+
.home-grid {
181+
grid-template-columns: repeat(2, minmax(0, 1fr));
182+
}
183+
}

‎assets/images/Liquid2.png‎

38.9 KB
Loading

‎assets/images/banner.gif‎

360 KB
Loading

‎assets/images/iconLJ.png‎

44.9 KB
Loading

0 commit comments

Comments
 (0)