Skip to content

Commit 0f3a4e2

Browse files
LaCunetaLaCuneta
committed
Cleanup: CSS whitespace, indents, duplicate rules, etc
Also add a Python script to automatically reset the hanging indents.
1 parent c9ef243 commit 0f3a4e2

23 files changed

Lines changed: 1352 additions & 1179 deletions

‎public/stylesheets/alert.css‎

Lines changed: 33 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -4,68 +4,67 @@
44

55
.dark-overlay {
66
background-color: rgba(0, 0, 0, 0.7);
7-
width: 100%;
8-
height: 100%;
9-
z-index: 3500;
10-
top: 0;
11-
left: 0;
12-
position: fixed;
7+
width: 100%;
8+
height: 100%;
9+
z-index: 3500;
10+
top: 0;
11+
left: 0;
12+
position: fixed;
1313
}
1414

1515
.alert-overlay {
16-
display: flex;
17-
align-items: center;
18-
align-items: center;
16+
display: flex;
17+
align-items: center;
1918
justify-content: center;
2019
}
2120

2221
.alert-dialog {
23-
font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
22+
font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
2423
background-color: whitesmoke;
25-
border: 2px black solid;
26-
border-radius: 20px;
27-
opacity: 1;
28-
overflow: hidden;
29-
width: fit-content;
30-
min-width: 450px;
31-
max-width: 1000px;
24+
border: 2px solid black;
25+
border-radius: 20px;
26+
opacity: 1;
27+
overflow: hidden;
28+
width: fit-content;
29+
min-width: 450px;
30+
max-width: 1000px;
3231
}
3332

3433
#alert-title {
35-
text-align: center;
34+
text-align: center;
3635
margin-bottom: 5px;
3736
}
3837

3938
.alert-text {
4039
text-align: left;
41-
padding: 10px;
42-
font-size: 16px;
43-
overflow: auto;
40+
padding: 10px;
41+
font-size: 16px;
42+
overflow: auto;
4443
}
4544

4645
.standalone-text {
47-
color: #555555;
48-
display: none;
46+
color: #555555;
47+
display: none;
4948
text-align: center;
5049
}
5150

5251
#alert-dismiss-container {
53-
border-top: 1px solid lightgray;
54-
width: 100%;
55-
text-align: center;
56-
padding: 10px 0;
57-
display: flex;
52+
border-top: 1px solid lightgray;
53+
width: 100%;
54+
text-align: center;
55+
padding: 10px 0;
56+
display: flex;
5857
justify-content: center;
5958
}
6059

6160
.alert-button {
62-
font-size: 14px;
63-
height: 25px;
64-
border-radius: 3px;
65-
border: 1px solid lightgray;
61+
font-size: 14px;
62+
height: 25px;
63+
border-radius: 3px;
64+
border: 1px solid lightgray;
6665
background-color: #e6e6e6;
67-
white-space: nowrap;
68-
margin: 0 10px;
66+
white-space: nowrap;
67+
margin: 0 10px;
6968
}
7069

7170
.alert-button:active {

‎public/stylesheets/classes.css‎

Lines changed: 52 additions & 52 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@
1818
}
1919

2020
.contained {
21-
height: 92%;
21+
height: 92%;
2222
min-height: 92%;
2323
}
2424

@@ -31,103 +31,103 @@
3131
}
3232

3333
.invisible {
34-
opacity:0;
35-
width: 0;
34+
opacity: 0;
35+
width: 0;
3636
z-index: -1;
3737
}
3838

3939
.text_input_margin {
40-
margin-top: 10px;
40+
margin-top: 10px;
4141
margin-right: 15px;
4242
}
4343

4444
.center {
4545
display: block;
46-
margin: auto;
46+
margin: auto;
4747
}
4848

4949
.spacious-entry {
50-
padding: 8px 8px;
50+
padding: 8px;
5151
}
5252

5353
.index-button {
54-
margin: 2%;
55-
border: 2px solid #347999;
56-
border-radius: 6px;
54+
margin: 2%;
55+
border: 2px solid #347999;
56+
border-radius: 6px;
5757
background-color: #DDF4FB;
58-
transition: background-color 0.25s;
59-
text-align: center;
58+
transition: background-color 0.25s;
59+
text-align: center;
6060
}
6161

6262
.index-button:hover {
6363
background-color: #E8FFFF;
6464
}
6565

6666
.index-button > h2 {
67-
margin-top: 3%;
67+
margin-top: 3%;
6868
margin-bottom: 0;
6969
}
7070

7171
.icon-button {
72-
display: block;
73-
width: 100%;
74-
height: auto;
75-
max-width: 192px;
72+
display: block;
73+
width: 100%;
74+
height: auto;
75+
max-width: 192px;
7676
max-height: 192px;
77-
margin: 16px auto;
77+
margin: 16px auto;
7878
}
7979

