changeset 1546:85f0eea823f8

page styles Ignore-this: 29c0f7dcd203e73e7569c796686f8802 darcs-hash:f1367e0191d448b824aa5950df49aca51db67c59
author drewp <drewp@bigasterisk.com>
date Thu, 13 Feb 2020 10:19:46 -0800
parents 4c0324fc2192
children 89e1bcc02552
files service/dhcpleases/dhcpleases.py service/dhcpleases/index.html
diffstat 2 files changed, 5 insertions(+), 13 deletions(-) [+]
line wrap: on
line diff
--- a/service/dhcpleases/dhcpleases.py	Thu Feb 13 10:19:22 2020 -0800
+++ b/service/dhcpleases/dhcpleases.py	Thu Feb 13 10:19:46 2020 -0800
@@ -1,7 +1,7 @@
 """
 statements about dhcp leases (and maybe live-host pings)
 
-also read 'arp -an' and our dns list 
+also read 'arp -an' and our dns list
 """
 import datetime, itertools, os
 
--- a/service/dhcpleases/index.html	Thu Feb 13 10:19:22 2020 -0800
+++ b/service/dhcpleases/index.html	Thu Feb 13 10:19:46 2020 -0800
@@ -2,12 +2,14 @@
 <html>
   <head>
     <title>dhcp leases</title>
-    <meta charset="utf-8" />
+    <meta charset="utf-8">
     <script src="/lib/polymer/1.0.9/webcomponentsjs/webcomponents-lite.min.js"></script>
 
     <script src="/lib/require/require-2.3.3.js"></script>
     <script src="/rdf/common_paths_and_ns.js"></script>
 
+    <link rel="stylesheet" href="/rdf/browse/style.css">
+
     <link rel="import" href="/rdf/streamed-graph.html">
     <link rel="import" href="/lib/polymer/1.0.9/polymer/polymer.html">
 
@@ -15,7 +17,7 @@
     <meta name="viewport" content="width=device-width, initial-scale=1">
 
   </head>
-  <body>
+  <body class="rdfBrowsePage">
     <h1>Active dhcp leases</h1>
     <p><a href="../wifi">go to wifi</a>; <a href="/rdf/browse/?graph=https%3A%2F%2Fbigasterisk.com%2Fsse_collector%2Fgraph%2Fnetwork">merge with wifi</a></p>
 
@@ -26,16 +28,6 @@
       <script type="module" src="/rdf/streamed_graph_view.js"></script>
 
     </template>
-    <style>
-     .served-resources {
-         margin-top: 4em;
-         border-top: 1px solid gray;
-         padding-top: 1em;
-     }
-     .served-resources a {
-         padding-right: 2em;
-     }
-    </style>
 
     <div class="served-resources">
       <a href="stats/">/stats/</a>