Lint fix

web/ts/custom-elements/elements.ts

@@ -3,4 +3,4 @@ import * as help from "./help-icon";
 export function defineElements() {
     customElements.define("help-icon", help.HelpIcon);
     console.log("Defined custom elements");
-}
+}

web/ts/custom-elements/help-icon.ts

@@ -28,4 +28,4 @@ export class HelpIcon extends HTMLElement {
         this.className = "m-0 p-0 text-xs";
         this.style.textRendering = "";
     }
-}
+}

web/ts/entry/user.ts

@@ -1,3 +1,3 @@
 /* This bundle contains all functionality that students depend on when not watching a video */
 export * from "../global";
-export * from "../course-overview";
+export * from "../course-overview";

web/ts/global.ts

@@ -1,5 +1,5 @@
 import { StatusCodes } from "http-status-codes";
-import {defineElements} from "./custom-elements/elements";
+import { defineElements } from "./custom-elements/elements";
 
 export * from "./notifications";
 export * from "./user-settings";