Mercurial > code > home > repos > homeauto
comparison service/store/index.html @ 1453:ea942d383f62
index page is a data browser. support for -v
Ignore-this: cbe181b141420e0d6872203e4738f86f
darcs-hash:ddf89fabcec49046d70987597a5b421a415e2335
author | drewp <drewp@bigasterisk.com> |
---|---|
date | Wed, 25 Sep 2019 17:29:12 -0700 |
parents | 1431cd58803d |
children |
comparison
equal
deleted
inserted
replaced
1452:1dd4da407c0b | 1453:ea942d383f62 |
---|---|
1 <!doctype html> | 1 <!doctype html> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <title>store</title> | 4 <title>store</title> |
5 <meta charset="utf-8" /> | 5 <meta charset="utf-8"> |
6 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script> | 6 <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents.min.js"></script> |
7 <script src="/lib/require/require-2.3.3.js"></script> | 7 <script src="/lib/require/require-2.3.3.js"></script> |
8 <script src="/rdf/common_paths_and_ns.js"></script> | 8 <script src="/rdf/common_paths_and_ns.js"></script> |
9 | |
10 <link rel="stylesheet" href="/rdf/browse/style.css"> | |
9 | 11 |
10 <link rel="import" href="/rdf/streamed-graph.html"> | 12 <link rel="import" href="/rdf/streamed-graph.html"> |
11 <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html"> | 13 <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html"> |
12 | 14 |
13 <meta name="mobile-web-app-capable" content="yes"> | 15 <meta name="mobile-web-app-capable" content="yes"> |
14 <meta name="viewport" content="width=device-width, initial-scale=1"> | 16 <meta name="viewport" content="width=device-width, initial-scale=1"> |
15 </head> | 17 </head> |
16 <body> | 18 <body class="rdfBrowsePage"> |
17 <template id="t" is="dom-bind"> | 19 <template id="t" is="dom-bind"> |
18 | 20 |
19 table of statements, creation times, creators, which UI they used | 21 table of statements, creation times, creators, which UI they used |
20 <streamed-graph url="graph/events" graph="{{graph}}"></streamed-graph> | 22 <streamed-graph url="graph/events" graph="{{graph}}"></streamed-graph> |
21 <div id="out"></div> | 23 <div id="out"></div> |
22 <script type="module" src="/rdf/streamed_graph_view.js"></script> | 24 <script type="module" src="/rdf/streamed_graph_view.js"></script> |
23 </template> | 25 </template> |
24 <style> | 26 <style> |
25 .served-resources { | 27 |
26 margin-top: 4em; | |
27 border-top: 1px solid gray; | |
28 padding-top: 1em; | |
29 } | |
30 .served-resources a { | |
31 padding-right: 2em; | |
32 } | |
33 </style> | 28 </style> |
34 | |
35 <div class="served-resources"> | 29 <div class="served-resources"> |
36 <a href="stats/">/stats/</a> | 30 <a href="stats/">/stats/</a> |
37 <a href="graph">/graph</a> | 31 <a href="graph">/graph</a> |
38 <a href="graph/events">/graph/events</a> | 32 <a href="graph/events">/graph/events</a> |
39 <a href="values">/values (put)</a> | 33 <a href="values">/values (put)</a> |