misc

For some reason using the built in PDF viewer of browsers when printing may result in texts getting cut off, not being printed at all, or is printed in awkward sections of the paper.
The main solution we are proposing for now is to disable the built...
In order to install other languages in your browser: For Firefox:
  1. Click on the Menu button (three horizontal lines on the right-side of the toolbar).
  2. Click on Preferences->Content
  3. Under Languages, click on Choose
  4. In the "Select a language to...
If you want to type in other languages, you can add different keyboards
  1. Choose System->Preferences->Keyboard
  2. Click on the Layouts tab
  3. Click on Add
  4. Click on Layout Options and go to "Key(s) to change layout" - This will allow you to use keyboard...

You need to make sure the texlive packages are at the top of the path list.

Go to Edit->Preferences->Typesetting Under Paths for TeX and related programs, make sure that /usr/ias/texlive/2023/bin/x86_64-linux is listed at the top. If this is not...

In order to use synctex, you need to load the module for texlive 2012. Our workstation build uses TL2007 by default.

In order to utilize it, type the following on a command line (or your login script):

module load texlive

If you type module...