1 files changed, 139 insertions, 0 deletions
diff --git a/gen/docs/style.css b/gen/docs/style.css
new file mode 100644
index 0000000..305b00b
--- /dev/null
+++ b/gen/docs/style.css
@@ -0,0 +1,139 @@
+/* style.css — Professional styling for ISA reference HTML (used by wkhtmltopdf) */
+
+body {
+    font-family: "Times New Roman", Times, serif;
+    font-size: 11pt;
+    line-height: 1.5;
+    color: #1a1a1a;
+    max-width: 7in;
+    margin: 0 auto;
+    padding: 1in 0.5in;
+}
+
+h1 {
+    font-size: 24pt;
+    text-align: center;
+    margin-top: 2in;
+    margin-bottom: 0.3in;
+    page-break-before: always;
+}
+
+h1:first-of-type {
+    margin-top: 3in;
+    page-break-before: avoid;
+}
+
+.subtitle {
+    text-align: center;
+    font-size: 16pt;
+    color: #555;
+    margin-bottom: 0.5in;
+}
+
+h2 {
+    font-size: 16pt;
+    border-bottom: 2px solid #333;
+    padding-bottom: 4pt;
+    margin-top: 0.5in;
+}
+
+h3 {
+    font-size: 13pt;
+    margin-top: 0.3in;
+}
+
+h4 {
+    font-size: 11pt;
+    font-style: italic;
+    margin-top: 0.2in;
+}
+
+table {
+    width: 100%;
+    border-collapse: collapse;
+    margin: 0.2in 0;
+    font-size: 9.5pt;
+}
+
+th, td {
+    border: 1px solid #999;
+    padding: 4pt 6pt;
+    text-align: left;
+    vertical-align: top;
+}
+
+th {
+    background-color: #e8e8e8;
+    font-weight: bold;
+}
+
+tr:nth-child(even) {
+    background-color: #f6f6f6;
+}
+
+code {
+    font-family: "Courier New", Courier, monospace;
+    font-size: 9.5pt;
+    background-color: #f0f0f0;
+    padding: 1pt 3pt;
+    border-radius: 2pt;
+}
+
+pre {
+    font-family: "Courier New", Courier, monospace;
+    font-size: 9pt;
+    background-color: #f8f8f8;
+    border: 1px solid #ddd;
+    padding: 8pt;
+    overflow-x: auto;
+    line-height: 1.3;
+}
+
+pre code {
+    background: none;
+    padding: 0;
+}
+
+/* Page breaks */
+section, .chapter {
+    page-break-before: always;
+}
+
+/* Tables of contents */
+#TOC {
+    page-break-after: always;
+}
+
+#TOC ul {
+    list-style: none;
+    padding-left: 0;
+}
+
+#TOC li {
+    margin: 4pt 0;
+}
+
+/* Header and footer */
+@page {
+    @top-center {
+        content: element(header);
+        font-size: 9pt;
+        color: #888;
+    }
+    @bottom-center {
+        content: counter(page);
+        font-size: 9pt;
+    }
+}
+
+@media print {
+    body {
+        padding: 0;
+    }
+    table {
+        page-break-inside: avoid;
+    }
+    h2, h3 {
+        page-break-after: avoid;
+    }
+}