<commit_before><!DOCTYPE html>
<header>
  <title>Blog</title>
</header>
<body>
    <nav>
      <ul>
        <li>Home</li>
        <li>About Me</li>
        <li>Portfolio</li>
        <li>Blog</li>
        <li>Contact</li>
      </ul>
    </nav>
  <aside>
    <ul>
      <li><a href="http://cfcrawford.github.io/blog/git.html">Week 1</a></li>
      <li>Week 1</li>
      <li>Week 3</li>
      <li>Week 4</li>
      <li>Week 5</li>
      <li>Week 6</li>
      <li>Week 7</li>
    </aside>
  <article>
    <h2>Exploring the Differences between Margin, Padding and Border</h2>
    <p>An important concept to understand in HTML and CSS is the Box model. Every element on a page can be considered to be its own box, with padding, border, and margins around it. Though they are all white space around the element they serve different purposes.

<h3>Content</h3>
  <p>The content is what actually appears on a page, whether it be text, a photo or diagram. The padding, border and margins are what surrounds the content.</p>
<h3>Padding</h3>
  <p>Padding is the whitespace immediately surrounding the content. The width of the padding can vary according to specifications, and can be uniform on all sides or set to different sizes on the top, bottom, left and right. Padding does not go away but it can be set to zero so as to not be visible.</p>
<h3>Border</h3>
  <p>Borders are the visible lines that surround the content and padding. By default borders are not visible but can be added with CSS. They can be either a solid line or dashed, with various options for color, width, and border radius to make the corners curved. Borders can also be specified for all sides or just the top, bottom, left or right side. </p>
<h3>Margin</h3>
  <p>The margin is the whitespace that goes around the border and is what separates each element from each other. Like padding, it can be set uniformly on all sides or can be customized. One important difference to note is that vertical margins collapse, when elements are stacked one after the other. For example, if each element has a margin of 5px, instead of creating 10px of space between paragraphs the space is limited to the 5px. This is automatic so that when multiple paragraphs follow each other, they all have the same amount of margin spacing between them as the top and bottom, without having to edit each element’s margin.</p><commit_msg>Final Edit<commit_after><!DOCTYPE html>
<header>
  <title>Blog</title>
</header>
<body>
    <nav>
      <ul>
        <li>Home</li>
        <li>About Me</li>
        <li>Portfolio</li>
        <li>Blog</li>
        <li>Contact</li>
      </ul>
    </nav>
  <aside>
    <ul>
      <li><a href="http://cfcrawford.github.io/blog/git.html">Week 1</a></li>
      <li>Week 2</li>
      <li>Week 3</li>
      <li>Week 4</li>
      <li>Week 5</li>
      <li>Week 6</li>
      <li>Week 7</li>
    </aside>
  <article>
    <h2>Exploring the Differences between Margin, Padding and Border</h2>
    <p>An important concept to understand in HTML and CSS is the Box model. Every element on a page can be considered to be its own box, with padding, border, and margins around it. Though they are all white space around the element they serve different purposes.

<h3>Content</h3>
  <p>The content is what actually appears on a page, whether it be text, a photo or diagram. The padding, border and margins are what surrounds the content.</p>
<h3>Padding</h3>
  <p>Padding is the whitespace immediately surrounding the content. The width of the padding can vary according to specifications, and can be uniform on all sides or set to different sizes on the top, bottom, left and right. Padding does not go away but it can be set to zero so as to not be visible.</p>
<h3>Border</h3>
  <p>Borders are the visible lines that surround the content and padding. By default borders are not visible but can be added with CSS. They can be either a solid line or dashed, with various options for color, width, and border radius to make the corners curved. Borders can also be specified for all sides or just the top, bottom, left or right side. </p>
<h3>Margin</h3>
  <p>The margin is the whitespace that goes around the border and is what separates each element from each other. Like padding, it can be set uniformly on all sides or can be customized. One important difference to note is that vertical margins collapse, when elements are stacked one after the other. For example, if each element has a margin of 5px, instead of creating 10px of space between paragraphs the space is limited to the 5px. This is automatic so that when multiple paragraphs follow each other, they all have the same amount of margin spacing between them as the top and bottom, without having to edit each element’s margin.</p>
{'fraction_non_alphanumeric': 0.08363101491910065, 'fraction_numerical': 0.008825383483925194, 'mean_word_length': 3.465290806754221, 'pattern_counts': {'":': 0, '<': 121, '<?xml version=': 0, '>': 121, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2934367', 'n_tokens_mistral': 1383, 'n_tokens_neox': 1316, 'n_words': 698}