blob: ba20b0dd689d2b018e9d073a4332907c3860764b [file] [log] [blame]
<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>