GitHub-Proxy/draco
1
0
Fork 0
mirror of https://git.mirrors.martin98.com/https://github.com/google/draco synced 2025-08-12 10:09:02 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #164 from louquillio/normalize-monospace-rendering

Browse Source 
Fix cross-browser monospace font rendering (Firefox CSS).
This commit is contained in:
Lou Quillio 2017-08-03 12:07:15 -07:00 committed by GitHub
commit df02f874ec
1 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
docs/assets/css/spec-style.sass
View File

@ -5,7 +5,7 @@
*/ */
@import url('https://fonts.googleapis.com/css?family=Inconsolata') @import url('https://fonts.googleapis.com/css?family=Inconsolata')
$monofont: 'Inconsolata', monospace $monofont: 'Inconsolata'
$gridcolor: #ddd $gridcolor: #ddd
$gridweight: 2px $gridweight: 2px
@ -28,19 +28,24 @@ table.terms th
div.draco-syntax pre div.draco-syntax pre
background-color: #fff background-color: #fff
background-image: linear-gradient(90deg, transparent 660px, #abced4 660px, #abced4 662px, transparent 582px), linear-gradient($gridcolor .1em, transparent .1em) background-image: linear-gradient(90deg, transparent 600px, #abced4 600px, #abced4 602px, transparent 602px), linear-gradient($gridcolor .1em, transparent .1em)
background-size: 100% 1.3em background-size: 100% 1.3em
border-left: $gridweight solid $gridcolor border-left: $gridweight solid $gridcolor
border-right: $gridweight solid $gridcolor border-right: $gridweight solid $gridcolor
border-bottom: $gridweight solid $gridcolor border-bottom: $gridweight solid $gridcolor
white-space: pre white-space: pre
font-family: $monofont font-family: $monofont
font-size: 14px font-size: 1em
padding: 0 14px padding: 0 1em
line-height: 18px line-height: 1.3
margin-left: 1em margin-left: 1em
width: 840px width: 740px
//overflow: auto
// Specifically override Bootstrap defaults
code, kbd, pre, samp
font-family: $monofont
font-size: 1em
line-height: 1.3
ol.breadcrumb ol.breadcrumb
background-color: #fff background-color: #fff