summaryrefslogtreecommitdiffstats
path: root/docs/contents.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/contents.html')
-rw-r--r--docs/contents.html18
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>