From e48a9d406fbd5489dc25bcdd92b1df2b0c862105 Mon Sep 17 00:00:00 2001
From: Carlos Sosa <gnusosa@gnusosa.net>
Date: Tue, 28 Aug 2018 00:22:45 -0700
Subject: Initial commit

---
 css/notebook.css | 48 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100755 css/notebook.css

(limited to 'css/notebook.css')

diff --git a/css/notebook.css b/css/notebook.css
new file mode 100755
index 0000000..5816446
--- /dev/null
+++ b/css/notebook.css
@@ -0,0 +1,48 @@
+body {
+  max-width: 60em;
+  margin:0 auto;
+}
+
+pre.example {
+  text-align:left;
+  border: 1pt solid #A0A0A0;
+  background-color: #F0F0F0;
+  padding: 1ch;
+  display: block;
+  clear: right;
+}
+
+div.note {
+  border: 1pt solid #A0A0A0;
+  padding: 1ch;
+  display: block;
+}
+
+p {
+  margin-left: auto;
+  margin-right: auto;
+}
+
+pre {
+    border: 1pt solid #AEBDCC;
+    background-color: #F3F5F7;
+    padding: 5pt;
+    font-family: monospace;
+    font-size: small;
+    overflow:auto;
+}
+
+h1 {
+    font-size: x-large;
+}
+
+h2 {
+    font-size: large;
+}
+
+html { font-family: serif; 
+}
+
+a:link, a:visited {
+    color: navy; 
+} 
\ No newline at end of file
-- 
cgit v1.3-2-g0d8e