2017-10-13 18:00:51 -07:00
|
|
|
<!doctype html>
|
2016-07-29 12:44:35 -07:00
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8" />
|
|
|
|
|
<title>Slate</title>
|
|
|
|
|
<link rel="stylesheet" href="https://fonts.googleapis.com/icon?family=Material+Icons">
|
|
|
|
|
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Roboto:400,400i,700,700i&subset=latin-ext" >
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<main></main>
|
2017-10-26 10:18:02 -06:00
|
|
|
<script src="https://cdn.polyfill.io/v2/polyfill.min.js?features=default,es6,es7"></script>
|
2016-12-16 18:19:48 -08:00
|
|
|
<script>
|
2017-10-13 18:00:51 -07:00
|
|
|
/* eslint-disable */
|
2016-12-25 21:18:16 -08:00
|
|
|
// Dynamically creates the script and link tag and adds the current time
|
|
|
|
|
// in ms as a query on the URL. This ensures the script and the link is
|
2017-10-13 18:00:51 -07:00
|
|
|
// always reloaded. Useful during debugging because we want to see changes
|
|
|
|
|
// to the JavaScript and CSS code immediately.
|
2016-12-25 21:18:16 -08:00
|
|
|
var head = document.getElementsByTagName('head')[0]
|
|
|
|
|
var script = document.createElement('script')
|
|
|
|
|
var time = new Date().getTime()
|
|
|
|
|
script.type = 'text/javascript'
|
|
|
|
|
script.src = 'build.dev.js?' + time
|
|
|
|
|
head.appendChild(script)
|
|
|
|
|
var link = document.createElement('link')
|
|
|
|
|
link.rel = 'stylesheet'
|
|
|
|
|
link.href = 'index.css?' + time
|
|
|
|
|
head.appendChild(link)
|
2016-12-16 18:19:48 -08:00
|
|
|
</script>
|
2016-07-29 12:44:35 -07:00
|
|
|
</body>
|
|
|
|
|
</html>
|
