Changeset 4491

Timestamp:

12/06/2016 06:47:06 PM (8 years ago)

Author:

coffee2code

Message:

developer.wordpress.org: Improve padding around table of contents.

Fixes #2262.

Location:

sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer

Files:

• scss/main.scss (modified) (1 diff)
• stylesheets/main.css (modified) (1 diff)

sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/scss/main.scss

@@ -1486 +1486 @@
         background: #f5f5f5;
         border: 1px solid #d6d6d6;
-        margin: 0 0 0 10px;
+        margin: 0 0 1em 1.85em;
         z-index: 1;
         position: relative;

sites/trunk/wordpress.org/public_html/wp-content/themes/pub/wporg-developer/stylesheets/main.css

@@ -1836 +1836 @@
   background: #f5f5f5;
   border: 1px solid #d6d6d6;
-  margin: 0 0 0 10px;
+  margin: 0 0 1em 1.85em;
   z-index: 1;
   position: relative;