Mercurial > code > home > repos > streamed-graph

annotate src/streamed-graph.css @ 15:7ca4ff2088c3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
managed to use a newer ts or something, so this includes a bunch of type fixes too
author drewp@bigasterisk.com
date Sun, 08 Dec 2019 23:32:12 -0800
parents 6cd3aaf431b6
children 8b4dc9e87b56
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
1 :host {
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
2 display: flex;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
3 flex-direction: column;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
4 padding: 2px 0;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
5 }
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
6 div#ui {
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
7 display: inline-block;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
8 width: 30em;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
9 border: 1px solid gray;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
10 background: #BFBFBF;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
11 color: black;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
12 }
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
13 #ui button { width: 2em; }
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
14 div#graphView {
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
15
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
16 }
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
17 div a { color: #007; }
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
18 .expander {
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
19 display: inline-block;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
20 padding: 3px;
6cd3aaf431b6 more adds
drewp@bigasterisk.com
parents:
diff changeset
21 }
15
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
22
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
23 /* graph view */
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
24 @import url('https://fonts.googleapis.com/css?family=Allerta|Dosis|Jura&display=swap');
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
25
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
26 body.rdfBrowsePage {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
27 background: black;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
28 color: white;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
29 font-family: 'Allerta', sans-serif;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
30 font-size: 12px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
31 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
32
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
33 body.rdfBrowsePage pre {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
34 font-family: 'Allerta', sans-serif;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
35 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
36
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
37 body.rdfBrowsePage a {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
38 color: #b1b1fd;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
39 text-shadow: 1px 1px 0px #0400ff94;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
40 text-decoration-color: #00007714;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
41 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
42
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
43 section {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
44 border: 1px solid gray;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
45 padding: 4px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
46 font-family: 'Allerta', sans-serif;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
47 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
48 .spoGrid {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
49 display: flex;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
50 flex-direction: column;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
51 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
52 .subject, .predicate {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
53 display: flex;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
54 align-items: baseline;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
55 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
56
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
57 .predicate, .object {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
58 margin-left: 5px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
59 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
60 .subject { border-top: 1px solid #2f2f2f; }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
61 .literal {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
62 border: 1px solid gray;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
63 border-radius: 9px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
64 padding: 4px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
65 margin: 3px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
66 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
67
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
68 .subject > .node { border: 2px solid rgb(68, 141, 68); }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
69 .literalType {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
70 vertical-align: super;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
71 font-size: 80%;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
72 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
73 .literal {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
74 display: inline-block;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
75 font-family: monospace;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
76 font-size: 115%;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
77 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
78 .resource {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
79 display: inline-block;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
80 background: lightblue;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
81 border-radius: 6px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
82 padding: 1px 6px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
83 margin: 2px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
84 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
85 .predicate > a {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
86 color: #e49dfb;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
87 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
88 .predicate > a::before {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
89 content: "━";
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
90 font-size: 125%;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
91 font-weight: bolder;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
92 padding-right: 2px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
93 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
94 .predicate > a::after {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
95 content: "🠪";
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
96 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
97 .comment { color: green; }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
98
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
99 table.typeBlock {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
100 border-collapse: collapse;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
101 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
102 table.typeBlock th {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
103 background: #1f1f1f;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
104 border: 2px #333333 outset;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
105 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
106 table.typeBlock td {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
107 white-space: nowrap;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
108 background: #2b2b2b;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
109 border: 2px #4a4a4a outset;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
110 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
111 table.typeBlock td .literal {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
112 padding-top: 1px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
113 padding-bottom: 1px;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
114 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
115 .typeBlockScroll {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
116 max-width: 100%;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
117 overflow-x: auto;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
118 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
119
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
120 /*
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
121 for my pages serving rdf data, not necessarily part of browse/
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
122 */
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
123 .served-resources {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
124 margin-top: 4em;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
125 border-top: 1px solid gray;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
126 padding-top: 1em;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
127 }
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
128 .served-resources a {
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
129 padding-right: 2em;
7ca4ff2088c3 managed to use a newer ts or something, so this includes a bunch of type fixes too
drewp@bigasterisk.com
parents: 2
diff changeset
130 }