export const WALK_MISSING = "The walk for this node is not available.";

export const VIEW_FULL_WALK_TITLE = "View the walk in full";

export const WALK_HINT = "Select a cell to read what it is.";

export const DEPTH_LABEL = "depth ";

export const LOCATION_RELATION = "location";

export const DEPTH_RELATION = "depth";

export const SEVERITY_RELATION = "severity";

export const STEP_LABEL = "Step";

export const OF_STEPS_LABEL = " of ";

export const PREVIOUS_STEP_LABEL = "← previous";

export const NEXT_STEP_LABEL = "next →";

export const STEPS_LABEL = " steps";

export const SOURCE_MISSING = "The source for this file is not available.";

export const SOURCE_LOADING = "Loading the source.";

export const SOURCE_SERVED_LEAD = "The source is served as text at ";

export const DEFINITION_CITED_LEAD = "The cited definition is at ";

export const DEFINITION_MISSING = "The cited definition is not in the derived tree.";