<commit_before>$title-height: 18px;
$menubar-height: 18px;

@mixin system-font() {
    font-family: "굴림", "Gulim", "Tahoma", sans-serif;
    font-size: 9pt;
}

body {
    @include system-font();
}

* {
    cursor: default;
    // disable highlighting selection
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

#taskbar {
    @include make-inner-box();
    position: absolute;
    left: 0;
    right: 0;
    bottom: 0;
    height: 28px + 1px;

    background-color: $color-face;
    border-top: 1px solid $color-border-light;
    &:before {
        border-top: 1px solid $color-border-highlight;
    }
    padding-top: 1px;

    .task {
        float: left;
        margin: 2px 3px;
        width: 160px;
        max-width: 160px;
        height: 22px;
        @include raised-taskbar-button();
        padding: (1px + 1px) (3px + 1px) 1px;

        &:active {
            @include sunken-taskbar-button();
            padding: (1px + 1px) (3px + 1px) 1px;
        }
        &.selected {
            @include sunken-taskbar-button();
            padding: (1px + 1px) (3px + 1px) 1px;
            background-image: url(images/checkerboard.gif);
            font-weight: bold;
        }

        img {
            float: left;
        }
        span {
            float: left;
            margin-top: 2px;
        }
    }
}

div#start {
    float: left;
    margin: 2px;

    @include raised-taskbar-button();
    padding: 3px 4px 0 1px;
    &.pressed {
        @include sunken-taskbar-button();
    }

    &:after {
        position: absolute;
        top: 2px;
        bottom: 2px;
        left: 2px;
        right: 2px;

        content: "";

        z-index: -2;
    }
    &.selected:after {
        border: 1px dotted black;
    }

    span {
        &:before {
            content: url(images/win95.gif);
            float: left;
            margin: 0 3px;
        }
        font-weight: bold;
    }
}

div#start_menu {
    position: absolute;
    left: 2px;
    @include transform(translateY(-100%));

    ul.menu {
        padding-left: 21px + 2px;
        div.decorator {
            position: absolute;
            left: 2px;
            top: 2px;
            bottom: 2px;
            width: 21px;
            background-color: rgb(0, 0, 120); // XXX
            z-index: 0;
            &:before {
                position: absolute;
                left: 0;
                bottom: 0;
                width: 21px;
                height: 108px;
                background-image: url(images/sprite.png);
                background-position: -224px 0;
                z-index: 1;
                content: "";
            }
        }

        & > li:not(.separator) {
            padding: 9px 16px 9px 32px + 9px; // XXX
            position: relative;
            &:before {
                position: absolute;
                left: 2px;
                top: 0;
                width: 32px;
                height: 32px;
                background-image: url(images/sprite.png);
                content: "";
            }
            &[data-icon="programs"  ]:before { background-position:    0      0;    }
            &[data-icon="favorites" ]:before { background-position:  -32px    0;    }
            &[data-icon="documents" ]:before { background-position:  -64px    0;    }
            &[data-icon="setting"   ]:before { background-position:  -96px    0;    }
            &[data-icon="find"      ]:before { background-position: -128px    0;    }
            &[data-icon="help"      ]:before { background-position: -160px    0;    }
            &[data-icon="run"       ]:before { background-position: -192px    0;    }
            &[data-icon="logoff"    ]:before { background-position:    0    -32px;  }
            &[data-icon="shutdown"  ]:before { background-position:  -32px  -32px;  }
        }
    }
}

div#notification_area {
    float: right;
    margin: 2px;
    padding: 5px 11px 4px;
    @include border-sunken-outer();
}

