Mercurial > repos > public > sbplib_julia

<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>
author	Jonatan Werpers <jonatan@werpers.com>
date	Fri, 09 May 2025 15:57:38 +0200
parents	34446df5733f
children