Here, beyond any doubt of mine, a porcupine had thrown quills from the dingle floor to its roof, a distance of over six feet. To clinch the matter I tapped his nose with the rod case when he started for the door, which made him turn and bristle up again.
A div tag defines a division (or section) of a HTML document. DIV elements can be used to structure HTML documents as a hierarchy of divisions. So it would be fair to say that 'div' is short for 'division'. You have to go back to the specification for HTML 3.2 to find that out though, as it isn't stated at all in any newer specifications. Here is the link: http://www.w3.org/TR/REC-html32#div.
What is a CSV file? CSV stands for Comma Separated Values. Files that contain the .csv file extension are comma delimited files that contain separated database fields. These database fields have been exported into a format that contains a single line for each database record. The record is then divided and each field of the record that has been exported into a single line is separated by a comma. Files with the .csv extension are very similar to plain text files. CSV files are commonly used to transfer data from one database or spreadsheet format to another.