<meta charset="utf-8"> | |
<meta name="theme-color" content="#526E9C"> | |
<link rel="shortcut icon" href="/res/img/favicon.ico" /> | |
<meta http-equiv="X-UA-Compatible" content="IE=edge"> | |
<meta name="viewport" content="width=device-width, initial-scale=1.0"> | |
<script src="/res/js/core.js" type="text/javascript" charset="utf-8"></script> | |
<link href="/res/vul/elements.html" rel="import" /> | |
<!--We must use is=custom-style here so styles don't get leaked into local DOM. | |
Note that using custom-style inside <dom-module> can lead to | |
unintended consequences, such as CSS mixins not being visible. | |
https://www.polymer-project.org/1.0/docs/devguide/styling#custom-style --> | |
<style is="custom-style" include="iron-flex iron-flex-alignment"></style> | |
<style is="custom-style" type="text/css" media="screen"> | |
body { | |
margin: 0; | |
padding: 0; | |
transition: none; | |
font-family: sans-serif; | |
} | |
textarea { | |
padding: 0.5em; | |
font-family: monospace; | |
display: block; | |
border: none; | |
margin-left: 5em; | |
resize: none; | |
outline: none; | |
background: #eee; | |
font-size: 13px; | |
} | |
header { | |
background: #1f78b4; | |
color: white; | |
padding: 0.5em; | |
margin: 0; | |
} | |
header > * { | |
display: inline-block; | |
} | |
header h2 { | |
margin: 0; | |
} | |
header .version > * { | |
color: #eee; | |
} | |
#main { | |
padding: 1em; | |
} | |
#docs { | |
display: block; | |
margin: 1em 0; | |
} | |
#build { | |
color: white; | |
margin-right: 2em; | |
} | |
#navMenu { | |
margin: 0; | |
padding: 0; | |
} | |
#navMenu a { | |
color: #1F78B4; | |
text-decoration: none; | |
} | |
</style> |