<commit_before>// The ui-variables file is provided by base themes provided by Atom.
//
// See https://github.com/atom/atom-dark-ui/blob/master/stylesheets/ui-variables.less
// for a full listing of what's available.
@import "ui-variables";
@import "syntax-variables";

.agda-view {

    // For hiding React components
    .hidden { display: none }

    // So that we can stop goal indices from floating around
    // see #14: https://github.com/banacorn/agda-mode/issues/14
    z-index: 4;



    // so that .agda-body will overflow and be scrollable
    height: 100%;
    > section { // pane item
        height: 100%;
    }

    @sizingHandleHeight: 5px;
    @headerHeight: 50px;

    // <SizingHandle>
    .agda-sizing-handle-anchor {
        position: relative;
        height: 0px;
        width: 100%;
        .agda-sizing-handle {
            height: @sizingHandleHeight;
            width: 100%;
            position: absolute;
            cursor: row-resize;
        }
    }

    .agda-header-container {
        padding: 0 @component-padding;

        // <Header>
        .agda-header {
            // flexbox
            display: flex;
            justify-content: space-between;

            h1 {
                height: @headerHeight;
                line-height: @headerHeight;
                font-size: 150%;
                margin: 0;
            }
        }

        // <Settings>
        .agda-settings {
            list-style: none;
            margin: 0;

            height: @headerHeight;
            line-height: @headerHeight;

            button {
                color: @button-background-color;
            }
            button:hover {
                color: @button-background-color-hover;
            }
            button.activated {
                color: @button-background-color-selected;
            }
        }

    }

    // <InputMethod>
    .agda-input-method {
        @button-height: 20px;

        height: @headerHeight;
        line-height: @headerHeight;

        display: flex;
        align-items: center;
        justify-content: space-between;

        font-family: inconsolata, Menlo, Consolas, "DejaVu Sans Mono", "Liberation Mono", Monaco, "Lucida Console", monospace;

        .keyboard {
            display: flex;
            align-items: center;

            // Buffer
            .buffer {
                height: 30px;
                line-height: 30px;
                font-size: 150%;
                background: @input-background-color;
                border-radius: @component-border-radius;
                padding: 0 @component-padding;
            }
        }

        // key buttons
        button.btn {
            top: 0;
            width: @button-height;
            height: @button-height;
            line-height: @button-height;
            margin: 0;
            padding: 0;
            text-align: center;
            border-radius: @component-border-radius;
            background: @background-color-selected;
            &:hover {
                font-size: 200%;
                position: relative;
                width: 40px;
                height: 40px;
                margin: -10px;
                z-index: 5;
                background: @button-background-color-selected;
            }
            &.selected {
                background: @button-background-color-selected;
            }
        }
    }


    // <MiniEditor>
    .agda-mini-editor {
        @height: 30px;

        min-height: @height;
        line-height: @height;
        padding: 0 @component-padding;
        margin: 10px @component-padding;
        font-size: 125%;

    }


    // <Body>
    .agda-body-container {
        @height: 30px;

        // so that .agda-body will overflow and be scrollable
        height: 100%;

        overflow-y: scroll;
        font-family: inconsolata, Menlo, Consolas, "DejaVu Sans Mono", "Liberation Mono", Monaco, "Lucida Console", monospace;

        margin: 0;
        padding: 0 @component-padding;

        font-size: 125%;
        white-space: pre;       // preserves whitespaces


        li {
            min-height: @height;
            line-height: @height !important;
            padding: 0px @component-padding;
            margin: 10px 0;


            display: flex;
            white-space: pre;       // preserves whitespaces

            // prevents parent <li> from collapsing
            &:after {
               content: " ";
               display: block;
               height: 0;
               clear: both;
            }

            .item-heading {
                align-self: flex-start;
            }

            .item-body {
                flex-grow: 100;
            }

<commit_msg>making pre texts wrap<commit_after>// The ui-variables file is provided by base themes provided by Atom.
//
// See https://github.com/atom/atom-dark-ui/blob/master/stylesheets/ui-variables.less
// for a full listing of what's available.
@import "ui-variables";
@import "syntax-variables";

.agda-view {

    // For hiding React components
    .hidden { display: none }

    // So that we can stop goal indices from floating around
    // see #14: https://github.com/banacorn/agda-mode/issues/14
    z-index: 4;



    // so that .agda-body will overflow and be scrollable
    height: 100%;
    > section { // pane item
        height: 100%;
    }

    @sizingHandleHeight: 5px;
    @headerHeight: 50px;

    // <SizingHandle>
    .agda-sizing-handle-anchor {
        position: relative;
        height: 0px;
        width: 100%;
        .agda-sizing-handle {
            height: @sizingHandleHeight;
            width: 100%;
            position: absolute;
            cursor: row-resize;
        }
    }

    .agda-header-container {
        padding: 0 @component-padding;

        // <Header>
        .agda-header {
            // flexbox
            display: flex;
            justify-content: space-between;

            h1 {
                height: @headerHeight;
                line-height: @headerHeight;
                font-size: 150%;
                margin: 0;
            }
        }

        // <Settings>
        .agda-settings {
            list-style: none;
            margin: 0;

            height: @headerHeight;
            line-height: @headerHeight;

            button {
                color: @button-background-color;
            }
            button:hover {
                color: @button-background-color-hover;
            }
            button.activated {
                color: @button-background-color-selected;
            }
        }

    }

    // <InputMethod>
    .agda-input-method {
        @button-height: 20px;

        height: @headerHeight;
        line-height: @headerHeight;

        display: flex;
        align-items: center;
        justify-content: space-between;

        font-family: inconsolata, Menlo, Consolas, "DejaVu Sans Mono", "Liberation Mono", Monaco, "Lucida Console", monospace;

        .keyboard {
            display: flex;
            align-items: center;

            // Buffer
            .buffer {
                height: 30px;
                line-height: 30px;
                font-size: 150%;
                background: @input-background-color;
                border-radius: @component-border-radius;
                padding: 0 @component-padding;
            }
        }

        // key buttons
        button.btn {
            top: 0;
            width: @button-height;
            height: @button-height;
            line-height: @button-height;
            margin: 0;
            padding: 0;
            text-align: center;
            border-radius: @component-border-radius;
            background: @background-color-selected;
            &:hover {
                font-size: 200%;
                position: relative;
                width: 40px;
                height: 40px;
                margin: -10px;
                z-index: 5;
                background: @button-background-color-selected;
            }
            &.selected {
                background: @button-background-color-selected;
            }
        }
    }


    // <MiniEditor>
    .agda-mini-editor {
        @height: 30px;

        min-height: @height;
        line-height: @height;
        padding: 0 @component-padding;
        margin: 10px @component-padding;
        font-size: 125%;

    }


    // <Body>
    .agda-body-container {
        @height: 30px;

        // so that .agda-body will overflow and be scrollable
        height: 100%;

        overflow-y: scroll;
        font-family: inconsolata, Menlo, Consolas, "DejaVu Sans Mono", "Liberation Mono", Monaco, "Lucida Console", monospace;

        margin: 0;
        padding: 0 @component-padding;

        font-size: 125%;
        white-space: pre-wrap;       // preserves whitespaces


        li {
            min-height: @height;
            line-height: @height !important;
            padding: 0px @component-padding;
            margin: 10px 0;

            display: flex;
            white-space: pre-wrap;       // preserves whitespaces

            // prevents parent <li> from collapsing
            &:after {
               content: " ";
               display: block;
               height: 0;
               clear: both;
            }

            .item-heading {
                align-self: flex-start;
            }

            .item-body {
                flex-grow: 100;
            }


{'fraction_non_alphanumeric': 0.10643485635534825, 'fraction_numerical': 0.016325665217852222, 'mean_word_length': 1.2959357507909468, 'pattern_counts': {'":': 0, '<': 17, '<?xml version=': 0, '>': 19, 'https://': 4, 'lorem ipsum': 0, 'www.': 0, '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': '3418091', 'n_tokens_mistral': 2803, 'n_tokens_neox': 2506, 'n_words': 607}