From 8dc828766aaa59c17860258155219b41a878c4d0 Mon Sep 17 00:00:00 2001
From: Tim 'mithro' Ansell <tansell@google.com>
Date: Sun, 21 Jun 2020 17:49:42 -0700
Subject: [PATCH] docs: Stick the table headers to the top of table.

Signed-off-by: Tim 'mithro' Ansell <tansell@google.com>
---
 docs/_static/extra.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/_static/extra.css b/docs/_static/extra.css
index c9b2423..93d4aa8 100644
--- a/docs/_static/extra.css
+++ b/docs/_static/extra.css
@@ -41,3 +41,11 @@ span.layer {
 	white-space: pre;
 	display: inline-block;
 }
+
+.page-content table thead th {
+	position: sticky !important;
+	top: 0;
+	z-index: 2;
+	background-color: #fff;
+	box-shadow: 0 1px 1px -1px rgba(0, 0, 0, 0.4);
+}