From b8e8fd999ddc1941fadd536f1e06d264c5b6fb81 Mon Sep 17 00:00:00 2001
From: Hannes Magnusson <bjori@php.net>
Date: Sun, 26 Dec 2010 14:30:47 +0000
Subject: [PATCH]     Support for tips

---
 css/doc.css | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/css/doc.css b/css/doc.css
index 2e44891cd..aaebac605 100644
--- a/css/doc.css
+++ b/css/doc.css
@@ -24,6 +24,7 @@ i .parameter {
 }
 
 .refentry div.warning,
+.refentry div.tip,
 .refentry .notes blockquote {
     padding: 10px 20px;
     margin: 1em 2em 1.3em;
@@ -33,15 +34,19 @@ i .parameter {
     border-top: 3px solid #fff08a;
     background-color: #EFEFEF;
 }
+.refentry div.tip {
+    border-top: 3px solid #434343;
+    background-color: #EFEFEF;
+}
 .refentry div.warning {
     border-top: 3px solid #ff4d4d;
     background-color: #EFEFEF;
 }
-.refentry .notes blockquote, .refentry div.warning {
+.refentry .notes blockquote, .refentry div.warning, .refentry div.tip {
     font-size: 1em;
     margin-right: 0.8em;
 }
-.refentry div.warning b.warning {
+.refentry div.warning b.warning, .refentry div.tip b.tip {
     float: left;
     margin-right: 0.8em;
 }