You'll replace it with actual numbers. You can make a new project with the default Ren'Py template and copy over the actual values of any gui value that shows up if you aren't sure. Something like
background Frame(["gui/frame.png"], gui.history_frame_borders, tile=True)
can just be
background Frame(["gui/frame.png"], 5, 5, 5, 5, tile=True)
There isn't really much use of the gui values in that code so you should be mostly fine to copy it over.

