Fri, 18 Sep 2020 23:51:45 +0300
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 | } |