web: increase font size of coding tips

This commit is contained in:
Bart Van Der Meerssche 2009-11-13 15:19:17 +00:00
parent 2e4c150795
commit fc790d6ed6
1 changed files with 4 additions and 0 deletions

View File

@ -641,6 +641,10 @@ div.geshifilter {
margin: 0.5em 2.6em;
}
.tips code{
font-size: 1.4em;
}
/* ------------------------------------------------------------------------
* Installation page
* --------------------------------------------------------------------- */