Skip to content

Commit deffa39

Browse files
brendanzabbrendanzab
committed
Update website dependencies
1 parent 40832c9 commit deffa39

File tree

8 files changed

+2136
-1872
lines changed

8 files changed

+2136
-1872
lines changed

‎website/docusaurus.config.js

+26-27
Original file line numberDiff line numberDiff line change
@@ -9,19 +9,19 @@ module.exports = {
99
themeConfig: {
1010
// sidebarCollapsible: false,
1111
prism: {
12-
theme: require("prism-react-renderer/themes/palenight")
12+
theme: require("prism-react-renderer/themes/palenight"),
1313
},
1414
navbar: {
1515
title: "Pikelet",
1616
logo: {
1717
alt: "My Site Logo",
18-
src: "img/logo.svg"
18+
src: "img/logo.svg",
1919
},
2020
links: [
2121
{
2222
label: "Docs",
2323
to: "docs/pikelet/introduction",
24-
position: "right"
24+
position: "right",
2525
},
2626
// {
2727
// label: "Blog",
@@ -31,14 +31,14 @@ module.exports = {
3131
{
3232
label: "GitHub",
3333
href: "https://github.com/pikelet-lang/pikelet",
34-
position: "right"
34+
position: "right",
3535
},
3636
{
3737
label: "Gitter",
3838
href: "https://gitter.im/pikelet-lang/Lobby",
39-
position: "right"
40-
}
41-
]
39+
position: "right",
40+
},
41+
],
4242
},
4343
footer: {
4444
style: "dark",
@@ -48,42 +48,42 @@ module.exports = {
4848
items: [
4949
{ to: "docs/guide", label: "Guide" },
5050
{ to: "docs/reference", label: "Reference" },
51-
{ to: "docs/specification", label: "Specification" }
52-
]
51+
{ to: "docs/specification", label: "Specification" },
52+
],
5353
},
5454
{
5555
title: "Community",
5656
items: [
5757
{
5858
label: "Gitter",
59-
href: "https://gitter.im/pikelet-lang/Lobby"
59+
href: "https://gitter.im/pikelet-lang/Lobby",
6060
},
6161
{
6262
label: "Discord (Unofficial)",
63-
href: "https://discord.gg/vQtyxjZ"
64-
}
65-
]
63+
href: "https://discord.gg/vQtyxjZ",
64+
},
65+
],
6666
},
6767
{
6868
title: "Social",
6969
items: [
7070
{
7171
label: "Blog",
72-
to: "blog"
72+
to: "blog",
7373
},
7474
{
7575
label: "GitHub",
76-
href: "https://github.com/pikelet-lang/pikelet"
76+
href: "https://github.com/pikelet-lang/pikelet",
7777
},
7878
{
7979
label: "Twitter",
80-
href: "https://twitter.com/pikelet-lang"
81-
}
82-
]
83-
}
80+
href: "https://twitter.com/pikelet-lang",
81+
},
82+
],
83+
},
8484
],
85-
copyright: `Copyright © ${new Date().getFullYear()} Brendan Zabarauskas. Built with Docusaurus.`
86-
}
85+
copyright: `Copyright © ${new Date().getFullYear()} Brendan Zabarauskas. Built with Docusaurus.`,
86+
},
8787
},
8888
presets: [
8989
[
@@ -93,7 +93,6 @@ module.exports = {
9393
sidebarPath: require.resolve("./sidebars.js"),
9494
editUrl:
9595
"https://github.com/pikelet-lang/pikelet/edit/master/website/",
96-
remarkPlugins: [[require("remark-admonitions"), {}]]
9796
},
9897
// blog: {
9998
// feedOptions: {
@@ -104,9 +103,9 @@ module.exports = {
104103
// }
105104
// },
106105
theme: {
107-
customCss: require.resolve("./src/css/custom.css")
108-
}
109-
}
110-
]
111-
]
106+
customCss: require.resolve("./src/css/custom.css"),
107+
},
108+
},
109+
],
110+
],
112111
};

‎website/package.json

