min font size 10

Author: jashkenas

public/javascripts/DV/models/page.js

@@ -87,7 +87,9 @@ DV.model.Pages.prototype = {
 
     this.viewer.elements.sets.width(this.zoomLevel);
     this.viewer.elements.collection.css({width : this.width + padding });
-    this.viewer.$('.DV-textContents').css({'font-size' : this.zoomLevel * 0.02 + 'px'});
+    var minFontSize = 10;
+    var fontSize = Math.max(minFontSize, this.zoomLevel * 0.02);
+    this.viewer.$('.DV-textContents').css({'font-size' : fontSize + 'px'});
   },
 
   // Update the height for a page, when its real image has loaded.

public/stylesheets/DV/components/minimode.css

@@ -31,6 +31,9 @@
 .DV-mini .DV-textPage {
   margin-left: 7px;
 }
+.DV-mini .DV-textContents {
+  margin: 20px;
+}
 
 .DV-autoZoom .p0,
 .DV-autoZoom .p1,
@@ -76,6 +79,10 @@
   padding-left: 0px;
 }
 
+.DV-mini .DV-textCurrentPage {
+  display: none;
+}
+
 /* Annotations ---------------------------------------*/
 
 .DV-mini .DV-annotationTab {