Change user profile avatar from 75px to 80px

Author: carlbennett

src/static/a/userprofile.css

@@ -3,7 +3,7 @@
  */
 
 article > section.accountinfo {
-  min-height: 75px;
+  min-height: 80px;
 }
 article > section > img.avatar {
   background-color: rgba(0, 0, 0, 0.2);
@@ -12,7 +12,7 @@ article > section > img.avatar {
   box-shadow: inset 0 0 10px rgba(0, 0, 0, 0.6);
   float: left;
   margin: 0px 8px 8px 0px;
-  max-height: 75px;
+  max-height: 80px;
   max-width: 100px;
   padding: 0px;
   vertical-align: top;

src/templates/User/View.phtml

@@ -43,7 +43,7 @@ require("./header.inc.phtml");
         <a href="https://facebook.com/sharer/sharer.php?u=<?php echo urlencode($url); ?>" rel="external" data-popup="1"><img class="header-button float-right" src="<?php echo Common::relativeUrlToAbsolute("/a/social-facebook-24px.png"); ?>"/></a>
         <header>User Profile</header>
         <section class="accountinfo">
-          <img class="avatar" src="<?php echo $object->getAvatarURI(75); ?>" />
+          <img class="avatar" src="<?php echo $object->getAvatarURI(80); ?>" />
           <strong><?php echo $safe_name; ?></strong><br />
 <?php if (!$this->getContext()->biography) { ?>
           <p class="biography"><em>(no biography information.)</em></p>