From: Thomas Walker Lynch Date: Wed, 14 Jan 2026 10:38:57 +0000 (+0000) Subject: v0.2 document style update X-Git-Url: https://git.reasoningtechnology.com/style/RT_code.js?a=commitdiff_plain;h=c2160dcaaaf10a5e8a7db8390f55663950218b4f;p=Epimetheus%2F.git v0.2 document style update --- diff --git a/developer/document/Epimetheus.html b/developer/document/Epimetheus.html index 75e3026..ea2c834 100644 --- a/developer/document/Epimetheus.html +++ b/developer/document/Epimetheus.html @@ -12,21 +12,25 @@ -

Given

+

Assumptions and Terms

+ +

Given

The English language is a given, apparently.

This discussion happens to appear in the context of a Python language implementation, though it applies equally as well to other languages.

-

Symbol

-

Definition

+

Symbol

+

Definition

We have a symbol instance factory. Each time the make method on the factory is called, the factory returns an instance of a distinct symbol.

+

In shock

+

A symbol instance may be copied as though it were an integer. Thus, a common method for making a copy is assignment, e.g., @@ -60,7 +64,7 @@ incremented, added, nor subtracted, etc.

-

Distinctness Across Contexts

+

Distinctness Across Contexts

If a symbol persists across contexts, such as across scopes or processes, it must remain distinct from all other symbols as it enters into those @@ -73,8 +77,8 @@ the process it was made in.

-

Object

-

Definition

+

Object

+

Definition

The term "Python object" refers to anything that can or could appear in Python code and could be associated with a symbol. This @@ -87,8 +91,8 @@ via said key.

-

Path

-

Individual Path

+

Path

+

Individual Path

In the TTCA, we provided a formal definition for a "tape." A tape has a leftmost cell, one or more "in-between" cells, and a rightmost cell. @@ -114,7 +118,7 @@ would find "the way," if it exists, to be another tape.

-

Discrete Function

+

Discrete Function

Consider another tape where each cell holds a path. If we compare all paths on said tape and find that no two identical "ways" lead to diff --git a/developer/document/style/article_tech_ref.js b/developer/document/style/article_tech_ref.js index 348d8e0..e04cc98 100644 --- a/developer/document/style/article_tech_ref.js +++ b/developer/document/style/article_tech_ref.js @@ -14,7 +14,7 @@ RT.config.article = { font_family: '"Noto Sans", "Segoe UI", "Helvetica Neue", sans-serif' ,line_height: "1.8" // Generous spacing for screen reading - ,font_size: "18px" // Large base size for clarity + ,font_size: "16px" // Large base size for clarity ,max_width: "820px" ,margin: "0 auto" }; @@ -51,39 +51,50 @@ /* --- HEADERS --- */ rt-article h1 { color: var(--rt-brand-primary); - font-size: 2.4em; - font-weight: 700; + font-size: 2.0em; + font-weight: 500; + text-align: center; margin-top: 1.2em; margin-bottom: 0.6em; - border-bottom: 2px solid var(--rt-brand-primary); + border-bottom: 2px solid var(--rt-border-default); padding-bottom: 0.3em; line-height: 1.2; letter-spacing: -0.02em; } - + rt-article h2 { color: var(--rt-brand-secondary); - font-size: 1.8em; - font-weight: 600; - margin-top: 1.5em; + font-size: 1.5em; + font-weight: 400; + text-align: center; + margin-top: 1.0em; margin-bottom: 0.5em; - border-bottom: 1px dotted var(--rt-border-default); + } + + rt-article h2 + h3 { + margin-top: -0.3em; + padding-top: 0; } rt-article h3 { color: var(--rt-brand-tertiary); font-size: 1.4em; - font-weight: 600; - margin-top: 1.4em; + font-weight: 400; + margin-top: 1.0em; margin-bottom: 0.5em; - font-style: italic; } + /* --- DEEP LEVELS (H4-H6) --- */ rt-article h4, rt-article h5, rt-article h6 { - color: var(--rt-content-main); + color: var(--rt-brand-tertiary); font-weight: bold; margin-top: 1.2em; + font-style: italic; } + /* Increasing Indentation (Steps of ~4 spaces) */ + rt-article h4 { margin-left: 2em; } + rt-article h5 { margin-left: 4em; } + rt-article h6 { margin-left: 6em; } /* --- BODY TEXT --- */ rt-article p { diff --git a/developer/document/style/theme_dark_gold.js b/developer/document/style/theme_dark_gold.js index 385d75c..9584a1e 100644 --- a/developer/document/style/theme_dark_gold.js +++ b/developer/document/style/theme_dark_gold.js @@ -24,7 +24,7 @@ ,surface_select: "hsl(45, 100%, 15%)" // Text Selection Highlight // --- CONTENT (Text & Icons) --- - ,content_main: "hsl(36, 30%, 85%)" // Primary Reading Text + ,content_main: "hsl(50, 60%, 85%)" // Primary Reading Text ,content_muted: "hsl(36, 15%, 60%)" // Metadata, subtitles ,content_subtle: "hsl(36, 10%, 40%)" // Placeholders, disabled states ,content_inverse: "hsl(0, 0%, 5%)" // Text on high-contrast buttons diff --git a/developer/document/style/version.txt b/developer/document/style/version.txt new file mode 100644 index 0000000..a85e614 --- /dev/null +++ b/developer/document/style/version.txt @@ -0,0 +1 @@ +v0.3