Skip to content

Commit eba6559

Browse files
mtf90mtf90
committed
cleanups
* unify link structure regarding `rel`s and `target`s. * use fontawesome to display github icons * use fontawesome to denote external links
1 parent 999fc93 commit eba6559

23 files changed

+3943
-60
lines changed

‎_includes/footer.html

+3-4
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,8 @@
1717
</ul>
1818
<ul class="nav d-block d-md-flex">
1919
<li class="nav-item">
20-
<a class="nav-link tu-link" href="http://ls5-www.cs.tu-dortmund.de" target="_blank">
21-
<img style="height: 24px; margin-right: 8px; margin-top: -4px;" src="{{ '/assets/images/tu.png' | relative_url }}" alt="TU Dortmund logo">TU Dortmund University
22-
</a>
20+
<a class="nav-link tu-link" href="http://ls5-www.cs.tu-dortmund.de">
21+
<img style="height: 24px; margin-right: 8px; margin-top: -4px;" src="{{ '/assets/images/tu.png' | relative_url }}" alt="TU Dortmund logo">TU Dortmund University</a>
2322
</li>
2423
</ul>
2524
</div>
@@ -28,7 +27,7 @@
2827
<div id="copyright">
2928
<div class="container d-md-flex justify-content-end">
3029
<p class="me-auto">
31-
LearnLib | Licensed under <a href="https://www.apache.org/licenses/LICENSE-2.0" title="Apache-2.0" target="_blank" rel="nofollow">Apache-2.0</a>.
30+
LearnLib | Licensed under <a href="https://www.apache.org/licenses/LICENSE-2.0" title="Apache-2.0">Apache-2.0</a>.
3231
</p>
3332
<p>
3433
This site is open source. <a href="https://github.com/LearnLib/learnlib.github.io/tree/main/{{ page.path }}">Improve this page</a>.

‎_includes/sidebar/alex.html

+10-13
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,8 @@
11
<aside id="site-sidebar" class="widget-area">
22

3-
<section class="widget widget-unstyled widget_github">
4-
<a href="https://github.com/Learnlib/alex" target="_blank">
5-
<img src="{{ '/assets/images/github.svg' | relative_url }}"
6-
style="height: 2em; width: 2em; margin-right: 1em;">ALEX @ GitHub
7-
</a>
8-
</section>
3+
<div class="widget widget-unstyled widget_github">
4+
<a href="https://github.com/Learnlib/alex"><i class="icon icon-github icon-2x"></i>ALEX @ GitHub</a>
5+
</div>
96

107
<section class="widget">
118
<h2 class="widget-title">ALEX</h2>
@@ -20,27 +17,27 @@ <h2 class="widget-title">ALEX</h2>
2017
<tbody>
2118
<tr>
2219
<td><span class="badge bg-secondary text-light align-text-top">3.0.0</span> May 24, 2022</td>
23-
<td><a href="https://github.com/LearnLib/alex/releases/download/v3.0.0/docker-compose.alex-3.0.0.yml" target="_blank">Download</a></td>
20+
<td><a href="https://github.com/LearnLib/alex/releases/download/v3.0.0/docker-compose.alex-3.0.0.yml">Download</a></td>
2421
</tr>
2522
<tr>
2623
<td><span class="badge bg-secondary text-light align-text-top">2.1.1</span> Apr 21, 2021</td>
27-
<td><a href="https://github.com/LearnLib/alex/releases/download/v2.1.1/docker-compose.alex-2.1.1.yml" target="_blank">Download</a></td>
24+
<td><a href="https://github.com/LearnLib/alex/releases/download/v2.1.1/docker-compose.alex-2.1.1.yml">Download</a></td>
2825
</tr>
2926
<tr>
3027
<td><span class="badge bg-secondary text-light align-text-top">2.0.0</span> Jun 12, 2020</td>
31-
<td><a href="https://github.com/LearnLib/alex/releases/download/v2.0.0/alex-2.0.0.war" target="_blank">Download</a></td>
28+
<td><a href="https://github.com/LearnLib/alex/releases/download/v2.0.0/alex-2.0.0.war">Download</a></td>
3229
</tr>
3330
<tr>
3431
<td><span class="badge bg-secondary text-light align-text-top">1.7.2</span> Jun 1, 2019</td>
35-
<td><a href="https://github.com/LearnLib/alex/releases/download/v1.7.2/alex-1.7.2.war" target="_blank">Download</a></td>
32+
<td><a href="https://github.com/LearnLib/alex/releases/download/v1.7.2/alex-1.7.2.war">Download</a></td>
3633
</tr>
3734
</tbody>
3835
</table>
3936
<strong>Related links</strong>
4037
<ul>
41-
<li><a href="https://learnlib.github.io/alex/" target="_blank">Homepage</a></li>
42-
<li><a href="https://learnlib.github.io/alex/book/" target="_blank">Documentation</a></li>
43-
<li><a href="https://learnlib.github.io/alex/book/contents/examples/todomvc/" target="_blank">Examples</a></li>
38+
<li><a href="https://learnlib.github.io/alex/">Homepage</a></li>
39+
<li><a href="https://learnlib.github.io/alex/book/">Documentation</a></li>
40+
<li><a href="https://learnlib.github.io/alex/book/contents/examples/todomvc/">Examples</a></li>
4441
</ul>
4542
</div>
4643
</section>

