docs: basic theme and structure

37 files changed, 717 insertions, 12 deletions

diff --git a/subprojects/docs/docusaurus.config.ts b/subprojects/docs/docusaurus.config.ts
index d0f1b33a..663c4876 100644
--- a/subprojects/docs/docusaurus.config.ts
+++ b/subprojects/docs/docusaurus.config.ts
@@ -5,11 +5,13 @@
  * SPDX-License-Identifier: MIT AND EPL-2.0
  */
 
+import type { Options as DocsOptions } from '@docusaurus/plugin-content-docs';
 import type { Options as PagesOptions } from '@docusaurus/plugin-content-pages';
 import type { Options as ClassicThemeOptions } from '@docusaurus/theme-classic';
 import type { UserThemeConfig } from '@docusaurus/theme-common';
 import type { Config } from '@docusaurus/types';
 import { Config as SwcConfig } from '@swc/core';
+import { themes } from 'prism-react-renderer';
 import smartypants from 'remark-smartypants';
 
 const markdownOptions = {
@@ -18,6 +20,8 @@ const markdownOptions = {
 
 export default {
   title: 'Refinery',
+  tagline: 'An efficient graph solver for generating well-formed models',
+  titleDelimiter: '⚗️',
   url: 'https://refinery.tools',
   baseUrl: '/',
   baseUrlIssueBanner: false,
@@ -25,6 +29,26 @@ export default {
   staticDirectories: ['static'],
   plugins: [
     [
+      '@docusaurus/plugin-content-docs',
+      {
+        id: 'docs',
+        path: 'src/docs',
+        routeBasePath: '/docs',
+        sidebarPath: undefined,
+        ...markdownOptions,
+      } satisfies DocsOptions,
+    ],
+    [
+      '@docusaurus/plugin-content-docs',
+      {
+        id: 'api',
+        path: 'src/docs-api',
+        routeBasePath: '/api',
+        sidebarPath: undefined,
+        ...markdownOptions,
+      } satisfies DocsOptions,
+    ],
+    [
       '@docusaurus/plugin-content-pages',
       markdownOptions satisfies PagesOptions,
     ],
@@ -43,16 +67,123 @@ export default {
     colorMode: {
       respectPrefersColorScheme: true,
     },
+    prism: {
+      theme: themes.oneLight,
+      darkTheme: themes.oneDark,
+    },
     navbar: {
       title: 'Refinery',
+      logo: {
+        src: '/logo.svg',
+        srcDark: '/logo-dark.svg',
+      },
       hideOnScroll: true,
+      items: [
+        {
+          label: 'Learn',
+          to: '/docs',
+        },
+        {
+          label: 'Develop',
+          to: '/api',
+        },
+        {
+          label: 'GitHub',
+          position: 'right',
+          href: 'https://github.com/graphs4value/refinery',
+        },
+        {
+          label: 'Try now',
+          position: 'right',
+          href: 'https://refinery.services/',
+          className: 'navbar__link--try-now',
+        },
+      ],
     },
     footer: {
+      links: [
+        {
+          title: 'Learn',
+          items: [
+            {
+              label: 'Introduction',
+              to: '/docs',
+            },
+            {
+              label: 'Tutorials',
+              to: '/docs/category/tutorials',
+            },
+            {
+              label: 'Langauge reference',
+              to: '/docs/category/language',
+            },
+            {
+              label: 'Run in Docker',
+              to: '/docs/docker',
+            },
+          ],
+        },
+        {
+          title: 'Develop',
+          items: [
+            {
+              label: 'Programming guide',
+              to: '/api',
+            },
+            {
+              label: 'Contributing',
+              to: '/api/contributing',
+            },
+            {
+              label: 'Javadoc',
+              to: '/api/javadoc',
+            },
+          ],
+        },
+        {
+          title: 'More',
+          items: [
+            {
+              label: 'Try now',
+              href: 'https://refinery.services/',
+            },
+            {
+              label: 'GitHub',
+              href: 'https://github.com/graphs4value/refinery',
+            },
+            {
+              label: 'License',
+              to: '/license',
+            },
+          ],
+        },
+        {
+          title: 'Supporters',
+          items: [
+            {
+              label: 'BME MIT FTSRG',
+              href: 'https://ftsrg.mit.bme.hu/en/',
+            },
+            {
+              label: 'McGill ECE',
+              href: 'https://www.mcgill.ca/',
+            },
+            {
+              label: '2022 Amazon Research Awards',
+              href: 'https://www.amazon.science/research-awards/recipients/daniel-varro-fall-2021',
+            },
+            {
+              label: 'LiU Software and Systems',
+              href: 'https://liu.se/en/organisation/liu/ida/sas',
+            },
+          ],
+        },
+      ],
       copyright: `
         Copyright © 2021-2024
-        <a href="https://github.com/graphs4value/refinery/blob/main/CONTRIBUTORS.md" target="_blank">The Refinery Authors</a>.
+        <a href="https://github.com/graphs4value/refinery/blob/main/CONTRIBUTORS.md#the-refinery-authors" target="_blank">The Refinery Authors</a>.
         Available under the
-        <a href="https://www.eclipse.org/legal/epl-2.0/" target="_blank">Eclipse Public License - v 2.0</a>.
+        <a href="/license/">Eclipse Public License - v 2.0</a>.
       `,
     },
   } satisfies UserThemeConfig,
@@ -83,4 +214,57 @@ export default {
       } satisfies SwcConfig,
     }),
   },
+  headTags: [
+    {
+      tagName: 'link',
+      attributes: {
+        rel: 'icon',
+        href: '/favicon.svg',
+        type: 'image/svg+xml',
+      },
+    },
+    {
+      tagName: 'link',
+      attributes: {
+        rel: 'icon',
+        href: '/favicon.png',
+        type: 'image/png',
+        sizes: '32x32',
+      },
+    },
+    {
+      tagName: 'link',
+      attributes: {
+        rel: 'icon',
+        href: '/favicon-96x96.png',
+        type: 'image/png',
+        sizes: '96x96',
+      },
+    },
+    {
+      tagName: 'link',
+      attributes: {
+        rel: 'apple-touch-icon',
+        href: '/apple-touch-icon.png',
+        type: 'image/png',
+        sizes: '180x180',
+      },
+    },
+    {
+      tagName: 'meta',
+      attributes: {
+        name: 'theme-color',
+        media: '(prefers-color-scheme:light)',
+        content: '#f5f5f5',
+      },
+    },
+    {
+      tagName: 'meta',
+      attributes: {
+        name: 'theme-color',
+        media: '(prefers-color-scheme:dark)',
+        content: '#282c34',
+      },
+    },
+  ],
 } satisfies Config;
diff --git a/subprojects/docs/package.json b/subprojects/docs/package.json
index bdf95a70..3191c771 100644
--- a/subprojects/docs/package.json
+++ b/subprojects/docs/package.json
@@ -41,6 +41,8 @@
     "@fontsource/open-sans": "^5.0.27",
     "@mdx-js/react": "^3.0.1",
     "@swc/core": "^1.4.12",
+    "clsx": "^2.1.0",
+    "prism-react-renderer": "^2.3.1",
     "react": "^18.2.0",
     "react-dom": "^18.2.0",
     "remark-smartypants": "^2.1.0",
diff --git a/subprojects/docs/src/css/custom.css b/subprojects/docs/src/css/custom.css
index 115d7ac9..9b839f53 100644
--- a/subprojects/docs/src/css/custom.css
+++ b/subprojects/docs/src/css/custom.css
@@ -22,19 +22,83 @@
     'Fira Code',
     monospace;
   --ifm-code-font-size: 95%;
+  --ifm-background-surface-color: #f5f5f5;
+  --refinery-outer-border-color: rgb(0 0 0 / 0.21);
+  --ifm-font-color-base: #19202b;
+  --ifm-color-content-secondary: #696c77;
+  --ifm-color-primary: #038a99;
+  --ifm-color-primary-dark: #037c8a;
+  --ifm-color-primary-darker: #037582;
+  --ifm-color-primary-darkest: #02616b;
+  --ifm-color-primary-light: #0398a8;
+  --ifm-color-primary-lighter: #039fb0;
+  --ifm-color-primary-lightest: #04b3c7;
   --docusaurus-highlighted-code-line-bg: rgba(0, 0, 0, 0.1);
+  --ifm-blockquote-color: var(--ifm-color-content-secondary);
 }
 
 [data-theme='dark'] {
   --docusaurus-highlighted-code-line-bg: rgba(0, 0, 0, 0.3);
+  --ifm-background-color: #21252b !important;
+  --ifm-background-surface-color: #282c34 !important;
+  --refinery-outer-border-color: transparent;
+  --ifm-font-color-base: #ebebff !important;
+  --ifm-color-content-secondary: #abb2bf !important;
+  --ifm-color-primary: #56b6c2;
+  --ifm-color-primary-dark: #43acb9;
+  --ifm-color-primary-darker: #3fa2af;
+  --ifm-color-primary-darkest: #348690;
+  --ifm-color-primary-light: #6bbfc9;
+  --ifm-color-primary-lighter: #75c3cd;
+  --ifm-color-primary-lightest: #94d1d8;
 }
 
