diff --git a/hloglang/theme.css b/hloglang/theme.css
new file mode 100644
index 0000000..84c3000
--- /dev/null
+++ b/hloglang/theme.css
@@ -0,0 +1,45 @@
+body {
+    background-color:rgb(2,1,43);
+    color:#CCC;
+    width:auto;
+    max-width:80ch;
+    margin-left:auto;
+    margin-right:auto;
+    font-family:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, Courier, monospace;
+    font-size:1.5rem;
+    line-height:1.6;
+}
+lime {
+    color:lime;
+}
+green {
+    color:green;
+    font-weight:bold;
+}
+magenta {
+    color:magenta;
+    font-weight:bold;
+}
+st {
+    color:#cc9933;
+    font-weight:bold;
+}
+tv {
+    color:#2050FF;
+    font-weight:bold;
+}
+c {
+    color: lime;
+    font-weight:bold;
+}
+
+cm {
+    color: #FFFF60;
+    font-weight:bold;
+}
+unl {
+    text-decoration: underline; 
+}
+hr {
+    color: purple;
+}
\ No newline at end of file
diff --git a/hloglang/words.html b/hloglang/words.html
new file mode 100644
index 0000000..973b7ed
--- /dev/null
+++ b/hloglang/words.html
@@ -0,0 +1,55 @@
+<html>
+    <head>
+        <title>unnamed conlang</title>
+        <link rel="stylesheet" href="./theme.css">
+    </head>
+    <body>
+        <p>Hi. This is my conlang.</p>
+        <p>There are a few types of words as of now.</p>
+        <hr />
+        <h2>Truth values</h2>
+        <p>
+            <tv>Truth values</tv> are an intrinsic property of <st>statements</st>.
+        </p>
+        <p>
+            For example, the truth value of the statement <green>"if x is true, then x"</green> is <tv>true</tv></b>.
+        </p>
+        <ul>
+            <li><tv>astal</tv>: true</li>
+            <li><tv>ikest</tv>: false</li>
+            <li><tv>yupen</tv>: paradoxical</li>
+            <li><tv>altro</tv>: unknown</li>
+        </ul>
+        <h3>"Paradoxical"</h3>
+        <p>This is the truth value of statements like <green>"this statement is false"</green> and such.</p>
+        <h3>"Unknown"</h3>
+        <p>This is the truth value of statements where there is not enough information to deduce a truth value, like <green>"x is true"</green>.</p>
+        <hr />
+        <h2>Statements</h2>
+            <p>
+                A <st>statement</st> is a fact, like <green>"at least one thing exists"</green>.
+            </p>
+            <p>
+                A statement generally has a <tv>truth value</tv>. It consists of <c>concepts</c> and <st>other statements</st>, primarily. Statements are what is fundamentally communicated.
+            </p>
+            <p>
+                Stating a statement implicitly implies that it is <tv>true</tv>.
+            </p>
+            <ul>
+                <li><st>lontra</st>: <c>x1</c> exists</li>
+                <li><st>lontro</st>: <c>x1</c> exists at time/location <c>x2</c></li>
+                <li><st>ixtri</st>: <c>x1</c> has truth value <tv>x2</tv></li>
+                <li><st>ixtra</st>: <c>x2</c> has truth value <tv>x1</tv></li>
+            </ul>
+            <h3>Example</h3>
+            <p>
+                <st>lontra</st> <cm>klastra</cm> <c>anapios</c>: <green>a bee exists</green>
+            </p>
+            <p>
+                <st>lontra</st> indicates <c>x1</c> exists. <c>x1</c> is <cm>klastra</cm> <c>anapios</c>,
+                where <cm>klastra</cm> is a content modifier meaning "a nonspecific <c>x1</c>".
+                As a result, <cm>klastra</cm> <c>anapios</c> is "an <cm>anapios</cm>", which is a bee. So, <green>a bee exists</green>.
+            </p>
+        <hr />
+    </body>
+</html>
\ No newline at end of file