+4-5
Original file line numberDiff line numberDiff line change
@@ -9,12 +9,11 @@
99
"deploy": "docusaurus deploy"
1010
},
1111
"dependencies": {
12-
"@docusaurus/core": "^2.0.0-alpha.40",
13-
"@docusaurus/preset-classic": "^2.0.0-alpha.40",
12+
"@docusaurus/core": "^2.0.0-alpha.55",
13+
"@docusaurus/preset-classic": "^2.0.0-alpha.55",
1414
"classnames": "^2.2.6",
15-
"react": "^16.8.4",
16-
"react-dom": "^16.8.4",
17-
"remark-admonitions": "^1.0.0"
15+
"react": "^16.13.1",
16+
"react-dom": "^16.13.1"
1817
},
1918
"browserslist": {
2019
"production": [

‎website/sidebars.js

+19-15
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,11 @@ module.exports = {
1010
{
1111
type: "category",
1212
label: "Pikelet",
13-
items: ["pikelet/introduction", "pikelet/roadmap", "pikelet/contributing"]
13+
items: [
14+
"pikelet/introduction",
15+
"pikelet/roadmap",
16+
"pikelet/contributing",
17+
],
1418
},
1519
{
1620
type: "category",
@@ -20,8 +24,8 @@ module.exports = {
2024
"guide/getting-started",
2125
"guide/hello-world",
2226
"guide/data-structures",
23-
"guide/modular-programming"
24-
]
27+
"guide/modular-programming",
28+
],
2529
},
2630
{
2731
type: "category",
@@ -38,12 +42,12 @@ module.exports = {
3842
"reference/builtins",
3943
"reference/functions",
4044
"reference/records",
41-
"reference/universes"
42-
]
45+
"reference/universes",
46+
],
4347
},
4448
"reference/bibliography",
45-
"reference/influences"
46-
]
49+
"reference/influences",
50+
],
4751
},
4852
{
4953
type: "category",
@@ -56,20 +60,20 @@ module.exports = {
5660
items: [
5761
"specification/surface/lexical-structure",
5862
"specification/surface/grammar",
59-
"specification/surface/elaboration"
60-
]
63+
"specification/surface/elaboration",
64+
],
6165
},
6266
{
6367
type: "category",
6468
label: "Core Language",
6569
items: [
6670
"specification/core/operational-semantics",
6771
"specification/core/declarative-typing",
68-
"specification/core/bidirectional-typing"
69-
]
72+
"specification/core/bidirectional-typing",
73+
],
7074
},
71-
"specification/inspiration"
72-
]
73-
}
74-
]
75+
"specification/inspiration",
76+
],
77+
},
78+
],
7579
};

‎website/src/css/custom.css

