1 // styles in src/style directory are applied to the whole page
2 @import "../app/drawingBoard/drawing-board-tree/drawing-board-tree";
3 @import "../app/drawingBoard/available-models-tree/available-models-tree.component";
6 font-family: OpenSans-Bold;
7 src: url("fonts/OpenSans/OpenSans-Bold.ttf") format('truetype');
11 font-family: OpenSans-BoldItlaic;
12 src: url("fonts/OpenSans/OpenSans-BoldItalic.ttf") format('truetype');
16 font-family: OpenSans-ExtraBold;
17 src: url("fonts/OpenSans/OpenSans-ExtraBold.ttf") format('truetype');
21 font-family: OpenSans-ExtraBoldItalic;
22 src: url("fonts/OpenSans/OpenSans-ExtraBoldItalic.ttf") format('truetype');
26 font-family: OpenSans-Italic;
27 src: url("fonts/OpenSans/OpenSans-Italic.ttf") format('truetype');
31 font-family: OpenSans-Light;
32 src: url("fonts/OpenSans/OpenSans-Light.ttf") format('truetype');
36 font-family: OpenSans-LightItalic;
37 src: url("fonts/OpenSans/OpenSans-LightItalic.ttf") format('truetype');
41 font-family: OpenSans-Regular;
42 src: url("fonts/OpenSans/OpenSans-Regular.ttf") format('truetype');
46 font-family: OpenSans-Semibold;
47 src: url("fonts/OpenSans/OpenSans-Semibold.ttf") format('truetype');
51 font-family: OpenSans-SemiboldItalic;
52 src: url("fonts/OpenSans/OpenSans-SemiboldItalic.ttf") format('truetype');
56 font-family: 'icomoon';
57 src: url('fonts/icomoon.eot?4cilop');
58 src: url('fonts/icomoon.eot?4cilop#iefix') format('embedded-opentype'),
59 url('fonts/icomoon.ttf?4cilop') format('truetype'),
60 url('fonts/icomoon.woff?4cilop') format('woff'),
61 url('fonts/icomoon.svg?4cilop#icomoon') format('svg');
66 [class^="icon-"], [class*=" icon-"] {
67 /* use !important to prevent issues with browser extensions that change fonts */
68 font-family: 'icomoon' !important;
76 /* Better Font Rendering =========== */
77 -webkit-font-smoothing: antialiased;
78 -moz-osx-font-smoothing: grayscale;
88 display: flex !important;
89 flex-direction: column;
92 font-family: OpenSans-Regular;
95 display: flex !important;
96 flex-direction: column;
108 .tooltip.left .tooltip-arrow {
109 border-left-color: #171f2a;
111 .tooltip.bottom .tooltip-arrow {
112 border-bottom-color: #171f2a;
115 background-color: #171f2a;
122 flex-direction: column;
124 border: 1px solid #d2d2d2;