increase the font size in the boxes used by .nb
Andrew Lewman

Andrew Lewman commited on 2009-06-19 17:26:46
Zeige 1 geänderte Dateien mit 1 Einfügungen und 1 Löschungen.

... ...
@@ -413,7 +413,7 @@ dt {
413 413
 	background-color:#EEEEFF;
414 414
 	border:1px solid #000000;
415 415
 	color:black;
416
-	font-size:8pt;
416
+	font-size:10pt;
417 417
 	font-weight:bold;
418 418
 	margin:10px 0;
419 419
 	padding:15px 20px;
420 420