Tony Garnock-Jones
|
75103fe34f
|
Tweaks
|
2021-03-31 09:54:28 +02:00 |
Tony Garnock-Jones
|
7bdbf52c20
|
Fix asymmetry
|
2021-03-30 22:48:01 +02:00 |
Tony Garnock-Jones
|
e831b4c1cb
|
More tweaks
|
2021-03-30 22:47:13 +02:00 |
Tony Garnock-Jones
|
75f091ee2f
|
Tweak
|
2021-03-30 22:41:29 +02:00 |
Tony Garnock-Jones
|
efcfadbd67
|
Tweaks
|
2021-03-30 22:36:50 +02:00 |
Tony Garnock-Jones
|
b67a671fe7
|
More style edits
|
2021-03-30 22:32:18 +02:00 |
Tony Garnock-Jones
|
da60ff6959
|
Redo site look
|
2021-03-30 21:21:25 +02:00 |
Tony Garnock-Jones
|
4c574f0dda
|
Minor style tweaks from Dec 2018 (?)
|
2021-03-30 16:35:19 +02:00 |
Tony Garnock-Jones
|
f8824cb505
|
CSS for sidebar
|
2018-12-22 18:37:07 +00:00 |
Tony Garnock-Jones
|
ce95b9c0dd
|
Fix bad class names in css
|
2018-12-22 18:36:59 +00:00 |
Tony Garnock-Jones
|
cc248ea27c
|
Tweak example styles for small windows
|
2018-12-22 18:07:37 +00:00 |
Tony Garnock-Jones
|
01c2a1727e
|
Nav
|
2018-12-22 17:58:15 +00:00 |
Tony Garnock-Jones
|
4767d3bb73
|
Restyle
|
2018-12-22 17:49:09 +00:00 |
Tony Garnock-Jones
|
865b3ae8a1
|
Installation instructions
|
2018-06-01 10:03:59 +01:00 |
Tony Garnock-Jones
|
050821e714
|
Style support for (potential) code walkthrough pages
|
2018-06-01 09:42:43 +01:00 |
Tony Garnock-Jones
|
559823fcd7
|
Dissertation resources
|
2018-01-17 15:13:08 +00:00 |
Tony Garnock-Jones
|
1ddfa3ee99
|
Link to homepage in banner; link to examples page.
|
2016-04-06 18:42:05 +02:00 |
Tony Garnock-Jones
|
3b63445160
|
Fix spacing
|
2016-04-04 05:21:18 +02:00 |
Tony Garnock-Jones
|
ba4bcf9a49
|
Better organisation; examples; ESOP2014
|
2016-04-04 05:13:46 +02:00 |
Tony Garnock-Jones
|
c14f4558e7
|
More content
|
2016-04-01 21:03:03 -04:00 |
Tony Garnock-Jones
|
d722bc759d
|
Spacing tweaks
|
2016-04-01 15:37:56 -04:00 |
Tony Garnock-Jones
|
925adf5bc7
|
Comment out text
|
2016-04-01 15:33:35 -04:00 |
Tony Garnock-Jones
|
80a2b489f1
|
Alter banner colours
|
2016-04-01 15:30:14 -04:00 |
Tony Garnock-Jones
|
867dfab93b
|
Responsiveness
|
2016-04-01 15:08:50 -04:00 |
Tony Garnock-Jones
|
90e53f2758
|
Repair missing boldness in strong tag
|
2016-04-01 14:54:57 -04:00 |
Tony Garnock-Jones
|
309238caa8
|
Tweak colors
|
2016-04-01 14:53:00 -04:00 |
Tony Garnock-Jones
|
20d23497d5
|
Progress
|
2016-04-01 14:33:58 -04:00 |
Tony Garnock-Jones
|
03a521319a
|
More sketch of site
|
2016-03-30 18:32:07 -04:00 |