php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Support for tips

Browse Source
This commit is contained in:
Hannes Magnusson
2010-12-26 14:30:47 +00:00
parent c963bcb82d
commit b8e8fd999d
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
css/doc.css
View File

@@ -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;
}