Skip to content

Commit 1095c23

Browse files
committed
updated main view
1 parent 358d3a8 commit 1095c23

62 files changed

Lines changed: 168 additions & 163 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

lasso/docusaurus.config.ts

Lines changed: 10 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -71,6 +71,7 @@ const config: Config = {
7171
label: 'Documentation',
7272
},
7373
{to: '/hub', label: 'TDSEHub (Pipelines)', position: 'left'},
74+
{to: '/lasso/search', label: 'Code Search', position: 'left'},
7475
{to: '/labs', label: 'Labs (Playground)', position: 'left'},
7576
{to: '/blog', label: 'Blog', position: 'left'},
7677
{to: '/research/intro', label: 'Research', position: 'left'},
@@ -95,27 +96,31 @@ const config: Config = {
9596
label: 'Documentation',
9697
to: '/docs/intro',
9798
},
98-
{
99-
label: 'Labs (Playground)',
100-
to: '/labs',
101-
},
10299
{
103100
label: 'Research',
104101
to: '/research/intro',
105102
},
106103
],
107104
},
108105
{
109-
title: 'Community',
106+
title: 'Services',
110107
items: [
111108
// {
112109
// label: 'Stack Overflow',
113110
// href: 'https://stackoverflow.com/questions/tagged/docusaurus',
114111
// },
112+
{
113+
label: 'Labs (Playground)',
114+
to: '/labs',
115+
},
115116
{
116117
label: 'TDSEHub (Pipelines)',
117118
href: '/hub',
118119
},
120+
{
121+
label: 'Code Search',
122+
href: '/lasso/search',
123+
},
119124
// {
120125
// label: 'Discord',
121126
// href: 'https://discordapp.com/invite/docusaurus',

web/404.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

web/about/index.html

Lines changed: 3 additions & 3 deletions
Large diffs are not rendered by default.

web/assets/js/main.5845e140.js

Lines changed: 2 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
File renamed without changes.

web/assets/js/main.ba10d49f.js

Lines changed: 0 additions & 2 deletions
This file was deleted.

web/blog/archive/index.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

web/blog/arena-python/index.html

Lines changed: 3 additions & 3 deletions
Large diffs are not rendered by default.

web/blog/authors/index.html

Lines changed: 2 additions & 2 deletions
Large diffs are not rendered by default.

web/blog/index.html

Lines changed: 3 additions & 3 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)