‎_includes/sidebar/automatalib.html

+8-11
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,8 @@
11
<aside id="site-sidebar" class="widget-area">
22

3-
<section class="widget widget-unstyled widget_github">
4-
<a href="https://github.com/Learnlib/automatalib" target="_blank">
5-
<img src="{{ '/assets/images/github.svg' | relative_url }}"
6-
style="height: 2em; width: 2em; margin-right: 1em;">AutomataLib @ GitHub
7-
</a>
8-
</section>
3+
<div class="widget widget-unstyled widget_github">
4+
<a href="https://github.com/Learnlib/automatalib"><i class="icon icon-github icon-2x"></i>AutomataLib @ GitHub</a>
5+
</div>
96

107
<section class="widget">
118
<h2 class="widget-title">AutomataLib</h2>
@@ -20,15 +17,15 @@ <h2 class="widget-title">AutomataLib</h2>
2017
<tbody>
2118
<tr>
2219
<td><span class="badge bg-secondary text-light align-text-top">0.11.0</span> Nov 6, 2023</td>
23-
<td><a href="http://learnlib.github.io/automatalib/maven-site/0.11.0/" target="_blank">API</a></td>
20+
<td><a href="http://learnlib.github.io/automatalib/maven-site/0.11.0/">API</a></td>
2421
</tr>
2522
<tr>
2623
<td><span class="badge bg-secondary text-light align-text-top">0.10.0</span> Oct 11, 2020</td>
27-
<td><a href="http://learnlib.github.io/automatalib/maven-site/0.10.0/" target="_blank">API</a></td>
24+
<td><a href="http://learnlib.github.io/automatalib/maven-site/0.10.0/">API</a></td>
2825
</tr>
2926
<tr>
3027
<td><span class="badge bg-secondary text-light align-text-top">0.9.0</span> Feb 5, 2020</td>
31-
<td><a href="http://learnlib.github.io/automatalib/maven-site/0.9.0/" target="_blank">API</a></td>
28+
<td><a href="http://learnlib.github.io/automatalib/maven-site/0.9.0/">API</a></td>
3229
</tr>
3330
</tbody>
3431
</table>
@@ -37,8 +34,8 @@ <h2 class="widget-title">AutomataLib</h2>
3734
<br>
3835
<strong>Related links</strong>
3936
<ul>
40-
<li><a href="https://github.com/LearnLib/automatalib/issues" target="_blank">Issue management</a></li>
41-
<li><a href="https://github.com/LearnLib/automatalib/discussions" target="_blank">Discussions</a></li>
37+
<li><a href="https://github.com/LearnLib/automatalib/issues">Issue management</a></li>
38+
<li><a href="https://github.com/LearnLib/automatalib/discussions">Discussions</a></li>
4239
</ul>
4340
</div>
4441
</section>

‎_includes/sidebar/learnlib.html

+6-8
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,7 @@
11
<aside id="site-sidebar" class="widget-area">
22

33
<div class="widget widget-unstyled widget_github">
4-
<a href="https://github.com/Learnlib/learnlib" target="_blank">
5-
<img src="{{ '/assets/images/github.svg' | relative_url }}" style="height: 2em; width: 2em; margin-right: 1em;" alt="Github logo">LearnLib @ GitHub
6-
</a>
4+
<a href="https://github.com/Learnlib/learnlib"><i class="icon icon-github icon-2x"></i>LearnLib @ GitHub</a>
75
</div>
86

97
<section class="widget">
@@ -19,15 +17,15 @@ <h2 class="widget-title">LearnLib</h2>
1917
<tbody>
2018
<tr>
2119
<td><span class="badge bg-secondary text-light align-text-top">0.17.0</span> Nov 15, 2023</td>
22-
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.17.0/" target="_blank">API</a></td>
20+
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.17.0/">API</a></td>
2321
</tr>
2422
<tr>
2523
<td><span class="badge bg-secondary text-light align-text-top">0.16.0</span> Oct 12, 2020</td>
26-
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.16.0/" target="_blank">API</a></td>
24+
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.16.0/">API</a></td>
2725
</tr>
2826
<tr>
2927
<td><span class="badge bg-secondary text-light align-text-top">0.15.0</span> Feb 6, 2020</td>
30-
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.15.0/" target="_blank">API</a></td>
28+
<td><a href="http://learnlib.github.io/learnlib/maven-site/0.15.0/">API</a></td>
3129
</tr>
3230
</tbody>
3331
</table>
@@ -36,8 +34,8 @@ <h2 class="widget-title">LearnLib</h2>
3634
<br>
3735
<strong>Related links</strong>
3836
<ul>
39-
<li><a href="https://github.com/LearnLib/learnlib/issues" target="_blank">Issue management</a></li>
40-
<li><a href="https://github.com/LearnLib/learnlib/discussions" target="_blank">Discussions</a></li>
37+
<li><a href="https://github.com/LearnLib/learnlib/issues">Issue management</a></li>
38+
<li><a href="https://github.com/LearnLib/learnlib/discussions">Discussions</a></li>
4139
</ul>
4240
</div>
4341
</section>