.window {
    @include raised-control();

    // 2px: default padding area
    // 1px: due to :before border
    padding: 3px+$title-height 3px 3px 3px;

    &.maximized {
        border: 0;
        padding: $title-height 0 0 0;

        &:before {
            border: 0;
        }
    }

    &.has-menu {<commit_msg>fix taksbar's sizings<commit_after>$title-height: 18px;
$menubar-height: 18px;

@mixin system-font() {
    font-family: "굴림", "Gulim", "Tahoma", sans-serif;
    font-size: 9pt;
}

body {
    @include system-font();
}

* {
    cursor: default;
    // disable highlighting selection
    -webkit-touch-callout: none;
    -webkit-user-select: none;
    -khtml-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

#taskbar {
    @include make-inner-box();
    position: absolute;
    left: 0;
    right: 0;
    bottom: 0;
    height: 28px;

    background-color: $color-face;
    border-top: 1px solid $color-border-light;
    &:before {
        border-top: 1px solid $color-border-highlight;
    }
    padding-top: 1px;

    .task {
        float: left;
        margin: 2px 3px;
        width: 160px;
        max-width: 160px;
        height: 22px;
        @include raised-taskbar-button();
        padding: (1px + 1px) (3px + 1px) 1px;

        &:active {
            @include sunken-taskbar-button();
            padding: (1px + 1px) (3px + 1px) 1px;
        }
        &.selected {
            @include sunken-taskbar-button();
            padding: (1px + 1px) (3px + 1px) 1px;
            background-image: url(images/checkerboard.gif);
            font-weight: bold;
        }

        img {
            float: left;
        }
        span {
            float: left;
            margin-top: 2px;
        }
    }
}

div#start {
    float: left;
    margin: 2px;

    @include raised-taskbar-button();
    padding: 3px 4px 0 1px;
    &.pressed {
        @include sunken-taskbar-button();
    }

    &:after {
        position: absolute;
        top: 2px;
        bottom: 2px;
        left: 2px;
        right: 2px;

        content: "";

        z-index: -2;
    }
    &.selected:after {
        border: 1px dotted black;
    }

    span {
        &:before {
            content: url(images/win95.gif);
            float: left;
            margin: 0 3px;
        }
        font-weight: bold;
    }
}

div#start_menu {
    position: absolute;
    left: 2px;
    @include transform(translateY(-100%));

    ul.menu {
        padding-left: 21px + 2px;
        div.decorator {
            position: absolute;
            left: 2px;
            top: 2px;
            bottom: 2px;
            width: 21px;
            background-color: rgb(0, 0, 120); // XXX
            z-index: 0;
            &:before {
                position: absolute;
                left: 0;
                bottom: 0;
                width: 21px;
                height: 108px;
                background-image: url(images/sprite.png);
                background-position: -224px 0;
                z-index: 1;
                content: "";
            }
        }

        & > li:not(.separator) {
            padding: 9px 16px 9px 32px + 9px; // XXX
            position: relative;
            &:before {
                position: absolute;
                left: 2px;
                top: 0;
                width: 32px;
                height: 32px;
                background-image: url(images/sprite.png);
                content: "";
            }
            &[data-icon="programs"  ]:before { background-position:    0      0;    }
            &[data-icon="favorites" ]:before { background-position:  -32px    0;    }
            &[data-icon="documents" ]:before { background-position:  -64px    0;    }
            &[data-icon="setting"   ]:before { background-position:  -96px    0;    }
            &[data-icon="find"      ]:before { background-position: -128px    0;    }
            &[data-icon="help"      ]:before { background-position: -160px    0;    }
            &[data-icon="run"       ]:before { background-position: -192px    0;    }
            &[data-icon="logoff"    ]:before { background-position:    0    -32px;  }
            &[data-icon="shutdown"  ]:before { background-position:  -32px  -32px;  }
        }
    }
}

div#notification_area {
    float: right;
    margin: 2px 2px 0;
    padding: 4px 11px 2px;
    @include border-sunken-outer();
}

.window {
    @include raised-control();

    // 2px: default padding area
    // 1px: due to :before border
    padding: 3px+$title-height 3px 3px 3px;

    &.maximized {
        border: 0;
        padding: $title-height 0 0 0;

        &:before {
            border: 0;
        }
    }

    &.has-menu {
{'fraction_non_alphanumeric': 0.1311176872296836, 'fraction_numerical': 0.03289323924425222, 'mean_word_length': 1.4280187897209173, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, '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': '3596612', 'n_tokens_mistral': 3132, 'n_tokens_neox': 2793, 'n_words': 627}