diff options
author | Felix Hammerl <fhammerl@thoughtworks.com> | 2016-03-24 12:18:22 +0100 |
---|---|---|
committer | Felix Hammerl <fhammerl@thoughtworks.com> | 2016-03-24 12:22:25 +0100 |
commit | e1211fc4fcfbad96be8692a1d375cf10c9157ee5 (patch) | |
tree | d6b485420be0bb1115737330b5e0496f24e94c7b /web-ui/app/scss/sandbox.scss | |
parent | e887b933ab9b6f83d6ebe02138ea3cd79d30c710 (diff) |
Issue #656: Fix sandbox fonts
Add CORS headers to sandbox resource
Add OpenSans in normal font weight (400) to the sandbox CSS
Diffstat (limited to 'web-ui/app/scss/sandbox.scss')
-rw-r--r-- | web-ui/app/scss/sandbox.scss | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/web-ui/app/scss/sandbox.scss b/web-ui/app/scss/sandbox.scss index 3cb4c441..3c1be358 100644 --- a/web-ui/app/scss/sandbox.scss +++ b/web-ui/app/scss/sandbox.scss @@ -1,5 +1,12 @@ $search-highlight: #FFEF29; +@font-face { + font-family: 'Open Sans'; + font-style: normal; + font-weight: 400; + src: local('Open Sans'), local('OpenSans'), url('/sandbox/fonts/OpenSans.woff') format('woff'); +} + body { font-family: "Open Sans", "Microsoft YaHei", "Hiragino Sans GB", "Hiragino Sans GB W3", "微软雅黑", "Helvetica Neue", Arial, sans-serif; font-size: 13px; |