Mon, 08 Aug 2022 17:12:00 +0200
#201 - remove dangerous allocator config
There is no plausible use case, except using the testing
allocator in the test case, and having the possibility to
specify any allocator (including another mempool) causes
more harm than good.
a { color: #2e2eaf; text-decoration: none; } a:hover { text-decoration: underline; text-decoration-style: dotted; // not supported in IE / Edge } #page-header, h1, h2, h3, #sidebar { font-family: sans-serif; } #page-header { padding-top: 0.3em; padding-bottom: 0.5em; margin-bottom: 2em; border: none; border-bottom-width: 1pt; border-bottom-style: solid; border-bottom-color: #2e2e2e; } #page-header span { font-size: 2em; font-weight: bold; color: #2e2e2e; } #page-header img { float: right; } #sidebar { float: left; width: 15em; } .nav { color: black; background-color: #e9ebec; margin-bottom: 1em; padding-bottom: 0.1em; } .nav h3 { color: white; background-color: #5b6f7a; font-size: 1.2em; padding-top: 0.2em; padding-bottom: 0.2em; padding-left: 0.5em; margin-top: 0; } .nav ul { margin-top: 0; padding-top: 0; padding-left: 2em; font-size: 0.95em; } #content { margin-left: 16em; padding: 0; font-family: serif; font-size: 1em; min-width: 16em; } #content h1 { color: white; background-color: #5b6f7a; font-size: 1.2em; padding-top: 0.2em; padding-bottom: 0.2em; padding-left: 0.5em; padding-right: 0; margin-top: 0; } #content h2 { color: #2e2e2e; font-size: 1.2em; border-bottom-color: #5b6f7a; border-bottom-style: solid; border-bottom-width: 1pt; width: 100%; } #content h3 { font-size: 1.05em; } #modules table { border-collapse: separate; border-spacing: .25em; } #modules td > a { display: table-cell; text-align: center; vertical-align: middle; width: 10em; height: 2em; border-style: solid; border-width: 1pt; border-color: #2e2e2e; } #modules td > a:hover { background: #e9ebec; }