Mercurial > repos > public > sbplib_julia

diff benchmark/result.tmpl @ 1172:34446df5733f tooling/benchmarks

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add run_and_view script
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 25 Jan 2023 12:52:09 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/benchmark/result.tmpl	Wed Jan 25 12:52:09 2023 +0100
@@ -0,0 +1,211 @@
+<html>
+<head>
+    <title>Benchmark result {{title}}</title>
+    <meta charset="UTF-8">
+
+    <style>
+        @charset "UTF-8";
+        body {
+        font-family: system-ui, -apple-system, BlinkMacSystemFont, Segoe UI, Roboto, Oxygen, Ubuntu, Cantarell, Fira Sans, Droid Sans, Helvetica Neue, sans-serif;
+            line-height: 1.4;
+            max-width: 800px;
+            margin: 20px auto;
+            padding: 0 10px;
+            color: #363636;
+            background: #fff;
+            text-rendering:optimizeLegibility
+        }
+
+        button, input, textarea {
+            transition:background-color .1s linear, border-color .1s linear, color .1s linear, box-shadow .1s linear, transform .1s ease
+        }
+
+        h1 {
+            font-size: 2.2em;
+            margin-top:0
+        }
+
+        h1, h2, h3, h4, h5, h6 {
+            margin-bottom:12px
+        }
+
+        h1, h2, h3, h4, h5, h6, strong {
+            color:#000
+        }
+
+        b, h1, h2, h3, h4, h5, h6, strong, th {
+            font-weight:600
+        }
+
+        blockquote {
+            border-left: 4px solid rgba(0, 150, 191, .67);
+            margin: 1.5em 0;
+            padding: .5em 1em;
+            font-style:italic
+        }
+
+        blockquote > footer {
+            margin-top: 10px;
+            font-style:normal
+        }
+
+        address, blockquote cite {
+            font-style:normal
+        }
+
+        a[href^=mailto]:before {
+            content: "📧 "
+        }
+
+        a[href^=tel]:before {
+            content: "📞 "
+        }
+
+        a[href^=sms]:before {
+            content: "💬 "
+        }
+
+        button, input[type=button], input[type=checkbox], input[type=submit] {
+            cursor:pointer
+        }
+
+        input:not([type=checkbox]):not([type=radio]), select {
+            display:block
+        }
+
+        button, input, select, textarea {
+            color: #000;
+            background-color: #efefef;
+            font-family: inherit;
+            font-size: inherit;
+            margin-right: 6px;
+            margin-bottom: 6px;
+            padding: 10px;
+            border: none;
+            border-radius: 6px;
+            outline:none
+        }
+
+        button, input:not([type=checkbox]):not([type=radio]), select, textarea {
+            -webkit-appearance:none
+        }
+
+        textarea {
+            margin-right: 0;
+            width: 100%;
+            box-sizing: border-box;
+            resize:vertical
+        }
+
+        button, input[type=button], input[type=submit] {
+            padding-right: 30px;
+            padding-left:30px
+        }
+
+        button:hover, input[type=button]:hover, input[type=submit]:hover {
+            background:#ddd
+        }
+
+        button:focus, input:focus, select:focus, textarea:focus {
+            box-shadow:0 0 0 2px rgba(0, 150, 191, .67)
+        }
+
+        button:active, input[type=button]:active, input[type=checkbox]:active, input[type=radio]:active, input[type=submit]:active {
+            transform:translateY(2px)
+        }
+
+        button:disabled, input:disabled, select:disabled, textarea:disabled {
+            cursor: not-allowed;
+            opacity:.5
+        }
+
+        ::-webkit-input-placeholder {
+            color:#949494
+        }
+
+        :-ms-input-placeholder {
+            color:#949494
+        }
+
+        ::-ms-input-placeholder {
+            color:#949494
+        }
+
+        ::placeholder {
+            color:#949494
+        }
+
+        a {
+            text-decoration: none;
+            color:#0076d1
+        }
+
+        a:hover {
+            text-decoration:underline
+        }
+
+        code, kbd {
+            background: #efefef;
+            color: #000;
+            padding: 5px;
+            border-radius:6px
+        }
+
+        pre > code {
+            padding: 10px;
+            display: block;
+            overflow-x:auto
+        }
+
+        img {
+            max-width:100%
+        }
+
+        hr {
+            border: none;
+            border-top:1px solid #dbdbdb
+        }
+
+        table {
+            border-collapse: collapse;
+            margin-bottom: 10px;
+            width:100%
+        }
+
+        td, th {
+            padding: 6px;
+            text-align:left
+        }
+
+        th {
+            border-bottom:1px solid #dbdbdb
+        }
+
+        tbody tr:nth-child(2n) {
+            background-color:#efefef
+        }
+
+        ::-webkit-scrollbar {
+            height: 10px;
+            width:10px
+        }
+
+        ::-webkit-scrollbar-track {
+            background: #efefef;
+            border-radius:6px
+        }
+
+        ::-webkit-scrollbar-thumb {
+            background: #d5d5d5;
+            border-radius:6px
+        }
+
+        ::-webkit-scrollbar-thumb:hover {
+            background: #c4c4c4
+        }
+    </style>
+</head>
+<body>
+    {{{content}}}
+</body>
+</html>