summaryrefslogtreecommitdiffstats
path: root/public/prism/prism-mizar.js
Commit message (Expand)AuthorAgeFilesLines
* chore: add prismjs for syntax highlightingArmand Philippot2021-12-301-0/+13
hlight .cm { color: #888888 } /* Comment.Multiline */ .highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */ .highlight .cpf { color: #888888 } /* Comment.PreprocFile */ .highlight .c1 { color: #888888 } /* Comment.Single */ .highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */ .highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */ .highlight .ge { font-style: italic } /* Generic.Emph */ .highlight .gr { color: #aa0000 } /* Generic.Error */ .highlight .gh { color: #333333 } /* Generic.Heading */ .highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */ .highlight .go { color: #888888 } /* Generic.Output */ .highlight .gp { color: #555555 } /* Generic.Prompt */ .highlight .gs { font-weight: bold } /* Generic.Strong */ .highlight .gu { color: #666666 } /* Generic.Subheading */ .highlight .gt { color: #aa0000 } /* Generic.Traceback */ .highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */ .highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */ .highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */ .highlight .kp { color: #008800 } /* Keyword.Pseudo */ .highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */ .highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */ .highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */ .highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */ .highlight .na { color: #336699 } /* Name.Attribute */ .highlight .nb { color: #003388 } /* Name.Builtin */ .highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */ .highlight .no { color: #003366; font-weight: bold } /* Name.Constant */ .highlight .nd { color: #555555 } /* Name.Decorator */ .highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */ .highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */ .highlight .nl { color: #336699; font-style: italic } /* Name.Label */ .highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */ .highlight .py { color: #336699; font-weight: bold } /* Name.Property */ .highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */ .highlight .nv { color: #336699 } /* Name.Variable */ .highlight .ow { color: #008800 } /* Operator.Word */ .highlight .w { color: #bbbbbb } /* Text.Whitespace */ .highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */ .highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */ .highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */ .highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */ .highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */ .highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */ .highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */ .highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */ .highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */ .highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */ .highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */ .highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */ .highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */ .highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */ .highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */ .highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */ .highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */ .highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */ .highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */ .highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */ .highlight .vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
<svg viewBox="0 0 211.998 64" xmlns="http://www.w3.org/2000/svg"><path d="M175.54 15.83c0-3.009 1.484-4.515 4.457-4.515s4.457 1.504 4.457 4.514c0 2.971-1.486 4.457-4.457 4.457-2.97 0-4.458-1.486-4.458-4.457zm13.086 8.227v13.085h-3.656v15.542h-9.944v-15.54h-3.656V24.056c0-.572.2-1.057.6-1.457.4-.399.886-.6 1.456-.6h13.144c.533 0 1.01.2 1.428.6.417.4.628.886.628 1.457z"/><path d="M179.941 0c-8.839 0-16.341 3.085-22.513 9.258-6.285 6.4-9.43 13.981-9.43 22.742 0 8.762 3.145 16.284 9.43 22.57 6.36 6.286 13.864 9.43 22.513 9.43 8.8 0 16.437-3.182 22.913-9.545 6.096-5.98 9.144-13.464 9.144-22.455 0-8.952-3.106-16.532-9.314-22.742C196.512 3.086 188.929 0 179.94 0zm.114 5.771c7.238 0 13.41 2.553 18.513 7.657 5.103 5.106 7.657 11.294 7.657 18.57 0 7.391-2.514 13.506-7.543 18.344-5.295 5.22-11.506 7.828-18.63 7.828-7.161 0-13.332-2.59-18.513-7.772-5.18-5.178-7.77-11.31-7.77-18.396 0-7.047 2.609-13.238 7.829-18.572 5.029-5.104 11.18-7.659 18.457-7.659zM91.999 27.114c.609-3.924 2.189-6.962 4.742-9.114 2.552-2.152 5.656-3.228 9.314-3.228 5.027 0 9.029 1.62 12 4.856 2.97 3.238 4.457 7.391 4.457 12.457 0 4.915-1.543 9-4.627 12.256-3.088 3.256-7.086 4.886-12.002 4.886-3.62 0-6.743-1.085-9.371-3.257-2.63-2.172-4.21-5.257-4.743-9.257h8.059c.19 3.886 2.533 5.83 7.029 5.83 2.246 0 4.057-.973 5.428-2.915 1.373-1.942 2.059-4.534 2.059-7.77 0-3.392-.63-5.972-1.885-7.744-1.258-1.77-3.066-2.657-5.43-2.657-4.268 0-6.667 1.885-7.2 5.656h2.343l-6.342 6.343-6.343-6.343z"/><path d="M105.942 0c-8.8 0-16.304 3.105-22.513 9.316-6.285 6.4-9.43 13.963-9.43 22.686 0 8.763 3.145 16.283 9.43 22.568 6.36 6.286 13.864 9.43 22.513 9.43 8.836 0 16.476-3.162 22.913-9.486 6.096-6.057 9.144-13.56 9.144-22.514 0-8.952-3.106-16.514-9.314-22.686C122.474 3.104 114.893 0 105.942 0zm.114 5.771c7.275 0 13.446 2.57 18.513 7.715 5.103 5.028 7.657 11.201 7.657 18.514 0 7.353-2.514 13.468-7.543 18.344-5.295 5.219-11.506 7.828-18.63 7.828-7.161 0-13.332-2.59-18.513-7.772-5.18-5.143-7.77-11.275-7.77-18.4 0-7.046 2.609-13.218 7.829-18.514 5.029-5.143 11.18-7.715 18.457-7.715zM31.942 0C23.066 0 15.58 3.107 9.485 9.315 6.4 12.4 4.047 15.896 2.428 19.8A31.545 31.545 0 0 0 0 32.001c0 4.267.8 8.324 2.4 12.172 1.6 3.848 3.934 7.306 7 10.372 3.068 3.066 6.535 5.41 10.401 7.027A31.105 31.105 0 0 0 31.944 64c4.228 0 8.325-.817 12.286-2.455 3.963-1.638 7.506-4.003 10.63-7.088 3.007-2.933 5.284-6.315 6.827-10.143C63.228 40.487 64 36.382 64 32c0-4.343-.783-8.448-2.344-12.315-1.562-3.866-3.847-7.306-6.855-10.315C48.515 3.124 40.894 0 31.942 0Zm.116 5.772c7.238 0 13.428 2.572 18.574 7.715 2.474 2.478 4.36 5.297 5.653 8.459 1.295 3.162 1.943 6.514 1.943 10.057 0 7.354-2.494 13.468-7.484 18.344-2.592 2.514-5.494 4.437-8.713 5.772a25.828 25.828 0 0 1-9.973 1.998c-3.467 0-6.783-.657-9.944-1.97-3.164-1.317-6-3.22-8.514-5.716-2.515-2.495-4.448-5.333-5.8-8.516a25.046 25.046 0 0 1-2.03-9.912c0-3.467.675-6.792 2.03-9.973 1.351-3.181 3.285-6.047 5.8-8.6 4.991-5.104 11.143-7.658 18.458-7.658z"/><path d="m50.115 26.688-4.23 2.229c-.457-.951-1.02-1.62-1.686-2-.668-.38-1.307-.571-1.914-.571-2.857 0-4.287 1.885-4.287 5.657 0 1.714.363 3.084 1.086 4.113.723 1.03 1.79 1.544 3.201 1.544 1.865 0 3.18-.915 3.941-2.743l4 2c-.874 1.563-2.057 2.791-3.54 3.686a9.234 9.234 0 0 1-4.858 1.343c-2.896 0-5.209-.875-6.94-2.629-1.737-1.752-2.603-4.19-2.603-7.313 0-3.048.885-5.466 2.658-7.257 1.77-1.79 4.008-2.686 6.713-2.686 3.962-.002 6.783 1.54 8.459 4.627zm-18.458 0-4.287 2.229c-.458-.951-1.02-1.62-1.685-2-.667-.38-1.286-.571-1.858-.571-2.856 0-4.286 1.885-4.286 5.657 0 1.714.362 3.084 1.085 4.113.724 1.03 1.79 1.544 3.2 1.544 1.868 0 3.182-.915 3.945-2.743l3.942 2c-.838 1.563-2 2.791-3.486 3.686-1.484.896-3.123 1.343-4.914 1.343-2.857 0-5.163-.875-6.915-2.629-1.753-1.752-2.629-4.19-2.629-7.313 0-3.048.886-5.466 2.658-7.257 1.77-1.79 4.009-2.686 6.715-2.686 3.963-.002 6.8 1.54 8.515 4.627z"/></svg>