made "Edit code" button slightly smaller

Philip Guo · Philip Guo · commit 2733dfcbc67b · 2011-09-24T15:28:35.000-07:00
diff --git a/edu-python.css b/edu-python.css
@@ -174,7 +174,7 @@ table#pyCodeOutput .cod {
 
 div#editCodeLinkDiv {
   text-align: center;
-  margin-top: 10px;
+  margin-top: 8px;
 }
 
 #editCodeLinkOnError {
@@ -200,6 +200,10 @@ button.bigBtn {
   padding: 3px;
 }
 
+button.medBtn {
+  font-size: 12pt;
+  padding: 3px;
+}
 
 
 /* VCR control buttons for stepping through execution */
diff --git a/index.html b/index.html
@@ -123,7 +123,7 @@
 
 <div id="editCodeLinkDiv">
 
-<button id="editBtn" class="bigBtn" type="button">Edit code</button>
+<button id="editBtn" class="medBtn" type="button">Edit code</button>
 
 </div>
 

Original file line number	Diff line number	Diff line change
`@@ -174,7 +174,7 @@ table#pyCodeOutput .cod {`
`174`	`174`
`175`	`175`	`div#editCodeLinkDiv {`
`176`	`176`	`text-align: center;`
`177`		`- margin-top: 10px;`
	`177`	`+ margin-top: 8px;`
`178`	`178`	`}`
`179`	`179`
`180`	`180`	`#editCodeLinkOnError {`
`@@ -200,6 +200,10 @@ button.bigBtn {`
`200`	`200`	`padding: 3px;`
`201`	`201`	`}`
`202`	`202`
	`203`	`+button.medBtn {`
	`204`	`+ font-size: 12pt;`
	`205`	`+ padding: 3px;`
	`206`	`+}`
`203`	`207`
`204`	`208`
`205`	`209`	`/* VCR control buttons for stepping through execution */`