Skip to content

Commit a735f02

Browse files
author
Matt Luckcuck
committed
Updating to use W3.css for layouts. (Should basically look the same)
1 parent 28e5c9e commit a735f02

File tree

8 files changed

+61
-55
lines changed

8 files changed

+61
-55
lines changed

_config.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ email:
44
author: Autonomy and Verification Network
55

66
keywords: autonomous systems, robotics, artificial intelligence, formal verification, sensor systems, programming, formal modelling
7-
description: The Autonomy and Verification Network is distributed across several universities, including The University of Manchester, University of Liverpool, Liverpool John Moores University, and Lancaster University Leipzig
7+
description: The Autonomy and Verification Network is distributed across several universities, including The University of Manchester, University of Nottingham, University of Aberdeen, and University of Modena and Reggio Emilia
88

99
# Only use this if you are serving your site via Github Pages
1010
#github:

_includes/head.html

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,9 @@
2222

2323

2424

25-
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.5.0/css/all.css">
25+
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.5.0/css/all.css">
2626
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.5.0/css/v4-shims.css">
27+
<link rel="stylesheet" href="https://www.w3schools.com/w3css/4/w3.css">
2728
{% include metadata.html %}
2829

2930
</head>

contact.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,6 @@ We welcome opportunities for collaboration and media engagement.
77

