Restore a missing border-radius, reduce border radius to keep small

boxes from looking oval.
This commit is contained in:
Warren Block 2014-04-05 02:09:17 +00:00
parent c0239cd648
commit 4f7690f0f7
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=44448

View file

@ -282,6 +282,7 @@ pre.screen {
padding: 1ex; padding: 1ex;
background-color: #edc; background-color: #edc;
border: 1px solid #ccc; border: 1px solid #ccc;
border-radius: 4px;
} }
pre.programlisting { pre.programlisting {
@ -291,7 +292,7 @@ pre.programlisting {
padding: 1ex; padding: 1ex;
background-color: #eee; background-color: #eee;
border: 1px solid #ccc; border: 1px solid #ccc;
border-radius: 6px; border-radius: 4px;
} }
@media screen { /* hide from IE3 */ @media screen { /* hide from IE3 */
@ -304,7 +305,7 @@ pre.programlisting {
} }
.note, .tip, .important, .warning, .caution, .example, div.procedure { .note, .tip, .important, .warning, .caution, .example, div.procedure {
border-radius: 6px; border-radius: 4px;
padding: 2ex 2ex 0 2ex; padding: 2ex 2ex 0 2ex;
margin: .75em 3em .75em 1em; margin: .75em 3em .75em 1em;
line-height: 1.3; line-height: 1.3;