Thu, 26 Aug 2021 22:04:33 +0300
removed some alias tests that aren't mandated by the official header specification
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 | } |