com web/php: Thats a littlebit to weird to always print 'PHP manual' above all page titles: include/shared-manual.inc styles/theme-base.css
| From: | Hannes Magnusson | Date: | Fri, 22 Nov 2013 03:03:59 +0000 |
| Subject: | com web/php: Thats a littlebit to weird to always print 'PHP manual' above all page titles: include/shared-manual.inc styles/theme-base.css | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-17175@lists.php.net to get a copy of this message | ||
Commit: a2c4c5b62ad4ed703833ed12d6aebb3271fa4b1b
Author: Hannes Magnusson <bjori@mongodb.com> Thu, 21 Nov 2013 19:03:59 -0800
Parents: 33ed430d7aad5a04a0612c22c2f0c69ed33fc46a
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=a2c4c5b62ad4ed703833ed12d6aebb3271fa4b1b
Log:
Thats a littlebit to weird to always print 'PHP manual' above all page titles
Changed paths:
M include/shared-manual.inc
M styles/theme-base.css
Diff:
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 4e1a638...1a78b01 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -394,10 +394,6 @@ function manual_setup($setup) {
$id = substr($setup['this'][0], 0, -4);
?>
- <h1 class="manual-header refname">
- <a href="<?php echo $menu[0]['link']; ?>">PHP
Manual</a>
- </h1>
-
<div class="page-tools">
<div class="change-language">
<?php echo manual_language_chooser($config['lang'],
$config['thispage']); ?>
diff --git a/styles/theme-base.css b/styles/theme-base.css
index f0f06a0..c2742ba 100755
--- a/styles/theme-base.css
+++ b/styles/theme-base.css
@@ -2134,13 +2134,6 @@ hr {
border-bottom:.25em solid;
}
-.manual-header a:link,
-.manual-header a:visited,
-.manual-header a:active,
-.manual-header a:hover {
- color: #669;
- border: 0;
-}
.page-tools {
float: right;
position:relative;
@@ -3280,9 +3273,6 @@ div.soft-deprecation-notice blockquote.sidebar {
/* Prevent the breadcrumbs from wrapping around the previous link. */
overflow: hidden;
}
-#breadcrumbs .breadcrumbs-container li:first-child {
- display: none;
-}
@media (max-width:767px) {
#breadcrumbs {
display: none;