docs: Adding missing CSS file.
Signed-off-by: Tim 'mithro' Ansell <tansell@google.com>
diff --git a/docs/_static/extra.css b/docs/_static/extra.css
new file mode 100644
index 0000000..f43d2fc
--- /dev/null
+++ b/docs/_static/extra.css
@@ -0,0 +1,39 @@
+span.lib-process {
+ color: green;
+}
+
+span.lib-src {
+ color: purple;
+}
+
+span.lib-type {
+ color: orange;
+}
+
+span.lib-name {
+ color: blue;
+}
+
+span.drc-rule {
+ font-family: monospace;
+ white-space: pre;
+ display: inline-block;
+}
+
+span.drc-tag {
+ font-family: monospace;
+ white-space: pre;
+ display: inline-block;
+}
+
+span.drc-flag {
+ font-family: monospace;
+ white-space: pre;
+ display: inline-block;
+}
+
+span.layer {
+ font-family: monospace;
+ white-space: pre;
+ display: inline-block;
+}
diff --git a/docs/index.rst b/docs/index.rst
index 23d40fc..fc257a5 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -3,9 +3,9 @@
.. toctree::
:hidden:
+ versioning
Current Status <status>
known_issues
- versioning
contributing
