com web/php: Fix manual pages hash scroll to work without Javascript: styles/theme-base.css
| From: | Dejan Marjanovic | Date: | Tue, 03 Dec 2013 21:17:55 +0000 |
| Subject: | com web/php: Fix manual pages hash scroll to work without Javascript: styles/theme-base.css | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-17308@lists.php.net to get a copy of this message | ||
Commit: 8a1ef2c324b8002deb0c89a2dd87090e072528a7
Author: Dejan Marjanovic <dejan.marjanovic@gmail.com> Tue, 3 Dec 2013 22:17:55
+0100
Parents: 1b2be8c0c771b0f58846831fc2add2cd62eac3fa
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=8a1ef2c324b8002deb0c89a2dd87090e072528a7
Log:
Fix manual pages hash scroll to work without Javascript
Changed paths:
M styles/theme-base.css
Diff:
diff --git a/styles/theme-base.css b/styles/theme-base.css
index 84f9f12..e55a0d8 100755
--- a/styles/theme-base.css
+++ b/styles/theme-base.css
@@ -8,6 +8,7 @@
*
* Designed and built with all the love in the world @twitter by @mdo and @fat.
*/
+
.clearfix {
*zoom: 1;
}
@@ -2334,6 +2335,11 @@ pre.info {
border: 1px solid;
}
+#layout .refentry div[id], #layout .sect1 div[id], #usernotes div.note[id]
+{
+ padding-top: 52px !important;
+ margin-top: -52px !important;
+}
/*#layout .refsect1[id]:before,*/
/**