Updates text preview styling.

lrsjng · Aug 5, 2012 · f366779 · f366779
1 parent 90b0b97
commit f366779
Show file tree

Hide file tree

Showing 5 changed files with 13 additions and 6 deletions.
diff --git a/src/_h5ai/apache/h5ai-header.html b/src/_h5ai/apache/h5ai-header.html
@@ -11,7 +11,7 @@
 	<meta name="viewport" content="width=device-width">
 	<link rel="shortcut icon" type="image/png" href="/_h5ai/images/h5ai-16x16.png">
 	<link rel="apple-touch-icon" type="image/png" href="/_h5ai/images/h5ai-48x48.png">
-	<link rel="stylesheet" href="//fonts.googleapis.com/css?family=Ubuntu:400">
+	<link rel="stylesheet" href="//fonts.googleapis.com/css?family=Ubuntu:400;Ubuntu+Mono:400">
 	<link rel="stylesheet" href="/_h5ai/css/styles.css">
 	<script src="/_h5ai/js/modernizr.min.js"></script>
 </head>

diff --git a/src/_h5ai/css/inc/preview-txt.less b/src/_h5ai/css/inc/preview-txt.less
@@ -27,6 +27,11 @@
 #pv-txt-text {
 	.syntaxhighlighter {
 		overflow: visible !important;
+
+		.gutter .line {
+			border-right: none !important;
+			// border-right: 3px solid #6CE26C !important;
+		}
 	}
 }
 

diff --git a/src/_h5ai/css/lib/sh/shCore.less b/src/_h5ai/css/lib/sh/shCore.less
@@ -44,10 +44,12 @@
   vertical-align: baseline !important;
   width: auto !important;
   box-sizing: content-box !important;
-  font-family: "Consolas", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace !important;
+  // font-family: "Consolas", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace !important;
+  font-family: "Ubuntu Mono", "Consolas", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace !important;
   font-weight: normal !important;
   font-style: normal !important;
-  font-size: 1em !important;
+  // font-size: 1em !important;
+  font-size: 16px !important;
   min-height: inherit !important;
   min-height: auto !important;
 }

diff --git a/src/_h5ai/js/inc/ext/preview-txt.js b/src/_h5ai/js/inc/ext/preview-txt.js
@@ -42,9 +42,9 @@ modulejs.define('ext/preview-txt', ['_', '$', 'sh', 'core/settings', 'core/resou
 				barheight = 31;
 
 			$container.css({
-				width: rect.width - 2 * margin,
+				// width: rect.width - 2 * margin,
 				height: rect.height - 2 * margin - barheight - 32,
-				left: margin,
+				// left: margin,
 				top: margin
 			});
 		},

diff --git a/src/_h5ai/php/h5ai-index.php b/src/_h5ai/php/h5ai-index.php
@@ -12,7 +12,7 @@
 	<meta name="viewport" content="width=device-width">
 	<link rel="shortcut icon" type="image/png" href="/_h5ai/images/h5ai-16x16.png">
 	<link rel="apple-touch-icon" type="image/png" href="/_h5ai/images/h5ai-48x48.png">
-	<link rel="stylesheet" href="//fonts.googleapis.com/css?family=Ubuntu:400">
+	<link rel="stylesheet" href="//fonts.googleapis.com/css?family=Ubuntu:400;Ubuntu+Mono:400">
 	<link rel="stylesheet" href="/_h5ai/css/styles.css">
 	<script src="/_h5ai/js/modernizr.min.js"></script>
 </head>