diff --git a/include/lib_general.inc.php b/include/lib_general.inc.php
index df8b5fd..4439f16 100644
--- a/include/lib_general.inc.php
+++ b/include/lib_general.inc.php
@@ -302,6 +302,10 @@ function site_nav_provider()
if (SITE == 'php') {
$links[] = 'Documentation Howto';
}
+ if (strpos($_SERVER['PHP_SELF'], 'rfc') !== false) {
+ $links[] = 'RFC overview';
+ $links[] = 'Submit Proposal';
+ }
if (count($links) == 0) {
$links[] = 'N/A';
}
diff --git a/www/style/site.css b/www/style/site.css
index 2fd98e9..0401a34 100644
--- a/www/style/site.css
+++ b/www/style/site.css
@@ -124,3 +124,43 @@ img {
#langs img {
vertical-align: middle;
}
+
+th.headrow {
+ text-align: left;
+ border-bottom: 1px solid #000;
+ white-space: nowrap;
+}
+
+td.ulcell {
+ vertical-align: top;
+}
+
+/* Tabbed sub-navigation */
+
+#nav {
+ width: 100%;
+ /*border-top: 1px solid #000;*/
+ display: block;
+ margin-bottom: 35px;
+ clear: left;
+}
+
+#nav a {
+ /*float: left;*/
+ font-weight: bold;
+ font-size: 80%;
+ text-decoration: none;
+ background: #eee;
+ margin-right: 5px;
+ padding: 5px;
+ border: 1px solid #ccc;
+ /*border-right: 1px solid #ccc;*/
+}
+
+#nav a.active {
+ background: #ddf;
+}
+
+#nav a:hover {
+ background: #ddf;
+}