void showCode()
{
GUILayout.BeginArea(new Rect(Screen.width * 0.07f, Screen.height * 0.14f, Screen.width * 0.383f, Screen.height * 0.725f));
scroll_position = GUILayout.BeginScrollView (scroll_position, GUILayout.Width(Screen.width * 0.383f), GUILayout.Height(Screen.height * 0.725f)); // Should vary the size of the last rect by how much text we have??
foreach (Tuple<Rect, Texture2D> tup in (new Highlight()).highlightPage(currentPage().code)) {
GUI.DrawTexture(tup.Item1, tup.Item2);
}
GUI.SetNextControlName("ReferenceCode");
GUILayout.TextArea(currentPage().code, code_style);
//GUILayout.Label(currentPage().code, code_style);
//GUILayout.Box(currentPage().code, code_style);
GUILayout.EndScrollView();
GUILayout.EndArea();
}