tweak heights and font sizes

This commit is contained in:
Damien Elmes 2014-03-07 10:12:07 +09:00
parent 66908a172a
commit 9beed20dc0
4 changed files with 4 additions and 4 deletions

View File

@ -345,7 +345,7 @@ where id > ?""", (self.mw.col.sched.dayCutoff-86400)*1000)
if isMac:
size = 28
else:
size = 36 + self.mw.fontHeightDelta*3
size = 38 + self.mw.fontHeightDelta*3
self.bottom.web.setFixedHeight(size)
self.bottom.web.setLinkHandler(self._linkHandler)

View File

@ -1084,7 +1084,7 @@ will be lost. Continue?"""))
def setupFonts(self):
f = QFontInfo(self.font())
ws = QWebSettings.globalSettings()
self.fontHeight = f.pixelSize()
self.fontHeight = max(14, f.pixelSize())
self.fontFamily = f.family()
self.fontHeightDelta = max(0, self.fontHeight - 13)
ws.setFontFamily(QWebSettings.StandardFont, self.fontFamily)

View File

@ -47,7 +47,7 @@ class Reviewer(object):
if isMac:
self.bottom.web.setFixedHeight(46)
else:
self.bottom.web.setFixedHeight(52+self.mw.fontHeightDelta*4)
self.bottom.web.setFixedHeight(54+self.mw.fontHeightDelta*4)
self.bottom.web.setLinkHandler(self._linkHandler)
self._reps = None
self.nextCard()

View File

@ -109,7 +109,7 @@ class AnkiWebView(QWebView):
def stdHtml(self, body, css="", bodyClass="", loadCB=None, js=None, head=""):
if isMac:
button = "font-weight: bold; height: 24px;"
button = "font-weight: normal; height: 24px;"
else:
button = "font-weight: normal;"
self.setHtml("""