jorolf af0c49cca8 badge_size is the actual badge size now ...

also fixes rotateBadges bug when hover is lost

2018-04-16 18:27:18 +02:00

..

Header

badge_size is the actual badge size now

2018-04-16 18:27:18 +02:00

Sections

Simplify logic

2018-04-15 16:12:42 +09:00

ProfileHeader.cs

add badges to ProfileHeader

2018-04-15 23:49:45 +02:00

ProfileSection.cs

Normalize all the line endings

2018-04-13 18:26:38 +09:00