| <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,chrome=1"> | |
| <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; | |
| } | |
| #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> |