8080
.index-link {
81-
max-width: 300px;
82-
min-width: 200px;
81+
max-width: 300px;
82+
min-width: 200px;
8383
text-decoration: none !important;
84-
color: inherit;
84+
color: inherit;
8585
}
8686

8787
.index-link:hover {
8888
text-decoration: none;
89-
color: inherit;
89+
color: inherit;
9090
}
9191

9292
.properties-list {
93-
margin-left: 0;
94-
padding-left: 0;
95-
list-style: none;
93+
margin-left: 0;
94+
padding-left: 0;
95+
list-style: none;
9696
margin-bottom: 0;
9797
}
9898

9999
.properties-list > li {
100-
margin: auto;
101-
padding-left: 0;
102-
padding-top: 10px;
100+
margin: auto;
101+
padding-left: 0;
102+
padding-top: 10px;
103103
padding-bottom: 10px;
104-
border-top: 1px solid #5499B9;
104+
border-top: 1px solid #5499B9;
105105
}
106106

107107
.server-error {
108-
margin-top: 20px;
109-
font-size: 20px;
108+
margin-top: 20px;
109+
font-size: 20px;
110110
line-height: 25px;
111-
text-align: center;
111+
text-align: center;
112112
}
113113

114114
div.link-header {
115-
margin-left: -27px;
116-
margin-bottom: 20px;
117-
display: flex;
115+
margin-left: -27px;
116+
margin-bottom: 20px;
117+
display: flex;
118118
flex-direction: row;
119-
align-items: center;
119+
align-items: center;
120120
}
121121

122122
.anchor-header {
123-
visibility: hidden;
124-
display: block;
125-
margin-top: -20px;
123+
visibility: hidden;
124+
display: block;
125+
margin-top: -20px;
126126
padding-bottom: 20px;
127127
}
128128

129129
.anchor-header:target {
130-
margin-top: -40px;
130+
margin-top: -40px;
131131
padding-bottom: 40px;
132132
}
133133

@@ -136,13 +136,13 @@ div.link-header:hover > a > img.link-img {
136136
}
137137

138138
div.link-header > h2 {
139-
margin-top: 0;
139+
margin-top: 0;
140140
margin-bottom: 0;
141141
}
142142

143143
img.link-img {
144-
top: 50%;
145-
max-width: 20px;
144+
top: 50%;
145+
max-width: 20px;
146146
visibility: hidden;
147147
}
148148

@@ -156,16 +156,16 @@ img.link-img {
156156
*/
157157

158158
.dynamic-row {
159-
align-items: center;
160-
display: flex;
161-
flex-wrap: wrap;
159+
align-items: center;
160+
display: flex;
161+
flex-wrap: wrap;
162162
justify-content: space-between;
163163
}
164164

165165
.dynamic-column-holder {
166-
align-items: center;
167-
display: flex;
168-
flex-wrap: wrap;
166+
align-items: center;
167+
display: flex;
168+
flex-wrap: wrap;
169169
justify-content: space-around;
170170
}
171171

@@ -182,19 +182,19 @@ img.link-img {
182182
}
183183

184184
.flex-column {
185-
display: flex;
185+
display: flex;
186186
flex-direction: column;
187187
}
188188

189189
.flex-row {
190-
display: flex;
190+
display: flex;
191191
flex-direction: row;
192192
}
193193

194194
.invis {
195195
visibility: hidden;
196-
height: 0;
197-
width: 0;
196+
height: 0;
197+
width: 0;
198198
}
199199

200200
.vis {

‎public/stylesheets/classic.css‎

Lines changed: 11 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3,20 +3,23 @@
33
*/
44

55
.netlogo-command {
6-
background-color: #BCBCE5;
6+
background-color: #BCBCE5;
77
}
8+
89
.netlogo-command.netlogo-active, .netlogo-command:active {
9-
background-color: #000;
10-
color: #BCBCE5;
10+
background-color: #000;
11+
color: #BCBCE5;
1112
}
13+
1214
.netlogo-button.netlogo-disabled:active, .netlogo-forever-button.netlogo-disabled.netlogo-active {
13-
background-color: #BCBCE5;
14-
color: grey;
15+
background-color: #BCBCE5;
16+
color: grey;
1517
}
18+
1619
.netlogo-input {
17-
background-color: #82BCB7;
20+
background-color: #82BCB7;
1821
}
22+
1923
.netlogo-output {
20-
background-color: #E0E0B5;
24+
background-color: #E0E0B5;
2125
}
22-

‎public/stylesheets/element-overrides.css‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ table td {
1313
}
1414

1515
li {
16-
color: inherit;
16+
color: inherit;
1717
line-height: inherit;
1818
}
1919

@@ -22,10 +22,9 @@ li {
2222
*/
2323

2424
body, html {
25-
background-color: #343434
25+
background-color: #343434;
2626
}
2727

2828
body {
2929
padding-top: 30px; /* 30px to make the container go all the way to the bottom of the topbar */
3030
}
31-

0 commit comments

Comments
 (0)