Changing html style
Change-Id: I90605638a8b8c9336a5a0cc1f6c9b87ab0eed5b7
diff --git a/named_data_theme/static/default.css_t b/named_data_theme/static/default.css_t
new file mode 100644
index 0000000..5e27530
--- /dev/null
+++ b/named_data_theme/static/default.css_t
@@ -0,0 +1,14 @@
+@import url("agogo.css");
+
+pre {
+ padding: 10px;
+ background-color: #fafafa;
+ color: #222;
+ line-height: 1.2em;
+ border: 2px solid #C6C9CB;
+ font-size: 1.1em;
+ /* margin: 1.5em 0 1.5em 0; */
+ margin: 0;
+ border-right-style: none;
+ border-left-style: none;
+}
diff --git a/named_data_theme/theme.conf b/named_data_theme/theme.conf
new file mode 100644
index 0000000..259a6d0
--- /dev/null
+++ b/named_data_theme/theme.conf
@@ -0,0 +1,9 @@
+[theme]
+inherit = agogo
+stylesheet = default.css
+# pygments_style = sphinx
+
+[options]
+
+stickysidebar = true
+collapsiblesidebar = true