Old version of runestone, before migration to bootstrap with highlighting feature and last page logging.