/* This file is part of rhizi, a collaborative knowledge graph editor. Copyright (C) 2014-2015 Dor Garbash, Amir Sagie and Alon Levy This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details. You should have received a copy of the GNU Affero General Public License along with this program. If not, see . */ // Font font-family: @font-face { font-family: 'Source_Regular'; src: url('../font/sourcesanspro_regular/SourceSansPro-Regular-webfont.eot'); /* IE9 Compat Modes */ src: url('../font/sourcesanspro_regular/SourceSansPro-Regular-webfont.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ url('../font/sourcesanspro_regular/SourceSansPro-Regular-webfont.woff') format('woff'), /* Modern Browsers */ url('../font/sourcesanspro_regular/SourceSansPro-Regular-webfont.ttf') format('truetype'); /* Safari, Android, iOS */ } @font-face { font-family: 'Source_Semibold'; src: url('../font/sourcesanspro_semibold/SourceSansPro-Semibold-webfont.eot'); /* IE9 Compat Modes */ src: url('../font/sourcesanspro_semibold/SourceSansPro-Semibold-webfont.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ url('../font/sourcesanspro_semibold/SourceSansPro-Semibold-webfont.woff') format('woff'), /* Modern Browsers */ url('../font/sourcesanspro_semibold/SourceSansPro-Semibold-webfont.ttf') format('truetype'); /* Safari, Android, iOS */ } @font-face { font-family: 'Source_Bold'; src: url('../font/sourcesanspro_bold/SourceSansPro-Bold-webfont.eot'); /* IE9 Compat Modes */ src: url('../font/sourcesanspro_bold/SourceSansPro-Bold-webfont.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ url('../font/sourcesanspro_bold/SourceSansPro-Bold-webfont.woff') format('woff'), /* Modern Browsers */ url('../font/sourcesanspro_bold/SourceSansPro-Bold-webfont.ttf') format('truetype'); /* Safari, Android, iOS */ } // Font size $h1-size: 30px; $h2-size: 24px; $h3-size: 18px; $h4-size: 14px; $h5-size: 12px; $toolbar-font-size: 12px; //Font weights $light: 100; $regular: 400; $bold: 600; // Base font $base-font-family: 'Source_Regular', sans-serif; $semibold-font-family: 'Source_Semibold', sans-serif; $bold-font-family: 'Source_Bold', sans-serif; $base-font-weight: $regular; $base-font-size: 12px; $base-line-height: 1.4; // Fixed Font $fixed-font-family: monospace; $fixed-font-size: 85%; $fixed-line-height: $base-line-height; // Headings $header-font-weight: $bold;