Tue, 25 Aug 2020 23:04:27 +0300
replaced the collinear test with a new one based on the hairline test that checks interior angles against official limits of 0.025 and 179.9
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 | } |