library-mirrors/jquery-ui
1
0
Fork 0
mirror of https://github.com/jquery/jquery-ui.git synced 2024-11-21 11:04:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixed code inline styling

Browse Source
This commit is contained in:
Richard Worth 2009-01-20 12:24:05 +00:00
parent dae7a441f4
commit 604bddc353
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
demos/demos.css
View File

@ -166,6 +166,7 @@ eventually we should convert the font sizes to ems -- using px for now to minimi
} }
#demo-notes { width:520px; color:#333; font-size: 1em; } #demo-notes { width:520px; color:#333; font-size: 1em; }
.demo-description p code { padding: 0; font-weight: bold; }
code, pre { padding:8px 0 8px 20px ; font-size: 1.2em; line-height:130%; } code, pre { padding:8px 0 8px 20px ; font-size: 1.2em; line-height:130%; }
#demo-source a:link, #demo-source a:link,