Added option for users to set the interface size

frontend/public/index.html

@@ -40,6 +40,12 @@
       To begin the development, run `npm start` or `yarn start`.
       To create a production bundle, use `npm run build` or `yarn build`.
 		-->
-    <script src="https://cdnjs.cloudflare.com/ajax/libs/holder/2.9.7/holder.js"></script>
+    <script>
+			/* functions to set user settings in console*/
+			function setInterfaceSize(size) {
+				document.documentElement.style.fontSize = `${size}%`;
+				localStorage.setItem("interfaceSize", size);
+			}
+		</script>
   </body>
 </html>

frontend/src/components/App.tsx

@@ -19,7 +19,14 @@ class App extends React.Component<{}, AppState> {
   constructor(props: {}) {
     super(props);
     this.state = { toggledLeft: false, toggledRight: false };
-  }
+	}
+	
+	componentDidMount(){
+		let interfaceSize = localStorage.getItem("interfaceSize");
+		if (interfaceSize){
+			document.documentElement.style.fontSize = `${interfaceSize}%`;
+		}
+	}
 
   toggleLeftBar() {
     this.setState((state) => ({