diff options
| -rw-r--r-- | site/index.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/site/index.php b/site/index.php index fbee95f..0669a70 100644 --- a/site/index.php +++ b/site/index.php @@ -69,9 +69,9 @@ <ul> <li><a href="docs/index.html"><?php echo gettext("Documentation"); ?></a></li> <li><a href="docs/hcl/index.html#supported_list"><?php echo gettext("Compatibility list"); ?></a></li> - <li><a href="docs/install/index.html"><?php echo gettext("Installing libreboot"); ?></a></li> - <li><a href="docs/gnulinux/grub_boot_installer.html"><?php echo gettext("Installing GNU/Linux"); ?></a></li> - <li><a href="docs/gnulinux/grub_cbfs.html"><?php echo gettext("Booting GNU/Linux"); ?></a></li> + <li><strong><a href="docs/install/index.html"><?php echo gettext("Install libreboot"); ?></a></strong></li> + <li><strong><a href="docs/gnulinux/grub_boot_installer.html"><?php echo gettext("Install GNU/Linux"); ?></a></strong></li> + <li><strong><a href="docs/gnulinux/grub_cbfs.html"><?php echo gettext("Boot GNU/Linux"); ?></a></strong></li> </ul> <ul> <li><strong><a href="faq/">Frequently Asked Questions (and answers to those questions)</a></strong></li> |