diff options
| author |  Oszkár Semeráth <semerath@mit.bme.hu> | 2023-07-24 14:37:16 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2023-07-24 14:37:16 +0200 |
| commit | 8789304690384d19ad829286560aec5ed0917976 (patch) | |
| tree | b157e78e8b6a3f2fb3d0eee6e1aa10d2c16e0204 /subprojects/frontend/index.html | |
| parent | decreasing steps in fast fuzz tests (diff) | |
| parent | Merge pull request #27 from kris7t/ordered-result-set (diff) | |
| download | refinery-8789304690384d19ad829286560aec5ed0917976.tar.gz refinery-8789304690384d19ad829286560aec5ed0917976.tar.zst refinery-8789304690384d19ad829286560aec5ed0917976.zip | |
Merge branch 'graphs4value:main' into datastructure
Diffstat (limited to 'subprojects/frontend/index.html')
| -rw-r--r-- | subprojects/frontend/index.html | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/subprojects/frontend/index.html b/subprojects/frontend/index.html index 8b6814eb..1bf3472e 100644 --- a/subprojects/frontend/index.html +++ b/subprojects/frontend/index.html | |||
| @@ -1,4 +1,9 @@ | |||
| 1 | <!DOCTYPE html> | 1 | <!DOCTYPE html> |
| 2 | <!-- | ||
| 3 | SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/> | ||
| 4 | |||
| 5 | SPDX-License-Identifier: EPL-2.0 | ||
| 6 | --> | ||
| 2 | <html lang="en-US"> | 7 | <html lang="en-US"> |
| 3 | <head> | 8 | <head> |
| 4 | <meta charset="utf-8"> | 9 | <meta charset="utf-8"> |
| @@ -13,9 +18,9 @@ | |||
| 13 | <meta name="theme-color" media="(prefers-color-scheme:light)" content="#f5f5f5"> | 18 | <meta name="theme-color" media="(prefers-color-scheme:light)" content="#f5f5f5"> |
| 14 | <meta name="theme-color" media="(prefers-color-scheme:dark)" content="#21252b"> | 19 | <meta name="theme-color" media="(prefers-color-scheme:dark)" content="#21252b"> |
| 15 | <style> | 20 | <style> |
| 16 | @import '@fontsource/inter/variable.css'; | 21 | @import '@fontsource-variable/inter/wght.css'; |
| 17 | @import '@fontsource/jetbrains-mono/variable.css'; | 22 | @import '@fontsource-variable/jetbrains-mono/wght.css'; |
| 18 | @import '@fontsource/jetbrains-mono/variable-italic.css'; | 23 | @import '@fontsource-variable/jetbrains-mono/wght-italic.css'; |
| 19 | </style> | 24 | </style> |
| 20 | </head> | 25 | </head> |
| 21 | <body> | 26 | <body> |