Fix the display of the profile name

src/app/header/header.component.html

@@ -24,10 +24,10 @@
 				<button mat-button mat-icon-button (click)="dialog.openSshKeys()">
 					<mat-icon>vpn_key</mat-icon>
 				</button>
-				<button *ngIf="userService.user != null" mat-button (click)="dialog.openProfile()">
-					{{ userService.user?.email }}
+				<button *ngIf="userService.user.profile_name != undefined" mat-button (click)="dialog.openProfile()">
+					{{ userService.user.profile_name }}
 				</button>
-				<button *ngIf="userService.user == null" mat-button (click)="dialog.openProfile()">
+				<button *ngIf="userService.user.profile_name == undefined" mat-button (click)="dialog.openProfile()">
 					Profile
 				</button>
 				<button mat-raised-button color="accent" (click)="userService.logout()">Logout</button>

src/app/types/types.module.ts

@@ -81,7 +81,7 @@ export interface Deployment {
 }
 
 export interface User {
-  email: string;
+  profile_name: string;
   userinfo: any;
   ssh_keys: SSHKey[];
   services: Service[];

src/styles.css

@@ -31,6 +31,10 @@ body {
 
 }
 
+button.mat-button {
+	margin-right: 10px;
+}
+
 mat-icon {
 	vertical-align: middle;
 	padding-right: 5px;