Coverage for lobster/tools/core/html_report/html_report_css.py: 100%
1 statements
« prev ^ index » next coverage.py v7.10.6, created at 2025-09-18 11:07 +0000
« prev ^ index » next coverage.py v7.10.6, created at 2025-09-18 11:07 +0000
1CSS = """
2.button {
3 background-color: #818589;
4 border: none;
5 border-radius: 5px;
6 color: white;
7 padding: 12px 25px;
8 text-align: center;
9 text-decoration: none;
10 display: inline-block;
11 font-size: 14px;
12 margin: 4px 2px;
13 cursor: pointer
14}
16.button active:before {
17 position: absolute;
18 left: 0;
19 top: 0;
20 display: inline-block;
21 width: 0;
22 height: 0;
23 border-style: solid;
24 border-width: 15px 15px 0 0;
25 border-color: #333 transparent transparent transparent
26}
28.buttonActive.button {
29 text-decoration: none;
30 border: 5px solid #000000
31}
33.buttonOK {
34 background-color: #04AA6D;
35 color: white;
36 border: 2px solid #04AA6D;
37 border-radius: 5px
38}
40.buttonOK:hover {
41 background-color: #026641;
42 color: white;
43 border: 2px solid #026641
44}
46.buttonActive.buttonOK {
47 text-decoration: none;
48 border: 5px solid #026641
49}
51.buttonPartial {
52 background-color: #17a2b8;
53 color: white;
54 border: 2px solid #17a2b8;
55 border-radius: 5px
56}
58.buttonPartial:hover {
59 background-color: #0e616e;
60 color: white;
61 border: 2px solid #0e616e
62}
64.buttonActive.buttonPartial {
65 text-decoration: none;
66 border: 5px solid #0e616e
67}
69.buttonMissing {
70 background-color: #f44336;
71 color: white;
72 border: 2px solid #f44336;
73 border-radius: 5px
74}
76.buttonMissing:hover {
77 background-color: #a91409;
78 color: white;
79 border: 2px solid #a91409
80}
82.buttonActive.buttonMissing {
83 text-decoration: none;
84 border: 5px solid #a91409
85}
87.buttonJustified {
88 background-color: #6c757d;
89 color: white;
90 border: 2px solid #6c757d;
91 border-radius: 5px
92}
94.buttonJustified:hover {
95 background-color: #41464b;
96 color: white;
97 border: 2px solid #41464b
98}
100.buttonActive.buttonJustified {
101 text-decoration: none;
102 border: 5px solid #41464b
103}
105.buttonWarning {
106 background-color: #ffbf00;
107 color: white;
108 border: 2px solid #ffbf00;
109 border-radius: 5px
110}
112.buttonWarning:hover {
113 background-color: #997300;
114 color: white;
115 border: 2px solid #997300
116}
118.buttonActive.buttonWarning {
119 text-decoration: none;
120 border: 5px solid #997300
121}
123.buttonBlue {
124 background-color: #0000ff;
125 color: white;
126 border: 2px solid #0000ff;
127 border-radius: 5px
128}
130.buttonBlue:hover {
131 background-color: #000099;
132 color: white;
133 border: 2px solid #000099
134}
136.buttonActive.buttonBlue {
137 text-decoration: none;
138 border: 5px solid #000099
139}
140"""