Yes, this was me fixing up the LateX editor so it would work in our modal. This particular line needs to be applied via js because it uses some of the old modal. I'll check the commented out line. The two lines following make the modal fit into the browser window instead of our small modal window.