<commit_before>// ------------------------------------------------
//                 LESS Spec
//                 www.lesscss.org
// ------------------------------------------------

// Global vars
@main-color: #444;
@dark-color: #111;
@between-color: @main-color - @dark-color;

// Mixins
.theme {
    color: #ccc;
    background-color: #aaa;
}
.extra {
    @main: #888;
    .dark-borders {
        border-color: .extra > @main / 2;    
    }
    .light-borders {
        border-color: .extra > @main;
    }
}

// Namespaces
.borders {
    @thick: 4px;
    @thin: 2px;    
}

// Hierarchy
.root {
    a { 
        color: blue;
        display: none;
    }
    a:hover, a:focus {
        color: orange;
    }
    .first {
        @size: 8px;
        @dark-color: green;
        @main-color: red;
        color: @dark-color; // 'green'
        .second {
            @color: blue;
            .third {
                background-color: @color; // blue
                font-size: @size; // 8px
                color: @main-color; // red
                border-color: .root > .first > .second > @color; // 'blue'
            }
        }
    }    
}
.root:hover a {
    display: block;
}

// Standard CSS properties and shorthand
body {
    font-size: 10px;
    font-family: "Lucida Grande", 'Helvetica', Verdana, sans-serif;
    margin: -5px 0 5px 10px;
    border: solid 1px #000;
    text-shadow: #333 -1px 1px 2px;
    -moz-border-radius: 3px; /* CSS3 for older Firefox */
    .theme;
    .extra > .light-borders;
}

// Operations
.operations {
    @ten: 10;
    @dark: #111;
    @box: 100px; 
    @border_width: 10px;
    font: 12px/16px; // 12px/16px
    width: @box + @border_width; // 110px
    div { width: @box - 2 * @border_width; } // 80px
    border-width: .borders > @thick * 5 - 4px; // 16px
    font-size: 10 - 4 + 6 * @ten; // 66
    line-height: @ten - .operations > @ten + .root > .first > @size - 1; // 7px
    color: #fff - #111; // #eeeeee
    colorb: #111 + #222222; // #333333
    colorc: @dark + #222 * 3; // #777777 
}

td, tr, table {
    border-width: .borders > @thick;   
}

// More complex CSS selectors
blockquote:before, blockquote:after, q:before, q:after { content: ""; }
a:link, 
a:hover {
  color:brown;
}
div > a, a span {
  color: grey;
}
ul li:first-child {
    border-top: none;
}
ul li:first-child, ul li:last-child {
    background-color: #333;
}
.p:first-letter { 
    color: red; 
}
:focus {<commit_msg>removed experimental stuff from spec<commit_after>// ------------------------------------------------
//                 LESS Spec
//                 www.lesscss.org
// ------------------------------------------------

// Global vars
@main-color: #444;
@dark-color: #111;
@between-color: @main-color - @dark-color;

// Mixins
.theme {
    color: #ccc;
    background-color: #aaa;
}
.extra {
    @main: #888;
    .dark-borders {
        border-color: @main / 2;    
    }
    .light-borders {
        border-color: @main;
    }
}

// Complex Selectors
body, div > p a, h2 a > span:first-child {
  font-family: sans-serif;
}

// Hierarchy
.root {
    a { 
        color: blue;
        display: none;
    }
    a:hover, a:focus {
        color: orange;
    }
    .first {
        @size: 8px;
        @dark-color: green;
        @main-color: red;
        color: @dark-color; // 'green'
        .second {
            @color: blue;
            .third {
                background-color: @color; // blue
                font-size: @size; // 8px
                color: @main-color; // red
                border-color: @main-color; // 'red'
            }
        }
    }    
}
.root:hover a {
    display: block;
}

// Standard CSS properties and shorthand
body {
    font-size: 10px;
    font-family: "Lucida Grande", 'Helvetica', Verdana, sans-serif;
    margin: -5px 0 5px 10px;
    border: solid 1px #000;
    text-shadow: #333 -1px 1px 2px;
    -moz-border-radius: 3px; /* CSS3 for older Firefox */
    .theme;
}

// Operations
.operations {
    @ten: 10;
    @dark: #111;
    @box: 100px; 
    @border_width: 10px;
    font: 12px/16px; // 12px/16px
    width: @box + @border_width; // 110px
    div { width: @box - 2 * @border_width; } // 80px
    font-size: 10 - 4 + 6 * @ten; // 66
    color: #fff - #111; // #eeeeee
    colorb: #111 + #222222; // #333333
    colorc: @dark + #222 * 3; // #777777 
}

td, tr, table {
    border-width: 88px;   
}

// More complex CSS selectors
blockquote:before, blockquote:after, q:before, q:after { content: ""; }
a:link, 
a:hover {
  color:brown;
}
div > a, a span {
  color: grey;
}
ul li:first-child {
    border-top: none;
}
ul li:first-child, ul li:last-child {
    background-color: #333;
}
.p:first-letter { 
    color: red; 
}
:focus {
{'fraction_non_alphanumeric': 0.19462092333756884, 'fraction_numerical': 0.041296060991105464, 'mean_word_length': 1.5696409140369967, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 18, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2828564', 'n_tokens_mistral': 1843, 'n_tokens_neox': 1660, 'n_words': 412}