101 lines
2.3 KiB
HTML
101 lines
2.3 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0, shrink-to-fit=no">
|
|
<title>Clojure demos</title>
|
|
<link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png">
|
|
<link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png">
|
|
<link rel="stylesheet" type="text/css" href="https://unpkg.com/tachyons@4.12.0/css/tachyons.min.css">
|
|
<link rel="stylesheet" type="text/css" href="https://raw.githubusercontent.com/FarhadG/code-mirror-themes/master/themes/rdark.css">
|
|
<style>
|
|
|
|
.cm-s-rdark {
|
|
font-size: 1em;
|
|
line-height: 1.5em;
|
|
font-family: inconsolata, monospace;
|
|
letter-spacing: 0.3px;
|
|
word-spacing: 1px;
|
|
background: #1B2426;
|
|
color: #B9BDB6;
|
|
}
|
|
.cm-s-rdark .CodeMirror-lines {
|
|
padding: 8px 0;
|
|
}
|
|
.cm-s-rdark .CodeMirror-gutters {
|
|
box-shadow: 1px 0 2px 0 rgba(0, 0, 0, 0.5);
|
|
-webkit-box-shadow: 1px 0 2px 0 rgba(0, 0, 0, 0.5);
|
|
background-color: #1B2426;
|
|
padding-right: 10px;
|
|
z-index: 3;
|
|
border: none;
|
|
}
|
|
.cm-s-rdark div.CodeMirror-cursor {
|
|
border-left: 3px solid #B9BDB6;
|
|
}
|
|
.cm-s-rdark .CodeMirror-activeline-background {
|
|
background: #00000070;
|
|
}
|
|
.cm-s-rdark .CodeMirror-selected {
|
|
background: #E0E8FF66;
|
|
}
|
|
.cm-s-rdark .cm-comment {
|
|
color: #646763;
|
|
}
|
|
.cm-s-rdark .cm-string {
|
|
color: #5CE638;
|
|
}
|
|
.cm-s-rdark .cm-number {
|
|
color: null;
|
|
}
|
|
.cm-s-rdark .cm-atom {
|
|
color: null;
|
|
}
|
|
.cm-s-rdark .cm-keyword {
|
|
color: #5BA1CF;
|
|
}
|
|
.cm-s-rdark .cm-variable {
|
|
color: #FFAA3E;
|
|
}
|
|
.cm-s-rdark .cm-def {
|
|
color: #FFFFFF;
|
|
}
|
|
.cm-s-rdark .cm-variable-2 {
|
|
color: #FFFFFF;
|
|
}
|
|
.cm-s-rdark .cm-property {
|
|
color: null;
|
|
}
|
|
.cm-s-rdark .cm-operator {
|
|
color: #5BA1CF;
|
|
}
|
|
.cm-s-rdark .CodeMirror-linenumber {
|
|
color: #646763;
|
|
}
|
|
|
|
|
|
</style>
|
|
<meta name="robots" content="noindex">
|
|
<!-- Google tag (gtag.js) -->
|
|
<script async src="https://www.googletagmanager.com/gtag/js?id=G-59HNPDZF2T"></script>
|
|
<script>
|
|
window.dataLayer = window.dataLayer || [];
|
|
function gtag(){dataLayer.push(arguments);}
|
|
gtag('js', new Date());
|
|
|
|
gtag('config', 'G-59HNPDZF2T');
|
|
</script>
|
|
</head>
|
|
|
|
<body class="f5 sans-serif">
|
|
<div id="app">
|
|
loading here
|
|
</div>
|
|
<script src="/cljs-out/main_bundle.js" type="application/javascript"></script>
|
|
|
|
</body>
|
|
|
|
</html>
|