static/style.css

Thu, 26 Aug 2021 19:16:25 +0300

author
Teemu Piippo <teemu@hecknology.net>
date
Thu, 26 Aug 2021 19:16:25 +0300
changeset 146
3555679d276b
parent 72
62d0b5b9d797
permissions
-rw-r--r--

Cleanup ldcheck.py
Remove dependency on configobj. Configuration file replaced with command line arguments and rcfile

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