@font-face { /* * Use https://www.web-font-generator.com/ to gen fonts */ font-family: 'symbolsfont'; src: url('../fonts/symbols/wtdsymbols.eot'); src: url('../fonts/symbols/wtdsymbols.eot?#iefix') format('embedded-opentype'), url('../fonts/symbols/wtdsymbols.woff') format('woff'), url('../fonts/symbols/wtdsymbols.woff2') format('woff2'), url('../fonts/symbols/wtdsymbols.ttf') format('truetype'), url('../fonts/symbols/wtdsymbols.svg#armataregular') format('svg'); font-weight: normal; font-style: normal; } a { color: #ccc; cursor: pointer; text-decoration: none; &:hover { color: #fff; } } body, html { background-color: $colorBodyBg; color: $colorBodyFg; font-family: Helvetica, Arial, sans-serif; font-size: 100%; margin: $bodyMargin; overflow: hidden; } em { color: rgba(white, 0.2); font-style: normal; } input, textarea { font-family: Helvetica, Arial, sans-serif; } h1, h2, h3 { margin: 0; } h1 { font-size: 1.7em; font-weight: normal; margin-bottom: 20px; } span { box-sizing: border-box; } .abs { position: absolute; top: 0; right: 0; bottom: 0; left: 0; height: auto; width: auto; } .code { font-family: "Lucida Console", monospace; font-size: 0.7em; line-height: 150%; white-space: pre; } .centered { text-align: center; } .colorKey { color: $colorKey; } .ds { @include box-shadow(rgba(#000, 0.7) 0 4px 10px 2px); } .hide, .hidden { display: none !important; }