-96
Original file line numberDiff line numberDiff line change
@@ -22,99 +22,3 @@
2222
margin: 0 calc(-1 * var(--ifm-pre-padding));
2323
padding: 0 var(--ifm-pre-padding);
2424
}
25-
26-
/* remark-admonitions
27-
*
28-
* From: https://github.com/elviswolcott/remark-admonitions#infima-docusaurus-v2
29-
*/
30-
31-
/* Based on the styling for alerts */
32-
.admonition {
33-
background-color: var(--ifm-alert-background-color);
34-
border: var(--ifm-alert-border-width) solid var(--ifm-alert-border-color);
35-
border-radius: var(--ifm-alert-border-radius);
36-
box-sizing: border-box;
37-
color: var(--ifm-alert-color);
38-
padding: var(--ifm-alert-padding-vertical) var(--ifm-alert-padding-horizontal);
39-
margin-bottom: 1em;
40-
}
41-
42-
.admonition h5 {
43-
margin-top: 0;
44-
margin-bottom: 8px;
45-
text-transform: uppercase;
46-
}
47-
48-
.admonition-icon {
49-
display: inline-block;
50-
vertical-align: middle;
51-
margin-right: 0.2em;
52-
}
53-
54-
.admonition-icon svg {
55-
display: inline-block;
56-
width: 22px;
57-
height: 22px;
58-
stroke-width: 0;
59-
}
60-
61-
.admonition-content > :last-child {
62-
margin-bottom: 0;
63-
}
64-
65-
.admonition .admonition-icon svg {
66-
stroke: var(--ifm-alert-color);
67-
fill: var(--ifm-alert-color);
68-
}
69-
70-
/* default for custom types */
71-
72-
.admonition {
73-
--ifm-alert-background-color: var(--ifm-color-primary)
74-
}
75-
76-
/* styles for native types */
77-
78-
.admonition-important {
79-
color: var(--ifm-alert-color);
80-
background-color: var(--ifm-alert-background-color);
81-
border-color: var(--ifm-alert-background-color)
82-
}
83-
84-
.admonition-tip {
85-
--ifm-alert-background-color: var(--ifm-color-success)
86-
}
87-
88-
.admonition-important, .admonition-tip {
89-
color: var(--ifm-alert-color);
90-
background-color: var(--ifm-alert-background-color);
91-
border-color: var(--ifm-alert-background-color)
92-
}
93-
94-
.admonition-important {
95-
--ifm-alert-background-color:var(--ifm-color-info)
96-
}
97-
98-
.admonition-warning {
99-
--ifm-alert-background-color:var(--ifm-color-warning)
100-
}
101-
102-
.admonition-note {
103-
--ifm-alert-background-color:var(--ifm-color-secondary);
104-
color: var(--ifm-color-gray-900);
105-
}
106-
107-
.admonition-note .admonition-icon svg {
108-
fill: var(--ifm-color-gray-900);
109-
stroke: var(--ifm-color-gray-900);
110-
}
111-
112-
.admonition-caution,.admonition-warning {
113-
color: var(--ifm-alert-color);
114-
background-color: var(--ifm-alert-background-color);
115-
border-color: var(--ifm-alert-background-color)
116-
}
117-
118-
.admonition-caution {
119-
--ifm-alert-background-color:var(--ifm-color-danger)
120-
}

‎website/src/pages/index.js

+4-4
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ const features = [
1515
Docusaurus was designed from the ground up to be easily installed and
1616
used to get your website up and running quickly.
1717
</>
18-
)
18+
),
1919
},
2020
{
2121
title: <>Focus on What Matters</>,
@@ -25,7 +25,7 @@ const features = [
2525
Docusaurus lets you focus on your docs, and we&apos;ll do the chores. Go
2626
ahead and move your docs into the <code>docs</code> directory.
2727
</>
28-
)
28+
),
2929
},
3030
{
3131
title: <>Powered by React</>,
@@ -35,8 +35,8 @@ const features = [
3535
Extend or customize your website layout by reusing React. Docusaurus can
3636
be extended while reusing the same header and footer.
3737
</>
38-
)
39-
}
38+
),
39+
},
4040
];
4141

4242
function Feature({ imageUrl, title, description }) {

‎website/src/theme/CodeBlock/index.js

+6-4
Original file line numberDiff line numberDiff line change
@@ -24,8 +24,8 @@ const highlightLinesRangeRegex = /{([\d,-]+)}/;
2424
export default ({ children, className: languageClassName, metastring }) => {
2525
const {
2626
siteConfig: {
27-
themeConfig: { prism = {} }
28-
}
27+
themeConfig: { prism = {} },
28+
},
2929
} = useDocusaurusContext();
3030
const [showCopied, setShowCopied] = useState(false);
3131
const target = useRef(null);
@@ -34,15 +34,17 @@ export default ({ children, className: languageClassName, metastring }) => {
3434

3535
if (metastring && highlightLinesRangeRegex.test(metastring)) {
3636
const highlightLinesRange = metastring.match(highlightLinesRangeRegex)[1];
37-
highlightLines = rangeParser.parse(highlightLinesRange).filter(n => n > 0);
37+
highlightLines = rangeParser
38+
.parse(highlightLinesRange)
39+
.filter((n) => n > 0);
3840
}
3941

4042
useEffect(() => {
4143
let clipboard;
4244

4345
if (button.current) {
4446
clipboard = new Clipboard(button.current, {
45-
target: () => target.current
47+
target: () => target.current,
4648
});
4749
}
4850

0 commit comments

Comments
 (0)