-code,
-kbd {
+code {
   font-feature-settings: 'liga', 'calt';
 }
 
-.navbar__title {
-  font-weight: 500;
-  font-size: 1.25rem;
+.navbar {
+  --ifm-navbar-background-color: var(--ifm-background-surface-color) !important;
+}
+
+.navbar {
+  box-shadow: 0 1px var(--refinery-outer-border-color);
+}
+
+[data-theme='dark'] .navbar {
+  box-shadow: var(--ifm-global-shadow-lw);
+}
+
+.button, .navbar__link, .footer__link-item {
+  text-transform: uppercase;
+  font-variation-settings: 'wdth' 87.5;
+}
+
+.button, .navbar__link {
+  font-weight: 600;
+}
+
+.navbar__link--try-now {
+  margin: 0 0.5rem 0 0.25rem;
+  padding: 0.25rem 1.25rem;
+  color: var(--ifm-font-color-base-inverse);
+  background: var(--ifm-color-primary);
+  border-radius: 50em;
+  transition: background var(--ifm-button-transition-duration) var(--ifm-transition-timing-default);
+}
+
+.navbar__link--try-now:hover {
+  color: var(--ifm-font-color-base-inverse);
+  background: var(--ifm-color-primary-dark);
+}
+
+.navbar__link--try-now:active {
+  color: var(--ifm-font-color-base-inverse);
+  background: var(--ifm-color-primary-darker);
+}
+
+.footer {
+  --ifm-footer-background-color: var(--ifm-background-surface-color) !important;
+  --ifm-footer-link-color: var(--ifm-color-content-secondary) !important;
+  box-shadow: 0 -1px var(--refinery-outer-border-color);
 }
diff --git a/subprojects/docs/src/docs-api/contributing.md b/subprojects/docs/src/docs-api/contributing.md
new file mode 100644
index 00000000..4a135b81
--- /dev/null
+++ b/subprojects/docs/src/docs-api/contributing.md
@@ -0,0 +1,51 @@
+---
+SPDX-FileCopyrightText: 2021-2023 The Refinery Authors
+SPDX-License-Identifier: EPL-2.0
+sidebar_position: 1
+sidebar_label: Contributing
+---
+
+# Contributing to Refinery
+
+## Setting up the development environment
+
+### With IntelliJ IDEA
+
+We prefer IntelliJ IDEA as a development environment.
+No special preparations should be necessary for importing the project as a Gradle project into IDEA.
+
+However, you will need Eclipse to edit Xtext (`*.xtext`) and MWE2 (`*.mwe2`) files and Ecore class diagrams (`*.aird`, `*.ecore`, `*.genmodel`).
+If you do not plan on making changes to such files, feel free to skip the Eclipse installation steps below.
+
+### With Eclipse IDE
+
+1. Download and install a _Java 21_ compatible JDK. For Windows, prefer OpenJDK builds from [Adoptium](https://adoptium.net/).
+
+2. Download and extract the [Eclipse IDE for Java and DSL Developers 2023-12](https://www.eclipse.org/downloads/packages/release/2023-12/r/eclipse-ide-java-and-dsl-developers) package.
+
+3. Launch Eclipse and create a new workspace.
+
+4. Open _Help > Eclipse Marketplace_ and install the following software:
+    * _EclEmma Java Code Coverage_
+    * _EcoreTools : Ecore Diagram Editor_
+    * _Sirius_ (ignore the warning during installation about the solution _Sirius_ not being available)
+    * _SonarLint_
+
+5. Open _Window > Preferences_ and set the following preferences:
+    * _General > Workspace > Text file encoding_ should be _UTF-8_.
+    * _General > Workspace > New text file line delimiter_ should be _Unix_.
+    * Add the JDK 21 to _Java > Installed JREs_.
+    * Make sure JDK 21 is selected for _JavaSE-21_ at _Java > Installed JREs > Execution Environments_.
+    * Set _Gradle > Java home_ to the `JAVA_HOME` directory (the directory which contains the `bin` directory) of JDK 21. Here, Buildship will show a yellow warning sign, which can be safely ignored.
+    * Set _Java > Compiler > JDK Compliance > Compiler compliance level_ to _21_.
+
+6. Clone the project Git repository but do not import it into Eclipse yet.
+
+7. Open a new terminal an run `./gradlew prepareEclipse` (`.\gradlew prepareEclipse` on Windows) in the cloned repository.
+    * This should complete without any compilation errors.
+    * If you get any errors about the JVM version, check whether the `JAVA_HOME` environment variable is set to the location of JDK. You can query the variable with `echo $JAVA_HOME` on Linux and `echo $Env:JAVA_HOME` in PowerShell on Windows. To set it, use `export JAVA_HOME=/java/path/here` or `$Env:JAVA_HOME="C:\java\path\here"`, respectively.
+    * If the build fails with a `Host name must not be empty` error, you [might need to remove the empty proxy configuration from your global `gradle.properties` file](https://stackoverflow.com/a/62128323).
+
+8. Select _File > Import... > Gradle > Existing Gradle Project_ and import the cloned repository in Eclipse.
+    * Make sure to select the root of the repository (containing this file) as the _Project root directory_ and that the _Gradle distribution_ is _Gradle wrapper_.
+    * If you have previously imported the project into Eclipse, this step will likely fail. In that case, you should remove the projects from Eclipse, run `git clean -fxd` in the repository, and start over from step 8.
diff --git a/subprojects/docs/src/docs-api/index.md b/subprojects/docs/src/docs-api/index.md
new file mode 100644
index 00000000..e87407b4
--- /dev/null
+++ b/subprojects/docs/src/docs-api/index.md
@@ -0,0 +1,7 @@
+---
+SPDX-FileCopyrightText: 2024 The Refinery Authors
+SPDX-License-Identifier: EPL-2.0
+sidebar_position: 0
+---
+
+# Programming guide
diff --git a/subprojects/docs/src/docs-api/javadoc.md b/subprojects/docs/src/docs-api/javadoc.md
new file mode 100644
index 00000000..09b3e4f7
--- /dev/null
+++ b/subprojects/docs/src/docs-api/javadoc.md
@@ -0,0 +1,7 @@
+---
+SPDX-FileCopyrightText: 2024 The Refinery Authors
+SPDX-License-Identifier: EPL-2.0
+sidebar_position: 999
+---
+
+# Javadoc
diff --git a/subprojects/docs/src/docs/docker.md b/subprojects/docs/src/docs/docker.md
new file mode 100644
index 00000000..c61c1457
--- /dev/null
+++ b/subprojects/docs/src/docs/docker.md
@@ -0,0 +1,175 @@
+---
+SPDX-FileCopyrightText: 2024 The Refinery Authors
+SPDX-License-Identifier: EPL-2.0
+sidebar_position: 100
+sidebar_label: Docker
+---
+
+# Running in Docker
+
+:::note
+
+Refinery can run as a cloud-based _Graph Solver as a Service_ without local installation.
+If you're just looking to try Refinery, our [online demo](https://refinery.services/) provides a seamless experience without installation.
+
+:::
+
+:::info
+
+Installing Refinery as a Docker container can support more advanced use cases, such as when generating models with more resources or a longer timeout.
+
+:::
+
+To generate larger models with a longer timeout, you can use our [Docker container](https://github.com/graphs4value/refinery/pkgs/container/refinery) on either `amd64` or `arm64` machines:
+
+```shell
+docker run --rm -it -p 8888:8888 ghcr.io/graphs4value/refinery
+```
+
+Once Docker pulls and starts the container, you can navigate to http://localhost:8888 to open the model generation interface and start editing.
+
+Alternatively, you can follow the [instructions to set up a local development environment](/api/contributing) and compile and run Refinery from source.
+
+## Updating
+
+To take advantage of the latest updates, you can simply re-pull our Docker container from the GitHub Container Registry:
+
+```shell
+docker pull ghcr.io/graphs4value/refinery
+```
+
+Restart the container to make sure that you're running the last pulled version.
+
+## Environmental variables
+
+The Docker container supports the following environmental variables to customize its behavior.
+Customizing these variable should only be needed if you want to _increase resource limits_ or _expose you Refinery instance over the network_ for others.
+
+Notes for **local-only instances** are highlighted with the :arrow_right: arrow emoji.
+
+Important security notices for **public instances** are highlighted with the :warning: warning emoji.
+
+### Networking
+
+#### `REFINERY_LISTEN_HOST`
+
+Hostname to listen at for incoming HTTP connections.
+
+**Default value:** `0.0.0.0` (accepts connections on any IP address)
+
+#### `REFINERY_LISTEN_PORT`
+
+TCP port to listen at for incoming HTTP connections.
+
+Refinery doesn't support HTTPS connections out of the box, so there's no point in setting this to `443`. Use a [reverse proxy](https://en.wikipedia.org/wiki/Reverse_proxy) instead if you wish to expose Refinery to encrypted connections.
+
+If you change this value, don't forget to adjust the `-p 8888:8888` option of the `docker run` command to [expose](https://docs.docker.com/reference/cli/docker/container/run/#publish) the selected port.
+
+**Default value:** `8888`
+
+#### `REFINERY_PUBLIC_HOST`
+
+Publicly visible hostname of the Refinery instance.
+
+:arrow_right: For installations only accessed locally (i.e., `localhost:8888`) without any reverse proxy, you can safely leave this empty.
+
+:warning: You should set this to the publicly visible hostname of your Refinery instance if you wish to expose Refinery over the network. Most likely, this will be the hostname of a reverse proxy that terminates TLS connections. Our online demo sets this to [refinery.services](https://refinery.services/).
+
+**Default value:** _empty_
+
+#### `REFINERY_PUBLIC_PORT`
+
+Publicly visible port of the Refinery instance.
+
+:arrow_right: For installations only accessed locally (i.e., `localhost:8888`), this value is ignored because `REFINERY_PUBLC_HOST` is not set.
+
+**Default value:** `443`
+
+#### `REFINERY_ALLOWED_ORIGINS`
+
+Comma-separated list of allowed origins for incoming WebSocket connections. If this variable is empty, all incoming WebSocket connections are accepted.
+
+:arrow_right: For installations only accessed locally (i.e., `localhost:8888`) without any reverse proxy, you can safely leave this empty.
+
+:warning: The value inferred from `REFINERY_PUBLIC_HOST` and `REFINERY_PUBLIC_PORT` should be suitable for instances exposed over the network. For security reasons, public instances should never leave this empty.
+
+**Default value:** equal to `REFINERY_PUBLIC_HOST:REFINERY_PUBLIC_PORT` if they are both set, _empty_ otherwise
+
+### Timeouts
+
+#### `REFINERY_SEMANTICS_TIMEOUT_MS`
+
+Timeout for partial model semantics calculation in milliseconds.
+
+:arrow_right: Increase this if you have a slower machine and the editor times out before showing a preview of your partial model in the _Graph_ or _Table_ views.
+
+:warning: Increasing this timeout may increase server load. Excessively large timeout may allow users to overload you server by entering extremely complex partial models.
+
+**Default value:** `1000`
+
+#### `REFINERY_SEMANTICS_WARMUP_TIMEOUT_MS`
+
+Timeout for partial model semantics calculation in milliseconds when the server first start.
+
+Due to various initialization tasks, the first partial model semantics generation may take longer the `REFINERY_SEMANTICS_TIMEOUT_MS` and display a timeout error. This setting increases the timeout for the first generation, leading to seamless use even after server start (especially in auto-scaling setups).
+
+**Default value:** equal to 2 &times; `REFINERY_SEMANTICS_TIMEOUT`
+
+#### `REFINERY_MODEL_GENERATION_TIMEOUT_SEC`
+
+Timeout for model generation in seconds.
+
+:arrow_right: Adjust this value if you're generating very large models (> 10000 nodes) and need more time to complete a generation. Note that some _unsatisfiable_ model generation problems cannot be detected by Refinery and will result in model generation running for an arbitrarily long time without producing any solution.
+
+:warning: Long running model generation will block a [_model generation thread_](#refinery_model_generation_thread_count). Try to balance the number of threads and the timeout to avoid exhausting system resources, but keep the wait time for a free model generation thread for users reasonably short. Auto-scaling to multiple instances may help with bursty demand.
+
+**Default value:** `600` (10 minutes)
+
+### Threading
+
+:warning: Excessively large values may overload the server. Make sure that _all_ Refinery threads can run at the same time to avoid thread starvation.
+
+#### `REFINERY_XTEXT_THREAD_COUNT`
+
+Number of threads used for non-blocking text editing operations. A value of `0` allows an _unlimited_ number of threads by running each semantics calculation in a new thread.
+
+:warning: Excessively large values may overload the server. Make sure that _all_ Refinery threads can run at the same time to avoid thread starvation.
+
+**Default value:** `1`
+
+#### `REFINERY_XTEXT_LOCKING_THREAD_COUNT`
+
+Number of threads used for text editing operations that lock the document. A value of `0` allows an _unlimited_ number of threads by running each semantics calculation in a new thread.
+
+
+**Default value:** equal to `REFINERY_XTEXT_THREAD_COUNT`
+
+#### `REFINERY_XTEXT_SEMANTICS_THREAD_COUNT`
+
+Number of threads used for model semantics calculation. A value of `0` allows an _unlimited_ number of threads by running each semantics calculation in a new thread.
+
+Must be at least as large as `REFINERY_XTEXT_THREAD_COUNT`.
+
+:warning: Excessively large values may overload the server. Make sure that _all_ Refinery threads can run at the same time to avoid thread starvation.
+
+**Default value:** equal to `REFINERY_XTEXT_THREAD_COUNT`
+
+#### `REFINERY_MODEL_GENERATION_THREAD_COUNT`
+
+Number of threads used for model semantics calculation. A value of `0` allows an _unlimited_ number of threads by running each semantics calculation in a new thread.
+
+:warning: Excessively large values may overload the server. Make sure that _all_ Refinery threads can run at the same time to avoid thread starvation. Each model generation task may also demand a large amount of memory in addition to CPU time.
+
+**Default value:** equal to `REFINERY_XTEXT_THREAD_COUNT`
+
+### Libraries
+
+#### `REFINERY_LIBRARY_PATH`
+
+Modules (`.refinery` files) in this directory or colon-separated list of directories will be exposed to user via Refinery's `import` mechanism.
+
+:arrow_right: Use this in conjunction with the [mount volume (-v)](https://docs.docker.com/reference/cli/docker/container/run/#volume) option of `docker run` to work with multi-file projects in Refinery.
+
+:warning: Make sure you only expose files that you want to make public. It's best to expose a directory that contains nothing other that `.refinery` files to minimize potential information leaks.
+
+**Default value:** _empty_ (no directories are exposed)
diff --git a/subprojects/docs/src/docs/index.md b/subprojects/docs/src/docs/index.md
new file mode 100644
index 00000000..bb28df57
--- /dev/null
+++ b/subprojects/docs/src/docs/index.md
@@ -0,0 +1,11 @@
+---
+SPDX-FileCopyrightText: 2024 The Refinery Authors
+SPDX-License-Identifier: EPL-2.0
+sidebar_position: 0
+---
+
+# Introduction
+
+Various software and systems engineering scenarios rely on the systematic construction of consistent graph models. However, **automatically generating a diverse set of consistent graph models** for complex domain specifications is challenging. First, the graph generation problem must be specified with mathematical precision. Moreover, graph generation is a computationally complex task, which necessitates specialized logic solvers.
+
+**Refinery is a novel open-source software framework** to automatically synthesize a diverse set of consistent domain-specific graph models. The framework offers an expressive high-level specification language using partial models to succinctly formulate a wide range of graph generation challenges. It also provides a modern cloud-based architecture for a scalable _Graph Solver as a Service,_ which uses logic reasoning rules to efficiently synthesize a diverse set of solutions to graph generation problems by partial model refinement. Applications include system-level architecture synthesis, test generation for modeling tools or traffic scenario synthesis for autonomous vehicles.
diff --git a/subprojects/docs/src/docs/language/_category_.yml b/subprojects/docs/src/docs/language/_category_.yml
new file mode 100644
index 00000000..7060edf3
--- /dev/null
+++ b/subprojects/docs/src/docs/language/_category_.yml
@@ -0,0 +1,10 @@
+# SPDX-FileCopyrightText: 2024 The Refinery Authors
+#
+# SPDX-License-Identifier: EPL-2.0
+
+position: 2
+label: Language reference
+link:
+  type: generated-index
+  slug: /category/language
+  description: Learn more about the Refinery partial modeling language!
diff --git a/subprojects/docs/src/docs/language/classes.md b/subprojects/docs/src/docs/language/classes.md
new file mode 100644
index 00000000..aa569870
--- /dev/null
+++ b/subprojects/docs/src/docs/language/classes.md
@@ -0,0 +1,8 @@
+---
+SPDX-FileCopyrightText: 2024 The Refinery Authors
+SPDX-License-Identifier: EPL-2.0
+description: Metamodeling in Refinery
+sidebar_position: 0
+---
+
+# Classes and references
diff --git a/subprojects/docs/src/docs/tutorials/_category_.yml b/subprojects/docs/src/docs/tutorials/_category_.yml
new file mode 100644
index 00000000..25a06d98
--- /dev/null
+++ b/subprojects/docs/src/docs/tutorials/_category_.yml
@@ -0,0 +1,10 @@
+# SPDX-FileCopyrightText: 2024 The Refinery Authors
+#
+# SPDX-License-Identifier: EPL-2.0
+
+position: 1
+label: Tutorials
+link:
+  type: generated-index
+  title: Tutorial overview
+  description: Try Refinery in practical partial modeling challenges!
diff --git a/subprojects/docs/src/docs/tutorials/file-system.md b/subprojects/docs/src/docs/tutorials/file-system.md
new file mode 100644
index 00000000..aed1cd87
--- /dev/null
+++ b/subprojects/docs/src/docs/tutorials/file-system.md
@@ -0,0 +1,9 @@
+---
+SPDX-FileCopyrightText: 2023-2024 The Refinery Authors
+SPDX-License-Identifier: EPL-2.0
+description: Introduction to classes, references, and error predicates
+sidebar_position: 0
+sidebar_label: File system
+---
+
+# File system tutorial
diff --git a/subprojects/docs/src/pages/index.module.css b/subprojects/docs/src/pages/index.module.css
new file mode 100644
index 00000000..a86689d1
--- /dev/null
+++ b/subprojects/docs/src/pages/index.module.css
@@ -0,0 +1,11 @@
+/*
+ * SPDX-FileCopyrightText: 2024 The Refinery Authors
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
+
+.buttons {
+  display: flex;
+  flex-direction: row;
+  gap: 1rem;
+}
diff --git a/subprojects/docs/src/pages/index.tsx b/subprojects/docs/src/pages/index.tsx
index 256d12ac..632ee3d6 100644
--- a/subprojects/docs/src/pages/index.tsx
+++ b/subprojects/docs/src/pages/index.tsx
@@ -4,16 +4,42 @@
  * SPDX-License-Identifier: EPL-2.0
  */
 
+import Link from '@docusaurus/Link';
 import Layout from '@theme/Layout';
 
+import styles from './index.module.css';
+
 export default function Home() {
   return (
     <Layout>
-      <div className="hero hero--dark">
+      <header className="hero hero--dark">
         <div className="container">
           <h1 className="hero__title">Refinery</h1>
+          <p className="hero__subtitle">
+            An efficient graph solver for generating well-formed models
+          </p>
+          <div className={styles['buttons']}>
+            <Link
+              href="https://refinery.services/"
+              className="button button--lg button--primary"
+            >
+              Try online
+            </Link>
+            <Link
+              to="/docs/docker"
+              className="button button--lg button--secondary"
+            >
+              Try in Docker
+            </Link>
+            <Link
+              to="/docs/tutorials/file-system"
+              className="button button--lg button--secondary"
+            >
+              Tutorial
+            </Link>
+          </div>
         </div>
-      </div>
+      </header>
     </Layout>
   );
 }
diff --git a/subprojects/docs/src/pages/license.md b/subprojects/docs/src/pages/license.md
new file mode 100644
index 00000000..3ce07e47
--- /dev/null
+++ b/subprojects/docs/src/pages/license.md
@@ -0,0 +1,100 @@
+---
+SPDX-FileCopyrightText: 2017, Eclipse.org Foundation, Inc.
+SPDX-License-Identifier: LicenseRef-EPL-Steward
+title: License
+---
+
+# Eclipse Public License - v 2.0
+
+THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS ECLIPSE PUBLIC LICENSE (“AGREEMENT”). ANY USE, REPRODUCTION OR DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT'S ACCEPTANCE OF THIS AGREEMENT.
+
+## 1. DEFINITIONS
+
+“Contribution” means:
+
+    * a) in the case of the initial Contributor, the initial content Distributed under this Agreement, and
+    * b) in the case of each subsequent Contributor:
+        * i) changes to the Program, and
+        * ii) additions to the Program;
+    where such changes and/or additions to the Program originate from and are Distributed by that particular Contributor. A Contribution “originates” from a Contributor if it was added to the Program by such Contributor itself or anyone acting on such Contributor's behalf. Contributions do not include changes or additions to the Program that are not Modified Works.
+
+“Contributor” means any person or entity that Distributes the Program.
+
+“Licensed Patents” mean patent claims licensable by a Contributor which are necessarily infringed by the use or sale of its Contribution alone or when combined with the Program.
+
+“Program” means the Contributions Distributed in accordance with this Agreement.
+
+“Recipient” means anyone who receives the Program under this Agreement or any Secondary License (as applicable), including Contributors.
+
+“Derivative Works” shall mean any work, whether in Source Code or other form, that is based on (or derived from) the Program and for which the editorial revisions, annotations, elaborations, or other modifications represent, as a whole, an original work of authorship.
+
+“Modified Works” shall mean any work in Source Code or other form that results from an addition to, deletion from, or modification of the contents of the Program, including, for purposes of clarity any new file in Source Code form that contains any contents of the Program. Modified Works shall not include works that contain only declarations, interfaces, types, classes, structures, or files of the Program solely in each case in order to link to, bind by name, or subclass the Program or Modified Works thereof.
+
+“Distribute” means the acts of a) distributing or b) making available in any manner that enables the transfer of a copy.
+
+“Source Code” means the form of a Program preferred for making modifications, including but not limited to software source code, documentation source, and configuration files.
+
+“Secondary License” means either the GNU General Public License, Version 2.0, or any later versions of that license, including any exceptions or additional permissions as identified by the initial Contributor.
+
+## 2. GRANT OF RIGHTS
+
+    * a) Subject to the terms of this Agreement, each Contributor hereby grants Recipient a non-exclusive, worldwide, royalty-free copyright license to reproduce, prepare Derivative Works of, publicly display, publicly perform, Distribute and sublicense the Contribution of such Contributor, if any, and such Derivative Works.
+    * b) Subject to the terms of this Agreement, each Contributor hereby grants Recipient a non-exclusive, worldwide, royalty-free patent license under Licensed Patents to make, use, sell, offer to sell, import and otherwise transfer the Contribution of such Contributor, if any, in Source Code or other form. This patent license shall apply to the combination of the Contribution and the Program if, at the time the Contribution is added by the Contributor, such addition of the Contribution causes such combination to be covered by the Licensed Patents. The patent license shall not apply to any other combinations which include the Contribution. No hardware per se is licensed hereunder.
+    * c) Recipient understands that although each Contributor grants the licenses to its Contributions set forth herein, no assurances are provided by any Contributor that the Program does not infringe the patent or other intellectual property rights of any other entity. Each Contributor disclaims any liability to Recipient for claims brought by any other entity based on infringement of intellectual property rights or otherwise. As a condition to exercising the rights and licenses granted hereunder, each Recipient hereby assumes sole responsibility to secure any other intellectual property rights needed, if any. For example, if a third party patent license is required to allow Recipient to Distribute the Program, it is Recipient's responsibility to acquire that license before distributing the Program.
+    * d) Each Contributor represents that to its knowledge it has sufficient copyright rights in its Contribution, if any, to grant the copyright license set forth in this Agreement.
+    * e) Notwithstanding the terms of any Secondary License, no Contributor makes additional grants to any Recipient (other than those set forth in this Agreement) as a result of such Recipient's receipt of the Program under the terms of a Secondary License (if permitted under the terms of Section 3).
+
+## 3. REQUIREMENTS
+
+3.1 If a Contributor Distributes the Program in any form, then:
+
+    * a) the Program must also be made available as Source Code, in accordance with section 3.2, and the Contributor must accompany the Program with a statement that the Source Code for the Program is available under this Agreement, and informs Recipients how to obtain it in a reasonable manner on or through a medium customarily used for software exchange; and
+    * b) the Contributor may Distribute the Program under a license different than this Agreement, provided that such license:
+        * i) effectively disclaims on behalf of all other Contributors all warranties and conditions, express and implied, including warranties or conditions of title and non-infringement, and implied warranties or conditions of merchantability and fitness for a particular purpose;
+        * ii) effectively excludes on behalf of all other Contributors all liability for damages, including direct, indirect, special, incidental and consequential damages, such as lost profits;
+        * iii) does not attempt to limit or alter the recipients' rights in the Source Code under section 3.2; and
+        * iv) requires any subsequent distribution of the Program by any party to be under a license that satisfies the requirements of this section 3.
+
+3.2 When the Program is Distributed as Source Code:
+
+    * a) it must be made available under this Agreement, or if the Program (i) is combined with other material in a separate file or files made available under a Secondary License, and (ii) the initial Contributor attached to the Source Code the notice described in Exhibit A of this Agreement, then the Program may be made available under the terms of such Secondary Licenses, and
+    * b) a copy of this Agreement must be included with each copy of the Program.
+
+3.3 Contributors may not remove or alter any copyright, patent, trademark, attribution notices, disclaimers of warranty, or limitations of liability (‘notices’) contained within the Program from any copy of the Program which they Distribute, provided that Contributors may add their own appropriate notices.
+
+## 4. COMMERCIAL DISTRIBUTION
+
+Commercial distributors of software may accept certain responsibilities with respect to end users, business partners and the like. While this license is intended to facilitate the commercial use of the Program, the Contributor who includes the Program in a commercial product offering should do so in a manner which does not create potential liability for other Contributors. Therefore, if a Contributor includes the Program in a commercial product offering, such Contributor (“Commercial Contributor”) hereby agrees to defend and indemnify every other Contributor (“Indemnified Contributor”) against any losses, damages and costs (collectively “Losses”) arising from claims, lawsuits and other legal actions brought by a third party against the Indemnified Contributor to the extent caused by the acts or omissions of such Commercial Contributor in connection with its distribution of the Program in a commercial product offering. The obligations in this section do not apply to any claims or Losses relating to any actual or alleged intellectual property infringement. In order to qualify, an Indemnified Contributor must: a) promptly notify the Commercial Contributor in writing of such claim, and b) allow the Commercial Contributor to control, and cooperate with the Commercial Contributor in, the defense and any related settlement negotiations. The Indemnified Contributor may participate in any such claim at its own expense.
+
+For example, a Contributor might include the Program in a commercial product offering, Product X. That Contributor is then a Commercial Contributor. If that Commercial Contributor then makes performance claims, or offers warranties related to Product X, those performance claims and warranties are such Commercial Contributor's responsibility alone. Under this section, the Commercial Contributor would have to defend claims against the other Contributors related to those performance claims and warranties, and if a court requires any other Contributor to pay any damages as a result, the Commercial Contributor must pay those damages.
+
+## 5. NO WARRANTY
+
+EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, AND TO THE EXTENT PERMITTED BY APPLICABLE LAW, THE PROGRAM IS PROVIDED ON AN “AS IS” BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION, ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely responsible for determining the appropriateness of using and distributing the Program and assumes all risks associated with its exercise of rights under this Agreement, including but not limited to the risks and costs of program errors, compliance with applicable laws, damage to or loss of data, programs or equipment, and unavailability or interruption of operations.
+
+## 6. DISCLAIMER OF LIABILITY
+
+EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, AND TO THE EXTENT PERMITTED BY APPLICABLE LAW, NEITHER RECIPIENT NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
+
+## 7. GENERAL
+
+If any provision of this Agreement is invalid or unenforceable under applicable law, it shall not affect the validity or enforceability of the remainder of the terms of this Agreement, and without further action by the parties hereto, such provision shall be reformed to the minimum extent necessary to make such provision valid and enforceable.
+
+If Recipient institutes patent litigation against any entity (including a cross-claim or counterclaim in a lawsuit) alleging that the Program itself (excluding combinations of the Program with other software or hardware) infringes such Recipient's patent(s), then such Recipient's rights granted under Section 2(b) shall terminate as of the date such litigation is filed.
+
+All Recipient's rights under this Agreement shall terminate if it fails to comply with any of the material terms or conditions of this Agreement and does not cure such failure in a reasonable period of time after becoming aware of such noncompliance. If all Recipient's rights under this Agreement terminate, Recipient agrees to cease use and distribution of the Program as soon as reasonably practicable. However, Recipient's obligations under this Agreement and any licenses granted by Recipient relating to the Program shall continue and survive.
+
+Everyone is permitted to copy and distribute copies of this Agreement, but in order to avoid inconsistency the Agreement is copyrighted and may only be modified in the following manner. The Agreement Steward reserves the right to publish new versions (including revisions) of this Agreement from time to time. No one other than the Agreement Steward has the right to modify this Agreement. The Eclipse Foundation is the initial Agreement Steward. The Eclipse Foundation may assign the responsibility to serve as the Agreement Steward to a suitable separate entity. Each new version of the Agreement will be given a distinguishing version number. The Program (including Contributions) may always be Distributed subject to the version of the Agreement under which it was received. In addition, after a new version of the Agreement is published, Contributor may elect to Distribute the Program (including its Contributions) under the new version.
+
+Except as expressly stated in Sections 2(a) and 2(b) above, Recipient receives no rights or licenses to the intellectual property of any Contributor under this Agreement, whether expressly, by implication, estoppel or otherwise. All rights in the Program not expressly granted under this Agreement are reserved. Nothing in this Agreement is intended to be enforceable by any entity that is not a Contributor or Recipient. No third-party beneficiary rights are created under this Agreement.
+
+## Exhibit A – Form of Secondary Licenses Notice
+
+“This Source Code may also be made available under the following Secondary Licenses when the conditions for such availability set forth in the Eclipse Public License, v. 2.0 are satisfied: \{name license(s), version(s), and exceptions or additional permissions here\}.”
+
+> Simply including a copy of this Agreement, including this Exhibit A is not sufficient to license the Source Code under Secondary Licenses.
+>
+> If it is not possible or desirable to put the notice in a particular file, then You may include the notice in a location (such as a LICENSE file in a relevant directory) where a recipient would be likely to look for such a notice.
+>
+> You may add additional accurate notices of copyright ownership.
+
diff --git a/subprojects/docs/static/apple-touch-icon.png b/subprojects/docs/static/apple-touch-icon.png
new file mode 100644
index 00000000..de8549e7
--- /dev/null
+++ b/subprojects/docs/static/apple-touch-icon.png
diff --git a/subprojects/frontend/public/mask-icon.svg.license b/subprojects/docs/static/apple-touch-icon.png.license
index e5db6ccd..e5db6ccd 100644
--- a/subprojects/frontend/public/mask-icon.svg.license
+++ b/subprojects/docs/static/apple-touch-icon.png.license
diff --git a/subprojects/docs/static/favicon-96x96.png b/subprojects/docs/static/favicon-96x96.png
new file mode 100644
index 00000000..353fe18a
--- /dev/null
+++ b/subprojects/docs/static/favicon-96x96.png
diff --git a/subprojects/docs/static/favicon-96x96.png.license b/subprojects/docs/static/favicon-96x96.png.license
new file mode 100644
index 00000000..e5db6ccd
--- /dev/null
+++ b/subprojects/docs/static/favicon-96x96.png.license
@@ -0,0 +1,3 @@
+SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
diff --git a/subprojects/docs/static/favicon.png b/subprojects/docs/static/favicon.png
new file mode 100644
index 00000000..18e67636
--- /dev/null
+++ b/subprojects/docs/static/favicon.png
diff --git a/subprojects/docs/static/favicon.png.license b/subprojects/docs/static/favicon.png.license
new file mode 100644
index 00000000..e5db6ccd
--- /dev/null
+++ b/subprojects/docs/static/favicon.png.license
@@ -0,0 +1,3 @@
+SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
diff --git a/subprojects/docs/static/favicon.svg b/subprojects/docs/static/favicon.svg
new file mode 100644
index 00000000..b5d1d217
--- /dev/null
+++ b/subprojects/docs/static/favicon.svg
@@ -0,0 +1 @@
+<svg width="512" height="512" xmlns="http://www.w3.org/2000/svg"><style>@media(prefers-color-scheme:dark){#a{fill:#ebebff}#b{fill:#56b6c2}}</style><path d="M447.98 179.335c-139.95-9.583-301.272-50.91-384-147.336v46.117C98.45 129.623 209.442 178.137 294.243 199.1c-84.796 20.963-195.791 69.476-230.265 120.985v46.117c82.73-96.422 244.053-137.752 384.002-147.334z" fill="#35373e" id="a"/><path d="M447.98 296.729c-113.755 4.192-287.485 40.727-384 136.557v46.716c95.14-103.612 279.898-137.754 384-143.745z" fill="#038a99" id="b"/></svg>
diff --git a/subprojects/docs/static/favicon.svg.license b/subprojects/docs/static/favicon.svg.license
new file mode 100644
index 00000000..e5db6ccd
--- /dev/null
+++ b/subprojects/docs/static/favicon.svg.license
@@ -0,0 +1,3 @@
+SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
diff --git a/subprojects/docs/static/icon-192x192.png b/subprojects/docs/static/icon-192x192.png
new file mode 100644
index 00000000..7c04fb37
--- /dev/null
+++ b/subprojects/docs/static/icon-192x192.png
diff --git a/subprojects/docs/static/icon-192x192.png.license b/subprojects/docs/static/icon-192x192.png.license
new file mode 100644
index 00000000..e5db6ccd
--- /dev/null
+++ b/subprojects/docs/static/icon-192x192.png.license
@@ -0,0 +1,3 @@
+SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
diff --git a/subprojects/docs/static/icon-512x512.png b/subprojects/docs/static/icon-512x512.png
new file mode 100644
index 00000000..40c602c0
--- /dev/null
+++ b/subprojects/docs/static/icon-512x512.png
diff --git a/subprojects/docs/static/icon-512x512.png.license b/subprojects/docs/static/icon-512x512.png.license
new file mode 100644
index 00000000..e5db6ccd
--- /dev/null
+++ b/subprojects/docs/static/icon-512x512.png.license
@@ -0,0 +1,3 @@
+SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
diff --git a/subprojects/docs/static/icon-any.svg b/subprojects/docs/static/icon-any.svg
new file mode 100644
index 00000000..3f6517b3
--- /dev/null
+++ b/subprojects/docs/static/icon-any.svg
@@ -0,0 +1 @@
+<svg width="512" height="512" xmlns="http://www.w3.org/2000/svg"><path d="M0 0h512v512H0z" fill="#21252b"/><path d="M387.985 218.608c-96.215-6.674-207.125-35.454-264-102.609v32.118c23.698 35.87 100.005 69.657 158.306 84.257-58.297 14.599-134.606 48.385-158.307 84.258v32.117c56.876-67.153 167.786-95.936 264-102.609zm0 81.752c-78.207 2.92-197.646 28.364-264 95.103v32.535c65.409-72.159 192.43-95.936 264-100.108z" fill="#181a1f"/><path d="M387.985 202.606c-96.215-6.674-207.125-35.455-264-102.609v32.117c23.698 35.871 100.005 69.658 158.306 84.258-58.297 14.599-134.606 48.384-158.307 84.257v32.117c56.876-67.152 167.786-95.935 264-102.608z" fill="#ebebff"/><path d="M387.985 284.362c-78.207 2.92-197.646 28.364-264 95.103v32.534c65.409-72.158 192.43-95.936 264-100.108z" fill="#56b6c2"/></svg>
\ No newline at end of file
diff --git a/subprojects/docs/static/icon-any.svg.license b/subprojects/docs/static/icon-any.svg.license
new file mode 100644
index 00000000..e5db6ccd
--- /dev/null
+++ b/subprojects/docs/static/icon-any.svg.license
@@ -0,0 +1,3 @@
+SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
diff --git a/subprojects/docs/static/logo-dark.svg b/subprojects/docs/static/logo-dark.svg
new file mode 100644
index 00000000..8f9af60d
--- /dev/null
+++ b/subprojects/docs/static/logo-dark.svg
@@ -0,0 +1 @@
+<svg width="512" height="512" xmlns="http://www.w3.org/2000/svg"><path d="M447.98 179.335c-139.95-9.583-301.272-50.91-384-147.336v46.117C98.45 129.623 209.442 178.137 294.243 199.1c-84.796 20.963-195.791 69.476-230.265 120.985v46.117c82.73-96.422 244.053-137.752 384.002-147.334z" fill="#ebebff" id="a"/><path d="M447.98 296.729c-113.755 4.192-287.485 40.727-384 136.557v46.716c95.14-103.612 279.898-137.754 384-143.745z" fill="#56b6c2" id="b"/></svg>
diff --git a/subprojects/docs/static/logo-dark.svg.license b/subprojects/docs/static/logo-dark.svg.license
new file mode 100644
index 00000000..a73a3364
--- /dev/null
+++ b/subprojects/docs/static/logo-dark.svg.license
@@ -0,0 +1,3 @@
+SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
diff --git a/subprojects/docs/static/logo.svg b/subprojects/docs/static/logo.svg
new file mode 100644
index 00000000..43d302e3
--- /dev/null
+++ b/subprojects/docs/static/logo.svg
@@ -0,0 +1 @@
+<svg width="512" height="512" xmlns="http://www.w3.org/2000/svg"><path d="M447.98 179.335c-139.95-9.583-301.272-50.91-384-147.336v46.117C98.45 129.623 209.442 178.137 294.243 199.1c-84.796 20.963-195.791 69.476-230.265 120.985v46.117c82.73-96.422 244.053-137.752 384.002-147.334z" fill="#35373e" id="a"/><path d="M447.98 296.729c-113.755 4.192-287.485 40.727-384 136.557v46.716c95.14-103.612 279.898-137.754 384-143.745z" fill="#038a99" id="b"/></svg>
diff --git a/subprojects/docs/static/logo.svg.license b/subprojects/docs/static/logo.svg.license
new file mode 100644
index 00000000..a73a3364
--- /dev/null
+++ b/subprojects/docs/static/logo.svg.license
@@ -0,0 +1,3 @@
+SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
diff --git a/subprojects/frontend/public/mask-icon.svg b/subprojects/docs/static/mask-icon.svg
index 86052c6e..86052c6e 100644
--- a/subprojects/frontend/public/mask-icon.svg
+++ b/subprojects/docs/static/mask-icon.svg
diff --git a/subprojects/docs/static/mask-icon.svg.license b/subprojects/docs/static/mask-icon.svg.license
new file mode 100644
index 00000000..e5db6ccd
--- /dev/null
+++ b/subprojects/docs/static/mask-icon.svg.license
@@ -0,0 +1,3 @@
+SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+
+SPDX-License-Identifier: EPL-2.0
diff --git a/subprojects/frontend/index.html b/subprojects/frontend/index.html
index 8992d538..e4271aad 100644
--- a/subprojects/frontend/index.html
+++ b/subprojects/frontend/index.html
@@ -14,7 +14,6 @@
     <link rel="icon" href="/favicon.png" type="image/png" sizes="32x32">
     <link rel="icon" href="/favicon-96x96.png" type="image/png" sizes="96x96">
     <link rel="apple-touch-icon" href="/apple-touch-icon.png" type="image/png" sizes="180x180">
-    <link rel="mask-icon" href="/mask-icon.svg" type="image/svg+xml" color="#038a99">
     <meta name="theme-color" media="(prefers-color-scheme:light)" content="#f5f5f5">
     <meta name="theme-color" media="(prefers-color-scheme:dark)" content="#21252b">
     <style>
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/ThreadPoolExecutorServiceProvider.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/ThreadPoolExecutorServiceProvider.java
index ff8f4943..77579f8e 100644
--- a/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/ThreadPoolExecutorServiceProvider.java
+++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/ThreadPoolExecutorServiceProvider.java
@@ -60,9 +60,9 @@ public class ThreadPoolExecutorServiceProvider extends ExecutorServiceProvider {
         }
 
         public ThreadPoolExecutorServiceProvider() {
-                executorThreadCount = getCount("REFINERY_XTEXT_THREAD_COUNT").orElse(0);
+                executorThreadCount = getCount("REFINERY_XTEXT_THREAD_COUNT").orElse(1);
                 lockExecutorThreadCount = getCount("REFINERY_XTEXT_LOCKING_THREAD_COUNT").orElse(executorThreadCount);
-                int semanticsCount = getCount("REFINERY_XTEXT_SEMANTICS_THREAD_COUNT").orElse(0);
+                int semanticsCount = getCount("REFINERY_XTEXT_SEMANTICS_THREAD_COUNT").orElse(executorThreadCount);
                 if (semanticsCount == 0 || executorThreadCount == 0) {
                         semanticsExecutorThreadCount = 0;
                 } else {