/**********************Mine areas**************************/

/area/mine
	icon_state = "mining"

/area/mine/explored
	name = "Mine"
	icon_state = "explored"
	music = null

/area/mine/unexplored
	name = "Mine"
	icon_state = "unexplored"
	music = null

/area/mine/lobby
	name = "Mining station"

/area/mine/storage
	name = "Mining station Storage"

/area/mine/production
	name = "Mining station Production Area"

/area/mine/living_quarters
	name = "Abandoned Mining Station"

/area/mine/eva
	name = "Mining station EVA"

/area/mine/maintenance
	name = "Mining station Maintenance"

/area/mine/cafeteria
	name = "Mining station Cafeteria"

/area/mine/hydroponics
	name = "Mining station Hydroponics"

/area/mine/sleeper
	name = "Mining station Emergency Sleeper"