Paulo Reis
|
ff576c5b9a
|
Make the text-only title customizable; pick nice colours for the OL version.
|
2017-10-23 15:56:52 +01:00 |
|
Paulo Reis
|
6e6c058d49
|
Fix the header.
|
2017-10-09 10:28:21 +01:00 |
|
Paulo Reis
|
f405dc49b3
|
Implement two different scrolling models for OL and SL.
|
2017-10-06 14:22:06 +01:00 |
|
Paulo Reis
|
15eb23da54
|
Overall project list page layout; flex-based, i.e. needs lots of testing
|
2017-10-05 16:35:53 +01:00 |
|
Paulo Reis
|
e68b166309
|
Style the navbar.
|
2017-09-28 12:12:33 +01:00 |
|
James Allen
|
f9690f9db0
|
Add Overleaf header logo
|
2017-08-08 08:26:26 +02:00 |
|
Paulo Reis
|
6d9563e8fb
|
Try Merriweather as serif font.
|
2017-03-28 15:18:34 +01:00 |
|
Paulo Reis
|
01df905986
|
Set new logo defaults, increase width and remove responsive portion (no need with SVG).
|
2017-03-27 13:33:49 +01:00 |
|
Paulo Reis
|
7316a429c0
|
Increase maximum brand image height.
|
2016-06-17 14:55:04 +01:00 |
|
Paulo Reis
|
732a0fdca0
|
Fit brand image into container.
|
2016-06-17 14:37:39 +01:00 |
|
James Allen
|
f75376124e
|
Update open source branding
|
2015-02-05 16:56:35 +00:00 |
|
James Allen
|
50748069f8
|
Don't just use webkit retina detection:
|
2014-07-23 12:09:11 +01:00 |
|
James Allen
|
134ea6f3df
|
Add retina logo
|
2014-07-23 12:03:13 +01:00 |
|
James Allen
|
cb57c2f28d
|
Tweak css and style on homepage
|
2014-07-22 11:50:15 +01:00 |
|
James Allen
|
cb2a120c12
|
Shrink margin between subdued links
|
2014-06-20 21:42:55 +01:00 |
|
James Allen
|
e5ca033538
|
Add in configurable headings/footers
|
2014-06-20 21:35:42 +01:00 |
|
James Allen
|
4f05926113
|
Get project page mostly styled
|
2014-06-06 17:47:52 +01:00 |
|
James Allen
|
0a1f1b8f38
|
Sort out responsive navbar
|
2014-06-06 16:37:59 +01:00 |
|
James Allen
|
753a7609e3
|
Loosely fix responsiveness of header
|
2014-06-04 17:57:29 +01:00 |
|
James Allen
|
72939e7dd8
|
Import new navbar design
|
2014-06-04 17:46:22 +01:00 |
|
James Allen
|
43684fda3a
|
Move to bootstrap 3 (site barely functional)
|
2014-06-04 16:14:35 +01:00 |
|