export const CONTENTS_TITLE = "Contents";

export const EFFECTIVE_LABEL = "Effective: ";

export const UPDATED_LABEL = "Updated: ";

export const VERSION_PREFIX = "v";

export const VERSION_LABEL = "Version: ";