doc/docstyle.css in tenjin-0.6.2 vs doc/docstyle.css in tenjin-0.7.0

@@ -25,33 +25,33 @@
 	width: 100%;
 	line-height:130%;
 	white-space:pre;
 }
 
-.program {
+pre.program {
 	border-style:solid;
 	border-width:1px;
 	border-color:#6699FF;
 	color:#333333;
 	background-color:#DDEEFF;
 	padding:8px 9px 8px 9px;
 	margin:0px;
 	word-break:break-all;
 }
 
-.terminal {
+pre.terminal {
 	border-style:solid;
 	border-width:1;
 	border-color:#999999;
 	color:#333333;
 	background-color:#E0E0E0;
 	padding:9px 10px 9px 10px;
 	margin:0px;
 	word-break:break-all;
 }
 
-.output {
+pre.output {
 	border-style:solid;
 	border-width:1px;
 	border-color:#CCCCCC;
 	color:#333333;
 	background-color:#FFFFFF;
@@ -59,10 +59,16 @@
 	margin:0px;
 	word-break:break-all;
 }
 
 
+pre strong {
+	color: #990000;
+	font-weight: bold;
+}
+
+
 .program_caption {
         margin-top: 20px;
 }
 
 .terminal_caption {
@@ -166,23 +172,38 @@
 
 .footnote {
 	font-size:small;
 }
 
-.note {
+div.note, div.tips {
 	background-color:#FFFFDD;
 	border-style:solid;
 	border-width:0px 1px 0px 1px;
 	border-color:#DDDD66;
 	color:#333300;
 	/* font-size:small; */
 	line-height:120%;
+	margin-top: 10px;
 	padding: 5px 20px 5px 20px;
 }
 
+div.note span.caption, div.tips span.caption {
+	color: #C60;
+}
+
 .figure {
 	/*
 	border-width:1px;
 	border-color:#DDDD66;
 	white-space:pre;
 	*/
+}
+
+strong {
+	color: #630;
+	font-weight; bold;
+}
+
+
+em {
+	font-style: italic;
 }