More generic BinnedBytesForHttpStream, changes for status page

2021-05-18 16:35:51 +02:00
parent 530f88cd44
commit 19ff08a4bd
10 changed files with 289 additions and 38 deletions
--- a/httpret/static/documentation/style.css
+++ b/httpret/static/documentation/style.css
@@ -0,0 +1,109 @@
+div, h1, h2, h3, h4, h5, pre, code, p {
+    margin: 0;
+    padding: 0;
+}
+
+h1, h2, h3, h4, h5 {
+    margin-top: 1.2em;
+    margin-bottom: 0.6em;
+}
+
+input {
+    outline: none;
+}
+
+h1 {
+    margin-top: 0.7em;
+}
+
+p {
+    margin-top: 0.4em;
+    margin-bottom: 0.4em;
+}
+
+body {
+    font-family: monospace;
+    font-size: 80%;
+    line-height: 1.4;
+    color: #000;
+}
+
+td {
+    padding: 0 1em 0 1em;
+    margin: 0 0em 0 0em;
+    text-align: right;
+}
+
+input[type=button] {
+    background-color: #e7e7e7;
+    border-style: solid;
+    border-radius: 6px;
+    border-color: #e0e0e0;
+    border-width: 2px;
+    text-decoration: none;
+    color: #000;
+    padding: 5px 18px;
+    cursor: pointer;
+}
+
+input[type=button] {
+    margin-top: 1.4em;
+}
+
+input[type=button].loading {
+    background-color: #e7d0d0;
+}
+
+input[type=button].loaded {
+    border-color: #c0e7c0;
+}
+
+input[type=button].run_example_button {
+    border-color: #b0e7b0;
+}
+
+input[type=button].running {
+    border-color: #e7b0b0;
+}
+
+code#output {
+    display: block;
+    min-height: 20em;
+}
+
+p#load_status {
+    margin-top: 10em;
+}
+
+p.buttonrow {
+    position: fixed;
+    margin-top: 20px;
+}
+
+div#footer {
+    width: 2em;
+    height: 6em;
+}
+
+.prejson {
+    font-family: monospace;
+    white-space: pre;
+}
+
+.bytesTB {
+    color: #8b1f8e;
+}
+
+.bytesGB {
+    color: #952300;
+}
+
+.bytesMB {
+    --ccolor: #255111;
+    color: #12697d;
+}
+
+.highlight_error {
+    color: red;
+    font-weight: bold;
+}