static/style.css

Fri, 18 Sep 2020 23:51:45 +0300

author
Teemu Piippo <teemu@hecknology.net>
date
Fri, 18 Sep 2020 23:51:45 +0300
changeset 145
fde18c4d6784
parent 72
62d0b5b9d797
permissions
-rw-r--r--

refactoring: moved context-dependant data to new class LDrawContext. ldcheck no longer writes the config file, and looks for it in sensible locations like ~/.config and /etc. LDraw libraries can now be specified on the command line.

32
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
1
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
2 body
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
3 {
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
4 font-family: sans-serif;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
5 margin: 0;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
6 }
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
7
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
8 .ldraw-code
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
9 {
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
10 font-family: monospace;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
11 }
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
12
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
13 .problems-list
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
14 {
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
15 list-style: none;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
16 }
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
17
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
18 .problems-list li
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
19 {
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
20 padding: 5px;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
21 border: 1px solid black;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
22 border-radius: 10px;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
23 margin-bottom: 3px;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
24 }
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
25
64
1c0884f5506e changed severity names to be better understood
Teemu Piippo <teemu@hecknology.net>
parents: 32
diff changeset
26 .problems-list li.problem-hold
32
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
27 {
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
28 background-color: #b44;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
29 border-color: red;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
30 color: white;
72
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
31 background-image: url(../static/hold.svg);
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
32 background-repeat: no-repeat;
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
33 background-position: left;
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
34 background-size: 32px;
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
35 }
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
36
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
37 .problem-content
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
38 {
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
39 display: inline-block;
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
40 padding-left: 40px;
32
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
41 }
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
42
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
43 .problems-list li.problem-warning
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
44 {
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
45 background-color: #def;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
46 border-color: #024;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
47 color: black;
72
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
48 background-image: url(../static/warning.svg);
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
49 background-repeat: no-repeat;
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
50 background-position: left;
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
51 background-size: 32px;
32
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
52 }
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
53
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
54 .problem-icon
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
55 {
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
56 float: left;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
57 margin-right: 10px;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
58 }
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
59
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
60 .top-form
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
61 {
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
62 background: white;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
63 background: linear-gradient(
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
64 to bottom,
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
65 #cceecf 0%,
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
66 #cceecf 85%,
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
67 #163 100%
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
68 );
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
69 padding-bottom: 2vh;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
70 padding-top: 2vh;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
71 padding-left: 5%;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
72 padding-right: 5%;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
73 text-align: center;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
74 }
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
75
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
76 .report-container
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
77 {
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
78 background: linear-gradient(
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
79 to bottom,
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
80 #ccc 0,
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
81 #fff 1vh,
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
82 #fff 100%
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
83 );
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
84 min-height: 10vh;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
85 padding-left: 5%;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
86 padding-right: 5%;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
87 padding-top: 2vh;
75f44d3063da Reworked web front, problems are now sorted by category as well as line number
Santeri Piippo
parents:
diff changeset
88 }
72
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
89
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
90 .problem-description
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
91 {
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
92 display: inline-block;
62d0b5b9d797 made problems be copied more nicely from the web front end
Teemu Piippo <teemu@hecknology.net>
parents: 64
diff changeset
93 }

mercurial