ctf-server

old server for hosting capture-the-flag

git clone https://9o.is/git/ctf-server.git

variables.less

(8552B)


      1 // Cyborg 2.3.2
      2 // Variables
      3 // --------------------------------------------------
      4 
      5 
      6 // Global values
      7 // --------------------------------------------------
      8 
      9 
     10 // Grays
     11 // -------------------------
     12 @black: #000;
     13 @grayDarker: #020202;
     14 @grayDark: #222;
     15 @gray: #999;
     16 @grayLight: #ADAFAE;
     17 @grayLighter: #eee;
     18 @white: #fff;
     19 
     20 
     21 // Accent colors
     22 // -------------------------
     23 @blue: #33B5E5;
     24 @blueDark: #0099CC;
     25 @green: #669900;
     26 @red: #CC0000;
     27 @yellow: #ECBB13;
     28 @orange: #FF8800;
     29 @pink: #FF4444;
     30 @purple: #9933CC;
     31 
     32 
     33 // Scaffolding
     34 // -------------------------
     35 @bodyBackground: #060606;
     36 @textColor: @gray;
     37 
     38 
     39 // Links
     40 // -------------------------
     41 @linkColor: @blue;
     42 @linkColorHover: @white;
     43 
     44 
     45 // Typography
     46 // -------------------------
     47 @sansFontFamily: 'Droid Sans', sans-serif;
     48 @serifFontFamily: Georgia, "Times New Roman", Times, serif;
     49 @monoFontFamily: Menlo, Monaco, Consolas, "Courier New", monospace;
     50 
     51 @baseFontSize: 14px;
     52 @baseFontFamily: @sansFontFamily;
     53 @baseLineHeight: 20px;
     54 @altFontFamily: @serifFontFamily;
     55 
     56 @headingsFontFamily: inherit; // empty to use BS default, @baseFontFamily
     57 @headingsFontWeight: normal; // instead of browser default, bold
     58 @headingsColor: @white; // empty to use BS default, @textColor
     59 
     60 
     61 // Component sizing
     62 // -------------------------
     63 // Based on 14px font-size and 20px line-height
     64 
     65 @fontSizeLarge: @baseFontSize * 1.25; // ~18px
     66 @fontSizeSmall: @baseFontSize * 0.85; // ~12px
     67 @fontSizeMini: @baseFontSize * 0.75; // ~11px
     68 
     69 @paddingLarge: 11px 19px; // 44px
     70 @paddingSmall: 2px 10px; // 26px
     71 @paddingMini: 0px 6px; // 22px
     72 
     73 @baseBorderRadius: 4px;
     74 @borderRadiusLarge: 6px;
     75 @borderRadiusSmall: 3px;
     76 
     77 
     78 // Tables
     79 // -------------------------
     80 @tableBackground: transparent; // overall background-color
     81 @tableBackgroundAccent: rgba(100, 100, 100, 0.1); // for striping
     82 @tableBackgroundHover: @grayDark; // for hover
     83 @tableBorder: @grayDark; // table and cell border
     84 
     85 // Buttons
     86 // -------------------------
     87 @btnBackground: darken(@gray, 20%);
     88 @btnBackgroundHighlight: darken(@gray, 25%);
     89 @btnBorder: rgba(0, 0, 0, 0);
     90 
     91 @btnPrimaryBackground: @blueDark;
     92 @btnPrimaryBackgroundHighlight: darken(@blueDark, 10%);
     93 
     94 @btnInfoBackground: darken(@gray, 40%);
     95 @btnInfoBackgroundHighlight: darken(@gray, 50%);
     96 
     97 @btnSuccessBackground: lighten(@green, 10%);
     98 @btnSuccessBackgroundHighlight: @green;
     99 
    100 @btnWarningBackground: lighten(@orange, 15%);
    101 @btnWarningBackgroundHighlight: @orange;
    102 
    103 @btnDangerBackground: lighten(@red, 10%);
    104 @btnDangerBackgroundHighlight: @red;
    105 
    106 @btnInverseBackground: lighten(@purple, 5%);
    107 @btnInverseBackgroundHighlight: @purple;
    108 
    109 
    110 // Forms
    111 // -------------------------
    112 @inputBackground: #ccc;
    113 @inputBorder: #bbb;
    114 @inputBorderRadius: @baseBorderRadius;
    115 @inputDisabledBackground: #555;
    116 @formActionsBackground: transparent;
    117 @inputHeight: @baseLineHeight + 10px; // base line-height + 8px vertical padding + 2px top/bottom border
    118 
    119 
    120 // Dropdowns
    121 // -------------------------
    122 @dropdownBackground: #131517;
    123 @dropdownBorder: rgba(0,0,0,.2);
    124 @dropdownDividerTop: transparent;
    125 @dropdownDividerBottom: #222;
    126 
    127 @dropdownLinkColor: @textColor;
    128 @dropdownLinkColorHover: @white;
    129 @dropdownLinkColorActive: @white;
    130 
    131 @dropdownLinkBackgroundActive: @linkColor;
    132 @dropdownLinkBackgroundHover: @linkColor;
    133 
    134 
    135 
    136 // COMPONENT VARIABLES
    137 // --------------------------------------------------
    138 
    139 
    140 // Z-index master list
    141 // -------------------------
    142 // Used for a bird's eye view of components dependent on the z-axis
    143 // Try to avoid customizing these :)
    144 @zindexDropdown: 1000;
    145 @zindexPopover: 1010;
    146 @zindexTooltip: 1020;
    147 @zindexFixedNavbar: 1030;
    148 @zindexModalBackdrop: 1040;
    149 @zindexModal: 1050;
    150 
    151 
    152 // Sprite icons path
    153 // -------------------------
    154 @iconSpritePath: "../img/glyphicons-halflings.png";
    155 @iconWhiteSpritePath: "../img/glyphicons-halflings-white.png";
    156 
    157 
    158 // Input placeholder text color
    159 // -------------------------
    160 @placeholderText: @grayLight;
    161 
    162 
    163 // Hr border color
    164 // -------------------------
    165 @hrBorder: @grayDark;
    166 
    167 
    168 // Horizontal forms & lists
    169 // -------------------------
    170 @horizontalComponentOffset: 180px;
    171 
    172 
    173 // Wells
    174 // -------------------------
    175 @wellBackground: #131517;
    176 
    177 
    178 // Navbar
    179 // -------------------------
    180 @navbarCollapseWidth: 979px;
    181 @navbarCollapseDesktopWidth: @navbarCollapseWidth + 1;
    182 
    183 @navbarHeight: 50px;
    184 @navbarBackgroundHighlight: @grayDarker;
    185 @navbarBackground: @grayDarker;
    186 @navbarBorder: darken(@navbarBackground, 12%);
    187 
    188 @navbarText: @grayLight;
    189 @navbarLinkColor: @grayLight;
    190 @navbarLinkColorHover: @white;
    191 @navbarLinkColorActive: @navbarLinkColorHover;
    192 @navbarLinkBackgroundHover: transparent;
    193 @navbarLinkBackgroundActive: @navbarBackground;
    194 
    195 @navbarBrandColor: @navbarLinkColor;
    196 
    197 // Inverted navbar
    198 @navbarInverseBackground: #252A30;
    199 @navbarInverseBackgroundHighlight: #252A30;
    200 @navbarInverseBorder: transparent;
    201 
    202 @navbarInverseText: @grayLight;
    203 @navbarInverseLinkColor: @grayLight;
    204 @navbarInverseLinkColorHover: @white;
    205 @navbarInverseLinkColorActive: @navbarInverseLinkColorHover;
    206 @navbarInverseLinkBackgroundHover: #242A31;
    207 @navbarInverseLinkBackgroundActive: @navbarInverseLinkBackgroundHover;
    208 
    209 @navbarInverseSearchBackground: lighten(@navbarInverseBackground, 25%);
    210 @navbarInverseSearchBackgroundFocus: @white;
    211 @navbarInverseSearchBorder: @navbarInverseBackground;
    212 @navbarInverseSearchPlaceholderColor: @white;
    213 
    214 @navbarInverseBrandColor: @navbarInverseLinkColor;
    215 
    216 
    217 // Pagination
    218 // -------------------------
    219 @paginationBackground: @bodyBackground;
    220 @paginationBorder: transparent;
    221 @paginationActiveBackground: @blue;
    222 
    223 
    224 // Hero unit
    225 // -------------------------
    226 @heroUnitBackground: #131517;
    227 @heroUnitHeadingColor: inherit;
    228 @heroUnitLeadColor: inherit;
    229 
    230 
    231 // Form states and alerts
    232 // -------------------------
    233 @warningText: darken(#c09853, 10%);
    234 @warningBackground: @grayLighter;
    235 @warningBorder: transparent;
    236 
    237 @errorText: #b94a48;
    238 @errorBackground: @grayLighter;
    239 @errorBorder: darken(spin(@errorBackground, -10), 3%);
    240 
    241 @successText: #468847;
    242 @successBackground: @grayLighter;
    243 @successBorder: darken(spin(@successBackground, -10), 5%);
    244 
    245 @infoText: @blueDark;
    246 @infoBackground: @grayLighter;
    247 @infoBorder: darken(spin(@infoBackground, -10), 7%);
    248 
    249 
    250 // Tooltips and popovers
    251 // -------------------------
    252 @tooltipColor: #fff;
    253 @tooltipBackground: @heroUnitBackground;
    254 @tooltipArrowWidth: 5px;
    255 @tooltipArrowColor: @tooltipBackground;
    256 
    257 @popoverBackground: @heroUnitBackground;
    258 @popoverArrowWidth: 10px;
    259 @popoverArrowColor: @popoverBackground;
    260 @popoverTitleBackground: @popoverBackground;
    261 
    262 // Special enhancement for popovers
    263 @popoverArrowOuterWidth: @popoverArrowWidth + 1;
    264 @popoverArrowOuterColor: rgba(0,0,0,.25);
    265 
    266 
    267 // Panels
    268 // -------------------------
    269 @panel-bg: @grayDarker;
    270 @panel-inner-border: @grayDark;
    271 @panel-border-radius: @baseBorderRadius;
    272 @panel-footer-bg: @panel-default-heading-bg;
    273 
    274 @panel-default-text: @grayDark;
    275 @panel-default-border: @panel-inner-border;
    276 @panel-default-heading-bg: lighten(@grayDarker, 10%);
    277 
    278 @panel-primary-text: #fff;
    279 @panel-primary-border: @blue;
    280 @panel-primary-heading-bg: @blue;
    281 
    282 @panel-success-text: @successText;
    283 @panel-success-border: @successBorder;
    284 @panel-success-heading-bg: @successBackground;
    285 
    286 @panel-warning-text: @warningText;
    287 @panel-warning-border: @warningBorder;
    288 @panel-warning-heading-bg: @warningBackground;
    289 
    290 @panel-danger-text: @errorText;
    291 @panel-danger-border: @errorBorder;
    292 @panel-danger-heading-bg: @errorBackground;
    293 
    294 @panel-info-text: @infoText;
    295 @panel-info-border: @infoBorder;
    296 @panel-info-heading-bg: @infoBackground;
    297 
    298 
    299 
    300 // GRID
    301 // --------------------------------------------------
    302 
    303 
    304 // Default 940px grid
    305 // -------------------------
    306 @gridColumns: 12;
    307 @gridColumnWidth: 60px;
    308 @gridGutterWidth: 20px;
    309 @gridRowWidth: (@gridColumns * @gridColumnWidth) + (@gridGutterWidth * (@gridColumns - 1));
    310 
    311 // 1200px min
    312 @gridColumnWidth1200: 70px;
    313 @gridGutterWidth1200: 30px;
    314 @gridRowWidth1200: (@gridColumns * @gridColumnWidth1200) + (@gridGutterWidth1200 * (@gridColumns - 1));
    315 
    316 // 768px-979px
    317 @gridColumnWidth768: 42px;
    318 @gridGutterWidth768: 20px;
    319 @gridRowWidth768: (@gridColumns * @gridColumnWidth768) + (@gridGutterWidth768 * (@gridColumns - 1));
    320 
    321 
    322 // Fluid grid
    323 // -------------------------
    324 @fluidGridColumnWidth: percentage(@gridColumnWidth/@gridRowWidth);
    325 @fluidGridGutterWidth: percentage(@gridGutterWidth/@gridRowWidth);
    326 
    327 // 1200px min
    328 @fluidGridColumnWidth1200: percentage(@gridColumnWidth1200/@gridRowWidth1200);
    329 @fluidGridGutterWidth1200: percentage(@gridGutterWidth1200/@gridRowWidth1200);
    330 
    331 // 768px-979px
    332 @fluidGridColumnWidth768: percentage(@gridColumnWidth768/@gridRowWidth768);
    333 @fluidGridGutterWidth768: percentage(@gridGutterWidth768/@gridRowWidth768);