88
For more information please contact [Prof. Michael Fisher](https://web.cs.manchester.ac.uk/~michael/), who is the head of the network.
99

10-
You can also keep up with our activities on twitter <a href="https://twitter.com/{{ site.twitter_user }}">
11-
<i class="fab fa-twitter"></i> @{{ site.twitter_user }} </a> and <a href="https://www.researchgate.net/lab/{{ site.researchgate_username }}"><i class="fab fa-researchgate"></i> research gate </a> and <a href="https://github.com/autonomy-and-verification-uol"><i class="fab fa-github"></i> GitHub</a>.
10+
You can also keep up with our activities on Twitter <a href="https://twitter.com/{{ site.twitter_user }}">
11+
<i class="fab fa-twitter"></i> @{{ site.twitter_user }} </a> and <a href="https://github.com/autonomy-and-verification-uol"><i class="fab fa-github"></i> GitHub</a>.
1212

events.md

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -5,10 +5,11 @@ title: Events
55

66
Upcoming Workshops, Tutorials, and other events run by [Members](/members) of the Autonomy and Verification Network.
77

8-
<article class="row">
8+
<article class="w3-row">
9+
<div class="w3-container">
10+
<section class="w3-threequarter">
11+
<h3>Upcoming Events</h3>
912

10-
<section class="columns large-7">
11-
<h2>Upcoming Events</h2>
1213
<ul>
1314
{% for event in site.events %}
1415
{% if event.date >= site.time %}
@@ -25,7 +26,7 @@ Upcoming Workshops, Tutorials, and other events run by [Members](/members) of th
2526
{% endfor %}
2627
</ul>
2728

28-
<h2>Past Events</h2>
29+
<h3>Past Events</h3>
2930
<ul>
3031
{% assign dates = site.events | sort: date %}
3132
{% assign revDates = dates | reverse %}
@@ -44,11 +45,11 @@ Upcoming Workshops, Tutorials, and other events run by [Members](/members) of th
4445
{% endfor %}
4546
</ul>
4647

47-
48+
</div>
4849
</section>
4950

50-
<section class="columns large-3" >
51-
<h2>Event Series</h2>
51+
<section class="3-container w3-quarter" >
52+
<h3>Event Series</h3>
5253
<ul>
5354
{% for event in site.events %}
5455
{% if event.series == true %}

index.md

Lines changed: 23 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -3,25 +3,30 @@ layout: page
33
title: Home
44
---
55

6-
<article class="row">
7-
8-
<section class="columns small-12 large-7" >
9-
<div markdown="1">
10-
11-
The Autonomy and Verification Network is a research collaboration that focusses on autonomous systems and their verification. Practical autonomous systems that the network have tackled include pilotless aircraft, robotics, and distributed sensor systems.
12-
13-
The network began as the Autonomy and Verification Lab at the University of Liverpool, and in an effort to maintain our collaborations as group members left for other institutions we formed this cross-university network. The network is now distributed across several universities, including The University of Manchester, University of Bergen, Liverpool John Moores University, University of Nottingham, University of Aberdeen, and University of Genova.
14-
15-
The network is led by [Professor Michael Fisher](https://web.cs.manchester.ac.uk/~michael/).
16-
17-
6+
The Autonomy and Verification Network is a collaborative research network that focusses on the specification, modelling, and verification of autonomous systems. The network is led by [Professor Michael Fisher](https://web.cs.manchester.ac.uk/~michael/).
7+
8+
The network began as the Autonomy and Verification Lab at the University of Liverpool, and in an effort to maintain our collaborations as group members left for other institutions we formed this cross-university network. The network is now distributed across several universities, including The University of Manchester, University of Nottingham, University of Aberdeen, and University of Modena and Reggio Emilia.
9+
10+
<div class="w3-row">
11+
<div class="w3-half w3-container" markdown="1">
12+
Our work covers a variety of themes, including:
13+
* Verifiable Architectures;
14+
* BDI Languages and Extensions;
15+
* Human-Robot Interaction;
16+
* Responsibility, Ethics, and Explainability;
17+
* Logics, Requirements Enginggering, and Specification;
18+
* Runtime Verification;
19+
* Standards and Policy for Autonomy.
20+
</div>
21+
<div class="w3-half w3-container" markdown="1">
22+
Practical autonomous systems that the network have tackled include:
23+
* pilotless aircraft,
24+
* ground rovers,
25+
* control systems, and
26+
* distributed sensor systems.
1827
</div>
28+
</div>
29+
1930

20-
</section>
21-
<section class="columns small-12 large-4" >
22-
2331

24-
<a class="twitter-timeline" data-height="800" data-theme="dark" href="https://twitter.com/AandVNetwork?ref_src=twsrc%5Etfw">Tweets by AandVNetwork</a> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
25-
</section>
2632

27-
</article>

members.md

Lines changed: 11 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,12 @@ layout: page
33
title: Members
44
---
55

6-
<section class="row">
7-
<h2>Current Members</h2>
8-
6+
<h3>Current Members</h3>
7+
<section class="w3-row">
98
{% for institute in site.data.members.CurrentMembers %}
10-
<section class="small-5 medium-4 columns">
9+
<section class="w3-third w3-container">
1110
<div class="shaded_box">
12-
<h3 style="text-decoration: underline;">{{ institute.Institute }} </h3>
11+
<h4 class="w3-margin-left" style="text-decoration: underline;">{{ institute.Institute }} </h4>
1312
<ul >
1413
{% assign sortedMembers = institute.MembersList | sort: "secondName" %}
1514
{% for member in sortedMembers %}
@@ -31,14 +30,13 @@ title: Members
3130
</section>
3231
<br>
3332

34-
<section class="row">
35-
36-
<h2> Affiliated Members </h2>
33+
<h3> Affiliated Members </h3>
34+
<section class="w3-row">
3735
{% for institute in site.data.members.AffiliatedMembers %}
3836

39-
<section class="small-5 medium-4 columns">
37+
<section class="w3-third w3-container">
4038
<div class="shaded_box">
41-
<h3 style="text-decoration: underline;">{{ institute.Institute }}</h3>
39+
<h4 class="w3-margin-left" style="text-decoration: underline;">{{ institute.Institute }}</h4>
4240

4341
<ul>
4442
{% assign sortedAffiliates = institute.MembersList | sort: "secondName" %}
@@ -62,9 +60,9 @@ title: Members
6260
</section>
6361
<br>
6462

65-
<section class="row">
66-
<h2> Previous Members </h2>
67-
<div class="shaded_box">
63+
<h3> Previous Members </h3>
64+
<section class="w3-row">
65+
<div class="shaded_box w3-container w3-threequarter">
6866
<ul>
6967
{% for member in site.data.members.PreviousMembers %}
7068
<li>

projects.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -10,12 +10,12 @@ The current research projects the the Autonomy and Verification Network is invol
1010

1111
{% assign rows = site.projects.size | divided_by: 2.0 | ceil %}
1212
{% for i in (1..rows) %}
13-
<article class="row">
13+
<article class="w3-row w3-margin-bottom">
1414
{% assign offset = forloop.index0 | times: 2 %}
1515
{% for project in site.projects limit:2 offset:offset %}
16-
<section class="columns large-6">
17-
<div class="shaded_box">
18-
<h3 style="text-decoration: underline;"> {{project.title}}</h3>
16+
<section class="w3-half w3-container">
17+
<div class="shaded_box w3-container w3-display-container" style="min-height:270px">
18+
<h3 class="w3-margin-left" style="text-decoration: underline;"> {{project.title}}</h3>
1919

2020
{{project.content}}
2121
</div>
@@ -31,10 +31,10 @@ The current research projects the the Autonomy and Verification Network is invol
3131

3232
{% assign rows = site.projects-previous.size | divided_by: 2.0 | ceil %}
3333
{% for i in (1..rows) %}
34-
<article class="row">
34+
<article class="w3-row">
3535
{% assign offset = forloop.index0 | times: 2 %}
3636
{% for project in site.projects-previous limit:2 offset:offset %}
37-
<section class="columns large-6">
37+
<section class="w3-half w3-container">
3838
<div class="shaded_box">
3939
<h3 style="text-decoration: underline;"> {{project.title}}</h3>
4040

tools.md

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -11,19 +11,20 @@ The list below gives a short description of each tool. Click "More Details" for
1111

1212
{% assign rows = site.tools.size | divided_by: 2.0 | ceil %}
1313
{% for i in (1..rows) %}
14-
<article class="row">
14+
<article class="w3-row w3-margin-bottom">
1515
{% assign offset = forloop.index0 | times: 2 %}
1616
{% for tool in site.tools limit:2 offset:offset %}
17-
<section class="columns large-6">
18-
<div class="shaded_box" style="min-height:270px">
19-
<div style="margin:0 25px">
17+
<section class="w3-half w3-container">
18+
<div class="shaded_box w3-container w3-display-container" style="min-height:270px">
19+
2020
<a href="{{ tool.url }}"><h3 style="text-decoration: underline;">{{tool.title}}</h3></a>
2121
<h4> {{tool.author}} </h4>
2222
<p>{{tool.blurb}}</p>
23-
<p><a href="{{ tool.url }}">More Details</a></p>
24-
</div>
23+
<div class="w3-display-bottommiddle"><a class="w3-button w3-leftbar w3-rightbar w3-topbar w3-bottombar w3-round-large" href="{{ tool.url }}">More Details >></a></div>
24+
2525
</div>
26-
</section>
26+
</section>
27+
2728
{% endfor %}
2829
</article>
2930
<br>

0 commit comments

Comments
 (0)