‎_sass/base.scss

+23-13
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,28 @@ a:hover {
1616
text-decoration: underline;
1717
}
1818

19+
a:not([href^="/"])::after {
20+
font-family: "FontAwesome";
21+
content: "\f08e";
22+
font-size: 0.7rem;
23+
margin-left: 3px;
24+
vertical-align: text-top;
25+
display: inline-block;
26+
text-decoration: none;
27+
}
28+
29+
table {
30+
@extend .table;
31+
}
32+
33+
table.releases {
34+
font-size: .85rem;
35+
}
36+
37+
img {
38+
@extend .img-fluid;
39+
}
40+
1941
#site-header {
2042
background: url("/assets/images/header-soft.jpg");
2143
background-size: cover;
@@ -60,16 +82,4 @@ a:hover {
6082
#copyright {
6183
padding: 1rem 0;
6284
background: #202831;
63-
}
64-
65-
table {
66-
@extend .table;
67-
}
68-
69-
table.releases {
70-
font-size: .85rem;
71-
}
72-
73-
img {
74-
@extend .img-fluid;
75-
}
85+
}

‎_sass/fontawesome/_bootstrap.scss

+84
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,84 @@
1+
/* BOOTSTRAP SPECIFIC CLASSES
2+
* -------------------------- */
3+
4+
/* Bootstrap 2.0 sprites.less reset */
5+
[class^="icon-"],
6+
[class*=" icon-"] {
7+
display: inline;
8+
width: auto;
9+
height: auto;
10+
line-height: normal;
11+
vertical-align: baseline;
12+
background-image: none;
13+
background-position: 0% 0%;
14+
background-repeat: repeat;
15+
margin-top: 0;
16+
}
17+
18+
/* more sprites.less reset */
19+
.icon-white,
20+
.nav-pills > .active > a > [class^="icon-"],
21+
.nav-pills > .active > a > [class*=" icon-"],
22+
.nav-list > .active > a > [class^="icon-"],
23+
.nav-list > .active > a > [class*=" icon-"],
24+
.navbar-inverse .nav > .active > a > [class^="icon-"],
25+
.navbar-inverse .nav > .active > a > [class*=" icon-"],
26+
.dropdown-menu > li > a:hover > [class^="icon-"],
27+
.dropdown-menu > li > a:hover > [class*=" icon-"],
28+
.dropdown-menu > .active > a > [class^="icon-"],
29+
.dropdown-menu > .active > a > [class*=" icon-"],
30+
.dropdown-submenu:hover > a > [class^="icon-"],
31+
.dropdown-submenu:hover > a > [class*=" icon-"] {
32+
background-image: none;
33+
}
34+
35+
36+
/* keeps Bootstrap styles with and without icons the same */
37+
.btn, .nav {
38+
[class^="icon-"],
39+
[class*=" icon-"] {
40+
// display: inline;
41+
&.icon-large { line-height: .9em; }
42+
&.icon-spin { display: inline-block; }
43+
}
44+
}
45+
.nav-tabs, .nav-pills {
46+
[class^="icon-"],
47+
[class*=" icon-"] {
48+
&, &.icon-large { line-height: .9em; }
49+
}
50+
}
51+
.btn {
52+
[class^="icon-"],
53+
[class*=" icon-"] {
54+
&.pull-left, &.pull-right {
55+
&.icon-2x { margin-top: .18em; }
56+
}
57+
&.icon-spin.icon-large { line-height: .8em; }
58+
}
59+
}
60+
.btn.btn-small {
61+
[class^="icon-"],
62+
[class*=" icon-"] {
63+
&.pull-left, &.pull-right {
64+
&.icon-2x { margin-top: .25em; }
65+
}
66+
}
67+
}
68+
.btn.btn-large {
69+
[class^="icon-"],
70+
[class*=" icon-"] {
71+
margin-top: 0; // overrides bootstrap default
72+
&.pull-left, &.pull-right {
73+
&.icon-2x { margin-top: .05em; }
74+
}
75+
&.pull-left.icon-2x { margin-right: .2em; }
76+
&.pull-right.icon-2x { margin-left: .2em; }
77+
}
78+
}
79+
80+
/* Fixes alignment in nav lists */
81+
.nav-list [class^="icon-"],
82+
.nav-list [class*=" icon-"] {
83+
line-height: inherit;
84+
}

0 commit comments

Comments
 (0)