Well theres so much material in the Expanded Universe including a book called "Death Star" that tells the story of the Rebel Alliance victory from the perspective of people who worked there. So, I would just have to assume that they went over the specs/dimensions/weight of the Death Star at some point.