diff --git a/src/components/InlineEditor.astro b/src/components/CodeSnippet.astro
similarity index 90%
rename from src/components/InlineEditor.astro
rename to src/components/CodeSnippet.astro
index 906072f..77d7791 100644
--- a/src/components/InlineEditor.astro
+++ b/src/components/CodeSnippet.astro
@@ -21,8 +21,8 @@ const theme = {
};
---
-
-
+
diff --git a/src/pages/index.astro b/src/pages/index.astro
index 0bf19ca..9388a4f 100644
--- a/src/pages/index.astro
+++ b/src/pages/index.astro
@@ -1,6 +1,6 @@
---
import Layout from "../layouts/Layout.astro";
-import InlineEditor from "../components/InlineEditor.astro";
+import CodeSnippet from "../components/CodeSnippet.astro";
import Carousel from "../components/Carousel.astro";
import {
httpExample,
@@ -80,7 +80,7 @@ const vscodeSlides = [
-
+
@@ -102,13 +102,13 @@ const vscodeSlides = [
-
+
-
+
@@ -138,13 +138,13 @@ const vscodeSlides = [
-
+
-
+
@@ -191,7 +191,7 @@ const vscodeSlides = [
-
+
@@ -220,13 +220,13 @@ const vscodeSlides = [
-
+
-
+
@@ -273,13 +273,13 @@ const vscodeSlides = [
-
+
-
+
@@ -323,13 +323,13 @@ const vscodeSlides = [
-
+
-
+
@@ -370,13 +370,13 @@ const vscodeSlides = [
-
+
-
+
@@ -417,13 +417,13 @@ const vscodeSlides = [
-
+
-
+
@@ -461,7 +461,7 @@ const vscodeSlides = [
-
+
@@ -478,7 +478,7 @@ const vscodeSlides = [
makes it simple and elegant to express many fixpoint problems
(including various graph reachability problems):
-
+
Datalog constraints are first-class which means that they may
be passed to and returned from functions, stored in data structures,
@@ -523,7 +523,7 @@ const vscodeSlides = [
-
+
diff --git a/src/styles/global.css b/src/styles/global.css
index a485bdd..7ff09de 100644
--- a/src/styles/global.css
+++ b/src/styles/global.css
@@ -57,19 +57,19 @@ p:last-child {
font-size: 1.35rem;
}
-.inline-editor-frame {
+.code-snippet-frame {
margin-top: 1em;
margin-bottom: 1.5em;
}
-.inline-editor-code {
+.code-snippet-code {
padding: 1em 1.75em;
background-color: #f7f7f7;
overflow-x: auto;
}
-.inline-editor-code pre,
-.inline-editor-code code {
+.code-snippet-code pre,
+.code-snippet-code code {
font-size: 12px;
font-family:
Monaco, Menlo, "Ubuntu Mono", Consolas, "Source Code Pro",
@@ -77,7 +77,7 @@ p:last-child {
line-height: 14px;
}
-.inline-editor-code pre {
+.code-snippet-code pre {
margin: 0;
background: transparent !important;
}