From b9d1ae092f480167aedd009f7f3148f1f53f26a7 Mon Sep 17 00:00:00 2001
From: Chris Rebert <github@rebertia.com>
Date: Thu, 23 Jan 2014 17:01:43 -0800
Subject: [PATCH] add ID to "Box sizing" section of Getting Started docs

---
 docs/getting-started.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/getting-started.html b/docs/getting-started.html
index 82a6a7ade2..a575df0cf5 100644
--- a/docs/getting-started.html
+++ b/docs/getting-started.html
@@ -560,7 +560,7 @@ if (isAndroid) {
   <h1 id="third-parties" class="page-header">Third party support</h1>
   <p class="lead">While we don't officially support any third party plugins or add-ons, we do offer some useful advice to help avoid potential issues in your projects.</p>
 
-  <h3>Box-sizing</h3>
+  <h3 id="third-box-sizing">Box-sizing</h3>
   <p>Some third party software, including Google Maps and Google Custom Search Engine, conflict with Bootstrap due to <code>* { box-sizing: border-box; }</code>, a rule which makes it so <code>padding</code> does not affect the final computed width of an element. Learn more about <a href="http://css-tricks.com/box-sizing/">box model and sizing at CSS Tricks</a>.</p>
   <p>Depending on the context, you may override as-needed (Option 1) or reset the box-sizing for entire regions (Option 2).</p>
 {% highlight css %}