diff options
Diffstat (limited to 'docs/contents.html')
-rw-r--r-- | docs/contents.html | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/docs/contents.html b/docs/contents.html index 1b1d609f982..d30812da918 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -12,6 +12,10 @@ background-color: #cccccc; color: black; } + h2 { + font-size: inherit; + font-weight: bold; + } a:link { color: #000; } @@ -23,7 +27,7 @@ </head> <body> -<b>Documentation</b> +<h2>Documentation</h2> <ul> <li><a href="intro.html" target="_parent">Introduction</a> <li><a href="index.html" target="_parent">News</a> @@ -37,7 +41,7 @@ <li>more docs below... </ul> -<b>Download / Install</b> +<h2>Download / Install</h2> <ul> <li><a href="download.html" target="_parent">Downloading / Unpacking</a> <li><a href="install.html" target="_parent">Compiling / Installing</a> @@ -48,7 +52,7 @@ <li><a href="precompiled.html" target="_parent">Precompiled Libraries</a> </ul> -<b>Need help?</b> +<h2>Need help?</h2> <ul> <li><a href="lists.html" target="_parent">Mailing Lists</a> <li><a href="bugs.html" target="_parent">Report a bug</a> @@ -56,7 +60,7 @@ <li><a href="https://dri.freedesktop.org/" target="_parent">Mesa/DRI Wiki</a> </ul> -<b>User Topics</b> +<h2>User Topics</h2> <ul> <li><a href="shading.html" target="_parent">Shading Language</a> <li><a href="egl.html" target="_parent">EGL</a> @@ -73,7 +77,7 @@ <li><a href="viewperf.html" target="_parent">Viewperf Issues</a> </ul> -<b>Developer Topics</b> +<h2>Developer Topics</h2> <ul> <li><a href="repository.html" target="_parent">Source Code Repository</a> <li><a href="sourcetree.html" target="_parent">Source Code Tree</a> @@ -88,7 +92,7 @@ <li><a href="dispatch.html" target="_parent">GL Dispatch</a> </ul> -<b>Links</b> +<h2>Links</h2> <ul> <li><a href="https://www.opengl.org" target="_parent">OpenGL website</a> <li><a href="https://dri.freedesktop.org" target="_parent">DRI website</a> @@ -96,7 +100,7 @@ <li><a href="https://planet.freedesktop.org" target="_parent">Developer blogs</a> </ul> -<b>Hosted by:</b> +<h2>Hosted by:</h2> <br> <blockquote> <a href="https://freedesktop.org" target="_parent">freedesktop.org</a> |