diff --git a/.gitignore b/.gitignore
index 530ee39..17fc3a8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -57,5 +57,5 @@ sq/
tmp/
utils_src/a.out
-doxyresources/header.html
-
+header.html
+footer.html
diff --git a/Doxyfile b/Doxyfile
index 37dd235..f05fd15 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME = "Post Scarcity"
# could be handy for archiving the generated documentation or if some version
# control system is used.
-PROJECT_NUMBER = 0.1.0
+PROJECT_NUMBER =
# Using the PROJECT_BRIEF tag one can provide an optional one line description
# for a project that appears at the top of each page and should give viewer a
@@ -943,7 +943,7 @@ WARN_LOGFILE = tmp/doxy.log
# spaces. See also FILE_PATTERNS and EXTENSION_MAPPING
# Note: If this tag is empty the current directory is searched.
-INPUT = src/c \
+INPUT = src \
docs \
lisp
@@ -1314,7 +1314,7 @@ HTML_FILE_EXTENSION = .html
# of the possible markers and block names see the documentation.
# This tag requires that the tag GENERATE_HTML is set to YES.
-HTML_HEADER = doxyresources/header.html
+HTML_HEADER =
# The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
# generated HTML page. If the tag is left blank doxygen will generate a standard
@@ -1336,7 +1336,7 @@ HTML_FOOTER =
# obsolete.
# This tag requires that the tag GENERATE_HTML is set to YES.
-HTML_STYLESHEET = doxyresources/customdoxygen.css
+HTML_STYLESHEET =
# The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined
# cascading style sheets that are included after the standard style sheets
diff --git a/doxyresources/customdoxygen.css b/customdoxygen.css
similarity index 84%
rename from doxyresources/customdoxygen.css
rename to customdoxygen.css
index 52ec126..009a9b5 100644
--- a/doxyresources/customdoxygen.css
+++ b/customdoxygen.css
@@ -2,156 +2,156 @@
html {
/* page base colors */
---page-background-color: #ffffff;
---page-foreground-color: #000000;
---page-link-color: #204080;
---page-visited-link-color: #4060a0;
+--page-background-color: white;
+--page-foreground-color: black;
+--page-link-color: #3D578C;
+--page-visited-link-color: #4665A2;
/* index */
---index-odd-item-bg-color: #e0e0e0;
---index-even-item-bg-color: #ffffff;
---index-header-color: #000000;
---index-separator-color: #a0a0a0;
+--index-odd-item-bg-color: #F8F9FC;
+--index-even-item-bg-color: white;
+--index-header-color: black;
+--index-separator-color: #A0A0A0;
/* header */
---header-background-color: #e0e0e0;
---header-separator-color: #c0c0e0;
+--header-background-color: #F9FAFC;
+--header-separator-color: #C4CFE5;
--header-gradient-image: url('nav_h.png');
---group-header-separator-color: #8080c0;
---group-header-color: #204060;
---inherit-header-color: #808080;
+--group-header-separator-color: #879ECB;
+--group-header-color: #354C7B;
+--inherit-header-color: gray;
---footer-foreground-color: #202060;
+--footer-foreground-color: #2A3D61;
--footer-logo-width: 104px;
---citation-label-color: #204060;
---glow-color: #00ffff;
+--citation-label-color: #334975;
+--glow-color: cyan;
---title-background-color: #ffffff;
---title-separator-color: #4060a0;
---directory-separator-color: #80a0c0;
---separator-color: #4060a0;
+--title-background-color: white;
+--title-separator-color: #5373B4;
+--directory-separator-color: #9CAFD4;
+--separator-color: #4A6AAA;
---blockquote-background-color: #e0e0e0;
---blockquote-border-color: #80a0c0;
+--blockquote-background-color: #F7F8FB;
+--blockquote-border-color: #9CAFD4;
---scrollbar-thumb-color: #80a0c0;
---scrollbar-background-color: #e0e0e0;
+--scrollbar-thumb-color: #9CAFD4;
+--scrollbar-background-color: #F9FAFC;
---icon-background-color: #6080c0;
---icon-foreground-color: #ffffff;
+--icon-background-color: #728DC1;
+--icon-foreground-color: white;
--icon-doc-image: url('doc.svg');
--icon-folder-open-image: url('folderopen.svg');
--icon-folder-closed-image: url('folderclosed.svg');
/* brief member declaration list */
---memdecl-background-color: #e0e0e0;
---memdecl-separator-color: #c0e0e0;
+--memdecl-background-color: #F9FAFC;
+--memdecl-separator-color: #DEE4F0;
--memdecl-foreground-color: #555;
---memdecl-template-color: #4060a0;
+--memdecl-template-color: #4665A2;
/* detailed member list */
---memdef-border-color: #a0a0c0;
---memdef-title-background-color: #e0e0e0;
+--memdef-border-color: #A8B8D9;
+--memdef-title-background-color: #E2E8F2;
--memdef-title-gradient-image: url('nav_f.png');
---memdef-proto-background-color: #c0e0e0;
---memdef-proto-text-color: #202040;
+--memdef-proto-background-color: #DFE5F1;
+--memdef-proto-text-color: #253555;
--memdef-proto-text-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
---memdef-doc-background-color: #ffffff;
+--memdef-doc-background-color: white;
--memdef-param-name-color: #602020;
---memdef-template-color: #4060a0;
+--memdef-template-color: #4665A2;
/* tables */
---table-cell-border-color: #204060;
---table-header-background-color: #204060;
---table-header-foreground-color: #e0e0e0;
+--table-cell-border-color: #2D4068;
+--table-header-background-color: #374F7F;
+--table-header-foreground-color: #FFFFFF;
/* labels */
---label-background-color: #6080c0;
---label-left-top-border-color: #4060a0;
---label-right-bottom-border-color: #c0c0e0;
---label-foreground-color: #ffffff;
+--label-background-color: #728DC1;
+--label-left-top-border-color: #5373B4;
+--label-right-bottom-border-color: #C4CFE5;
+--label-foreground-color: white;
/** navigation bar/tree/menu */
---nav-background-color: #e0e0e0;
---nav-foreground-color: #204060;
+--nav-background-color: #F9FAFC;
+--nav-foreground-color: #364D7C;
--nav-gradient-image: url('tab_b.png');
--nav-gradient-hover-image: url('tab_h.png');
--nav-gradient-active-image: url('tab_a.png');
--nav-gradient-active-image-parent: url("../tab_a.png");
--nav-separator-image: url('tab_s.png');
--nav-breadcrumb-image: url('bc_s.png');
---nav-breadcrumb-border-color: #c0c0e0;
+--nav-breadcrumb-border-color: #C2CDE4;
--nav-splitbar-image: url('splitbar.png');
--nav-font-size-level1: 13px;
--nav-font-size-level2: 10px;
--nav-font-size-level3: 9px;
---nav-text-normal-color: #202040;
---nav-text-hover-color: #ffffff;
---nav-text-active-color: #ffffff;
+--nav-text-normal-color: #283A5D;
+--nav-text-hover-color: white;
+--nav-text-active-color: white;
--nav-text-normal-shadow: 0px 1px 1px rgba(255, 255, 255, 0.9);
--nav-text-hover-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
--nav-text-active-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
---nav-menu-button-color: #204060;
---nav-menu-background-color: #ffffff;
---nav-menu-foreground-color: #404040;
+--nav-menu-button-color: #364D7C;
+--nav-menu-background-color: white;
+--nav-menu-foreground-color: #555555;
--nav-menu-toggle-color: rgba(255, 255, 255, 0.5);
---nav-arrow-color: #80a0c0;
---nav-arrow-selected-color: #80a0c0;
+--nav-arrow-color: #9CAFD4;
+--nav-arrow-selected-color: #9CAFD4;
/* table of contents */
---toc-background-color: #e0e0e0;
---toc-border-color: #c0c0e0;
---toc-header-color: #4060a0;
+--toc-background-color: #F4F6FA;
+--toc-border-color: #D8DFEE;
+--toc-header-color: #4665A2;
--toc-down-arrow-image: url("data:image/svg+xml;utf8,");
/** search field */
---search-background-color: #ffffff;
---search-foreground-color: #808080;
+--search-background-color: white;
+--search-foreground-color: #909090;
--search-magnification-image: url('mag.svg');
--search-magnification-select-image: url('mag_sel.svg');
---search-active-color: #000000;
---search-filter-background-color: #e0e0e0;
---search-filter-foreground-color: #000000;
---search-filter-border-color: #80a0c0;
---search-filter-highlight-text-color: #ffffff;
---search-filter-highlight-bg-color: #204080;
---search-results-foreground-color: #404080;
---search-results-background-color: #e0e0e0;
---search-results-border-color: #000000;
+--search-active-color: black;
+--search-filter-background-color: #F9FAFC;
+--search-filter-foreground-color: black;
+--search-filter-border-color: #90A5CE;
+--search-filter-highlight-text-color: white;
+--search-filter-highlight-bg-color: #3D578C;
+--search-results-foreground-color: #425E97;
+--search-results-background-color: #EEF1F7;
+--search-results-border-color: black;
--search-box-shadow: inset 0.5px 0.5px 3px 0px #555;
/** code fragments */
--code-keyword-color: #008000;
--code-type-keyword-color: #604020;
---code-flow-keyword-color: #e08000;
+--code-flow-keyword-color: #E08000;
--code-comment-color: #800000;
--code-preprocessor-color: #806020;
--code-string-literal-color: #002080;
--code-char-literal-color: #008080;
---code-xml-cdata-color: #000000;
---code-vhdl-digit-color: #e000e0;
+--code-xml-cdata-color: black;
+--code-vhdl-digit-color: #FF00FF;
--code-vhdl-char-color: #000000;
---code-vhdl-keyword-color: #600060;
---code-vhdl-logic-color: #e00000;
---code-link-color: #4060a0;
---code-external-link-color: #4060a0;
---fragment-foreground-color: #000000;
---fragment-background-color: #e0e0e0;
---fragment-border-color: #c0c0e0;
---fragment-lineno-border-color: #00e000;
---fragment-lineno-background-color: #e0e0e0;
---fragment-lineno-foreground-color: #000000;
---fragment-lineno-link-fg-color: #4060a0;
---fragment-lineno-link-bg-color: #c0c0c0;
---fragment-lineno-link-hover-fg-color: #4060a0;
---fragment-lineno-link-hover-bg-color: #c0c0c0;
---tooltip-foreground-color: #000000;
---tooltip-background-color: #ffffff;
---tooltip-border-color: #808080;
+--code-vhdl-keyword-color: #700070;
+--code-vhdl-logic-color: #FF0000;
+--code-link-color: #4665A2;
+--code-external-link-color: #4665A2;
+--fragment-foreground-color: black;
+--fragment-background-color: #FBFCFD;
+--fragment-border-color: #C4CFE5;
+--fragment-lineno-border-color: #00FF00;
+--fragment-lineno-background-color: #E8E8E8;
+--fragment-lineno-foreground-color: black;
+--fragment-lineno-link-fg-color: #4665A2;
+--fragment-lineno-link-bg-color: #D8D8D8;
+--fragment-lineno-link-hover-fg-color: #4665A2;
+--fragment-lineno-link-hover-bg-color: #C8C8C8;
+--tooltip-foreground-color: black;
+--tooltip-background-color: white;
+--tooltip-border-color: gray;
--tooltip-doc-color: grey;
---tooltip-declaration-color: #006000;
---tooltip-link-color: #4060a0;
---tooltip-shadow: 1px 1px 7px #808080;
+--tooltip-declaration-color: #006318;
+--tooltip-link-color: #4665A2;
+--tooltip-shadow: 1px 1px 7px gray;
--fold-line-color: #808080;
--fold-minus-image: url('minus.svg');
--fold-plus-image: url('plus.svg');
@@ -175,155 +175,155 @@ html {
color-scheme: dark;
/* page base colors */
---page-background-color: #000000;
---page-foreground-color: #c0c0c0;
---page-link-color: #80a0c0;
---page-visited-link-color: #a0a0c0;
+--page-background-color: black;
+--page-foreground-color: #C9D1D9;
+--page-link-color: #90A5CE;
+--page-visited-link-color: #A3B4D7;
/* index */
---index-odd-item-bg-color: #000000;
---index-even-item-bg-color: #000000;
---index-header-color: #c0c0e0;
---index-separator-color: #204060;
+--index-odd-item-bg-color: #0B101A;
+--index-even-item-bg-color: black;
+--index-header-color: #C4CFE5;
+--index-separator-color: #334975;
/* header */
---header-background-color: #000000;
---header-separator-color: #000020;
+--header-background-color: #070B11;
+--header-separator-color: #141C2E;
--header-gradient-image: url('nav_hd.png');
---group-header-separator-color: #202040;
---group-header-color: #80a0c0;
---inherit-header-color: #a0a0a0;
+--group-header-separator-color: #283A5D;
+--group-header-color: #90A5CE;
+--inherit-header-color: #A0A0A0;
---footer-foreground-color: #4060a0;
+--footer-foreground-color: #5B7AB7;
--footer-logo-width: 60px;
---citation-label-color: #80a0c0;
---glow-color: #00ffff;
+--citation-label-color: #90A5CE;
+--glow-color: cyan;
---title-background-color: #000000;
---title-separator-color: #204060;
---directory-separator-color: #202040;
---separator-color: #202040;
+--title-background-color: #090D16;
+--title-separator-color: #354C79;
+--directory-separator-color: #283A5D;
+--separator-color: #283A5D;
---blockquote-background-color: #000020;
---blockquote-border-color: #202040;
+--blockquote-background-color: #101826;
+--blockquote-border-color: #283A5D;
---scrollbar-thumb-color: #202040;
---scrollbar-background-color: #000000;
+--scrollbar-thumb-color: #283A5D;
+--scrollbar-background-color: #070B11;
---icon-background-color: #204060;
---icon-foreground-color: #c0c0e0;
+--icon-background-color: #334975;
+--icon-foreground-color: #C4CFE5;
--icon-doc-image: url('docd.svg');
--icon-folder-open-image: url('folderopend.svg');
--icon-folder-closed-image: url('folderclosedd.svg');
/* brief member declaration list */
---memdecl-background-color: #000000;
---memdecl-separator-color: #202060;
+--memdecl-background-color: #0B101A;
+--memdecl-separator-color: #2C3F65;
--memdecl-foreground-color: #BBB;
---memdecl-template-color: #6080c0;
+--memdecl-template-color: #7C95C6;
/* detailed member list */
---memdef-border-color: #202040;
---memdef-title-background-color: #002040;
+--memdef-border-color: #233250;
+--memdef-title-background-color: #1B2840;
--memdef-title-gradient-image: url('nav_fd.png');
---memdef-proto-background-color: #002020;
---memdef-proto-text-color: #80a0c0;
+--memdef-proto-background-color: #19243A;
+--memdef-proto-text-color: #9DB0D4;
--memdef-proto-text-shadow: 0px 1px 1px rgba(0, 0, 0, 0.9);
---memdef-doc-background-color: #000000;
---memdef-param-name-color: #c08040;
---memdef-template-color: #6080c0;
+--memdef-doc-background-color: black;
+--memdef-param-name-color: #D28757;
+--memdef-template-color: #7C95C6;
/* tables */
---table-cell-border-color: #202040;
---table-header-background-color: #202040;
---table-header-foreground-color: #c0c0e0;
+--table-cell-border-color: #283A5D;
+--table-header-background-color: #283A5D;
+--table-header-foreground-color: #C4CFE5;
/* labels */
---label-background-color: #204060;
---label-left-top-border-color: #4060a0;
---label-right-bottom-border-color: #202040;
---label-foreground-color: #c0c0c0;
+--label-background-color: #354C7B;
+--label-left-top-border-color: #4665A2;
+--label-right-bottom-border-color: #283A5D;
+--label-foreground-color: #CCCCCC;
/** navigation bar/tree/menu */
---nav-background-color: #000020;
---nav-foreground-color: #204060;
+--nav-background-color: #101826;
+--nav-foreground-color: #364D7C;
--nav-gradient-image: url('tab_bd.png');
--nav-gradient-hover-image: url('tab_hd.png');
--nav-gradient-active-image: url('tab_ad.png');
--nav-gradient-active-image-parent: url("../tab_ad.png");
--nav-separator-image: url('tab_sd.png');
--nav-breadcrumb-image: url('bc_sd.png');
---nav-breadcrumb-border-color: #202060;
+--nav-breadcrumb-border-color: #2A3D61;
--nav-splitbar-image: url('splitbard.png');
--nav-font-size-level1: 13px;
--nav-font-size-level2: 10px;
--nav-font-size-level3: 9px;
---nav-text-normal-color: #a0c0c0;
---nav-text-hover-color: #c0e0e0;
---nav-text-active-color: #c0e0e0;
---nav-text-normal-shadow: 0px 1px 1px #000000;
+--nav-text-normal-color: #B6C4DF;
+--nav-text-hover-color: #DCE2EF;
+--nav-text-active-color: #DCE2EF;
+--nav-text-normal-shadow: 0px 1px 1px black;
--nav-text-hover-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
--nav-text-active-shadow: 0px 1px 1px rgba(0, 0, 0, 1.0);
---nav-menu-button-color: #a0c0c0;
---nav-menu-background-color: #000000;
---nav-menu-foreground-color: #a0a0a0;
+--nav-menu-button-color: #B6C4DF;
+--nav-menu-background-color: #05070C;
+--nav-menu-foreground-color: #BBBBBB;
--nav-menu-toggle-color: rgba(255, 255, 255, 0.2);
---nav-arrow-color: #204060;
---nav-arrow-selected-color: #80a0c0;
+--nav-arrow-color: #334975;
+--nav-arrow-selected-color: #90A5CE;
/* table of contents */
---toc-background-color: #000020;
---toc-border-color: #202040;
---toc-header-color: #a0a0c0;
+--toc-background-color: #151E30;
+--toc-border-color: #202E4A;
+--toc-header-color: #A3B4D7;
--toc-down-arrow-image: url("data:image/svg+xml;utf8,");
/** search field */
---search-background-color: #000000;
---search-foreground-color: #c0c0c0;
+--search-background-color: black;
+--search-foreground-color: #C5C5C5;
--search-magnification-image: url('mag_d.svg');
--search-magnification-select-image: url('mag_seld.svg');
---search-active-color: #c0c0c0;
---search-filter-background-color: #000020;
---search-filter-foreground-color: #80a0c0;
---search-filter-border-color: #6080c0;
---search-filter-highlight-text-color: #a0c0e0;
---search-filter-highlight-bg-color: #202040;
---search-results-background-color: #000020;
---search-results-foreground-color: #80a0c0;
---search-results-border-color: #6080c0;
+--search-active-color: #C5C5C5;
+--search-filter-background-color: #101826;
+--search-filter-foreground-color: #90A5CE;
+--search-filter-border-color: #7C95C6;
+--search-filter-highlight-text-color: #BCC9E2;
+--search-filter-highlight-bg-color: #283A5D;
+--search-results-background-color: #101826;
+--search-results-foreground-color: #90A5CE;
+--search-results-border-color: #7C95C6;
--search-box-shadow: inset 0.5px 0.5px 3px 0px #2F436C;
/** code fragments */
---code-keyword-color: #c080c0;
---code-type-keyword-color: #a080c0;
---code-flow-keyword-color: #e08000;
---code-comment-color: #606080;
---code-preprocessor-color: #60c0a0;
---code-string-literal-color: #60c080;
---code-char-literal-color: #00e0e0;
---code-xml-cdata-color: #c0c0c0;
---code-vhdl-digit-color: #e000e0;
---code-vhdl-char-color: #c0c0c0;
---code-vhdl-keyword-color: #c040c0;
---code-vhdl-logic-color: #e00000;
---code-link-color: #60c0e0;
---code-external-link-color: #60c0e0;
---fragment-foreground-color: #c0c0c0;
---fragment-background-color: #000000;
---fragment-border-color: #202020;
---fragment-lineno-border-color: #202020;
---fragment-lineno-background-color: #000000;
---fragment-lineno-foreground-color: #606080;
---fragment-lineno-link-fg-color: #606080;
---fragment-lineno-link-bg-color: #202020;
---fragment-lineno-link-hover-fg-color: #8080a0;
---fragment-lineno-link-hover-bg-color: #404040;
---tooltip-foreground-color: #c0c0c0;
+--code-keyword-color: #CC99CD;
+--code-type-keyword-color: #AB99CD;
+--code-flow-keyword-color: #E08000;
+--code-comment-color: #717790;
+--code-preprocessor-color: #65CABE;
+--code-string-literal-color: #7EC699;
+--code-char-literal-color: #00E0F0;
+--code-xml-cdata-color: #C9D1D9;
+--code-vhdl-digit-color: #FF00FF;
+--code-vhdl-char-color: #C0C0C0;
+--code-vhdl-keyword-color: #CF53C9;
+--code-vhdl-logic-color: #FF0000;
+--code-link-color: #79C0FF;
+--code-external-link-color: #79C0FF;
+--fragment-foreground-color: #C9D1D9;
+--fragment-background-color: black;
+--fragment-border-color: #30363D;
+--fragment-lineno-border-color: #30363D;
+--fragment-lineno-background-color: black;
+--fragment-lineno-foreground-color: #6E7681;
+--fragment-lineno-link-fg-color: #6E7681;
+--fragment-lineno-link-bg-color: #303030;
+--fragment-lineno-link-hover-fg-color: #8E96A1;
+--fragment-lineno-link-hover-bg-color: #505050;
+--tooltip-foreground-color: #C9D1D9;
--tooltip-background-color: #202020;
---tooltip-border-color: #c0c0c0;
---tooltip-doc-color: #c0e0e0;
---tooltip-declaration-color: #20c040;
---tooltip-link-color: #60c0e0;
+--tooltip-border-color: #C9D1D9;
+--tooltip-doc-color: #D9E1E9;
+--tooltip-declaration-color: #20C348;
+--tooltip-link-color: #79C0FF;
--tooltip-shadow: none;
--fold-line-color: #808080;
--fold-minus-image: url('minusd.svg');
@@ -1524,49 +1524,49 @@ dl.note {
margin-left: -7px;
padding-left: 3px;
border-left: 4px solid;
- border-color: #c0c000;
+ border-color: #D0C000;
}
dl.warning, dl.attention {
margin-left: -7px;
padding-left: 3px;
border-left: 4px solid;
- border-color: #e00000;
+ border-color: #FF0000;
}
dl.pre, dl.post, dl.invariant {
margin-left: -7px;
padding-left: 3px;
border-left: 4px solid;
- border-color: #00c000;
+ border-color: #00D000;
}
dl.deprecated {
margin-left: -7px;
padding-left: 3px;
border-left: 4px solid;
- border-color: #404040;
+ border-color: #505050;
}
dl.todo {
margin-left: -7px;
padding-left: 3px;
border-left: 4px solid;
- border-color: #00c0e0;
+ border-color: #00C0E0;
}
dl.test {
margin-left: -7px;
padding-left: 3px;
border-left: 4px solid;
- border-color: #2020e0;
+ border-color: #3030E0;
}
dl.bug {
margin-left: -7px;
padding-left: 3px;
border-left: 4px solid;
- border-color: #c08040;
+ border-color: #C08050;
}
dl.section dd {
diff --git a/footer.html b/footer.html
new file mode 100644
index 0000000..249d73f
--- /dev/null
+++ b/footer.html
@@ -0,0 +1,17 @@
+
+
+
+
+
+
+
+
+
+
$doxygenversion
+