com web/php: Temporarily removed TOC and made documentation pages wider. Also gave more gutter room for the left-navigation.: styles/doc.css
| From: | Levi Morrison | Date: | Mon, 31 Dec 2012 21:57:47 +0000 |
| Subject: | com web/php: Temporarily removed TOC and made documentation pages wider. Also gave more gutter room for the left-navigation.: styles/doc.css | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-15189@lists.php.net to get a copy of this message | ||
Commit: 20af614620d0f19e94bc3157a4ca3297c218d02e
Author: Levi Morrison <levim@php.net> Mon, 31 Dec 2012 14:57:47 -0700
Parents: 65681fa197deaa96048eb2bd5cccf383634c0101
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=20af614620d0f19e94bc3157a4ca3297c218d02e
Log:
Temporarily removed TOC and made documentation pages wider. Also gave more gutter room for the
left-navigation.
Changed paths:
M styles/doc.css
Diff:
diff --git a/styles/doc.css b/styles/doc.css
index bfd06df..23f99e7 100755
--- a/styles/doc.css
+++ b/styles/doc.css
@@ -3,6 +3,7 @@
/* {{{ The Quick TOC reference top on man pages */
aside#quicktoc {
+ display:none;
border-top: 1px solid #9999CC;
border-left: 1px solid #9999CC;
border-bottom: none;
@@ -372,7 +373,7 @@ ul.chunklist_children {
/* - Side Menu - */
.docs .layout-menu {
- width: 240px;
+ width: 17em;
}
.docs .layout-menu ul.parent-menu-list {
@@ -382,7 +383,6 @@ ul.chunklist_children {
}
.docs .layout-menu ul.parent-menu-list li {
- padding: 0 0 0 .5em;
margin: 1.5em 0;
}
@@ -428,6 +428,12 @@ ul.chunklist_children {
content:"\bb \20";
}
+.docs #layout {
+ width:auto;
+ max-width:80em;
+ padding:0 1em;
+}
+
.docs .layout-menu ul.child-menu-list a:hover,
.docs .layout-menu ul.parent-menu-list li:last-child ul.child-menu-list a {
border-left: 0;
@@ -436,25 +442,12 @@ ul.chunklist_children {
/* #layout needed, see http://news.php.net/php.webmaster/11884 */
.docs #layout .layout-content,
.docs #layout #usernotes {
- margin-left: 264px;
-}
-
-/* Default rule for non-@media supporting browsers (IE<9, basically). */
-.docs #layout .layout-content {
- margin-right: 160px;
+ margin-left: 19em;
}
-
-@media screen and (max-width: 1199px) {
- .docs #layout .layout-content {
- margin-right: 160px;
- }
+.docs #usernotes {
+ margin-top:2em;
}
-@media screen and (min-width: 1200px) and (max-width: 1365px) {
- ..docs #layout .layout-content {
- margin-right: 80px;
- }
-}
#changelang-langs {
width:120px;