From a73d0806253d5ae762555bb2fb83f050f16cbaaa Mon Sep 17 00:00:00 2001
From: Ben Kurtovic
Date: Sat, 21 Jun 2014 18:26:20 -0400
Subject: [PATCH] CSS tweaks.
---
static/sass/docs.sass | 10 ++++++++++
templates/docs.html | 5 ++---
2 files changed, 12 insertions(+), 3 deletions(-)
diff --git a/static/sass/docs.sass b/static/sass/docs.sass
index 4d851df..ba1fc27 100644
--- a/static/sass/docs.sass
+++ b/static/sass/docs.sass
@@ -35,6 +35,16 @@ span
color: $baseColor1
font-weight: bold
+table.code-example
+ width: 100% !important
+
+ td.linenos
+ width: 20px
+ padding-left: 10px
+
+ td.code
+ padding-left: 10px
+
li#sec3 span#gasp
color: $baseColor2 * 0.8
font-style: italic
diff --git a/templates/docs.html b/templates/docs.html
index b4ed3e9..24d44da 100644
--- a/templates/docs.html
+++ b/templates/docs.html
@@ -224,7 +224,7 @@
The following example Python 2 code searches for a given Python
function definition and prints the URL of the first result:
-
+
@@ -269,8 +269,7 @@
if __name__ == "__main__":
if len(argv) == 2:
- get_function(argv[1])
-
+ get_function(argv[1])
|