<commit_before>//
// UI ELEMENTS
//


.handle
  cursor: move
.not_handle
  cursor: default
.tag1
  font-size: 1em
.tag2
  font-size: 1.1em
.tag3
  font-size: 1.3em
.tag4
  font-size: 1.5em
ul.plain
  padding: 0
  margin: 0
  list-style: none
ul.plain ul
  list-style: none
ul.floatlist li
  float: left
  margin-right: 1em
.nowrap
  white-space: nowrap
.small
  font-size: 0.9em

//
// LINKS
//

a
  text-decoration: none
  color= !link_color
  // i think setting outline none for all links is a very very bad idea.
  // it makes it so you cannot see when you have tabbed to a link
  // outline: none
  &:visited
    color= !link_visited_color
  &:active
    color= !link_active_color
    text-decoration: none
  &:hover
    color= !link_hover_color
    text-decoration: underline
  &.dotted
    color: black
    text-decoration: none
    outline: 0
    border-bottom: 1px #999 dotted
  &.invert
    color: white
    background-color= !link_color
  &.active
    font-weight: bold
  //&.selected
  //  font-weight: bold
  //&.hov
  //  text-decoration: none
  //  &:hover
  //    text-decoration: underline
  //&.noline
  //  text-decoration: none
  &.imglink
    text-decoration: none
    span
      text-decoration: underline

// this is not likely to work in many browsers...
a[name]
  color: black
  text-decoration: none
  &:hover
    color: black
    text-decoration: none

.link_line em
  color: #ccc

.clickable:hover
  background-color: #ffffdd
  cursor: pointer

//
// ENTITIES
//

.entity .name
  font-weight: bold
  overflow: hidden

//
// SIDE LIST
//

ul.side_list
  padding: 0
  margin: 0
  list-style: none
  //margin-bottom: 0.5em
  clear: both
  ul
    list-style: none
    padding-left: 16px
  a, .a
    //text-decoration: none
    display: block
    padding-top: 4px
    padding-bottom: 4px
    //&.active
    //&.visited
    //&:hover
    //  text-decoration: underline
  &.commands a
    text-transform: capitalize
  li
    &.active, &:hover
    &.small_icon
      padding-left: 19px
      background-position: 0 50%

//
// TABS
//

.tab_area
  background-color: white
  padding-top: 1em
  clear: left

ul.tabset.top
  margin: 0
  padding: 0
  clear: left
  float: left
  width: 100%
  height: 1%
  list-style: none
  background: url(/images/grey9.png) repeat-x bottom
  a:hover
    text-decoration: underline
  a
    display: block
    float: left
    text-align: center
    text-decoration: none
    position: relative
    left: 1em
    line-height: 1.3em
    padding: 0.5em 1em
    // i don't understand why this is needed:
    cursor: pointer
    &.small_icon
      padding-left: 28px
      margin-left: 0.5em
      background-position: 8px 50%
    &.active
      background-color: white
      border: 1px solid #999
      border-bottom: 0

.sub_tabs a
  font-size: 0.85em

ul.tabset.simple
  list-style: none
  padding: 0
  margin-top: 0
  li
    display: inline

//
// FORM ELEMENTS
//

input[type="hidden"]
  display: none

//input[type="checkbox"]
//  vertical-align: sub

option
  &.indented
    margin-left: 1.5em
  &.section
    font-weight: bold
  //&.spaced
  //  margin-top: 0.5em

label.date span
  font-size: 0.8em

// real fieldsets cause all kinds of cross-browser problems
// so we use div.fieldset instead.<commit_msg>fix tab css for IEs<commit_after>//
// UI ELEMENTS
//


.handle
  cursor: move
.not_handle
  cursor: default
.tag1
  font-size: 1em
.tag2
  font-size: 1.1em
.tag3
  font-size: 1.3em
.tag4
  font-size: 1.5em
ul.plain
  padding: 0
  margin: 0
  list-style: none
ul.plain ul
  list-style: none
ul.floatlist li
  float: left
  margin-right: 1em
.nowrap
  white-space: nowrap
.small
  font-size: 0.9em

//
// LINKS
//

a
  text-decoration: none
  color= !link_color
  // i think setting outline none for all links is a very very bad idea.
  // it makes it so you cannot see when you have tabbed to a link
  // outline: none
  &:visited
    color= !link_visited_color
  &:active
    color= !link_active_color
    text-decoration: none
  &:hover
    color= !link_hover_color
    text-decoration: underline
  &.dotted
    color: black
    text-decoration: none
    outline: 0
    border-bottom: 1px #999 dotted
  &.invert
    color: white
    background-color= !link_color
  &.active
    font-weight: bold
  //&.selected
  //  font-weight: bold
  //&.hov
  //  text-decoration: none
  //  &:hover
  //    text-decoration: underline
  //&.noline
  //  text-decoration: none
  &.imglink
    text-decoration: none
    span
      text-decoration: underline

// this is not likely to work in many browsers...
a[name]
  color: black
  text-decoration: none
  &:hover
    color: black
    text-decoration: none

.link_line em
  color: #ccc

.clickable:hover
  background-color: #ffffdd
  cursor: pointer

//
// ENTITIES
//

.entity .name
  font-weight: bold
  overflow: hidden

//
// SIDE LIST
//

ul.side_list
  padding: 0
  margin: 0
  list-style: none
  //margin-bottom: 0.5em
  clear: both
  ul
    list-style: none
    padding-left: 16px
  a, .a
    //text-decoration: none
    display: block
    padding-top: 4px
    padding-bottom: 4px
    //&.active
    //&.visited
    //&:hover
    //  text-decoration: underline
  &.commands a
    text-transform: capitalize
  li
    &.active, &:hover
    &.small_icon
      padding-left: 19px
      background-position: 0 50%

//
// TABS
//

.tab_area
  background-color: white
  padding-top: 1em
  clear: left

ul.tabset
  padding: 0
  list-style: none
  li
    display: inline

ul.tabset.top
  margin: 0
  clear: left
  float: left
  width: 100%
  height: 1%
  background: url(/images/grey9.png) repeat-x bottom
  a:hover
    text-decoration: underline
  a
    display: block
    float: left
    text-align: center
    text-decoration: none
    position: relative
    left: 1em
    line-height: 1.3em
    padding: 0.5em 1em
    // i don't understand why this is needed:
    cursor: pointer
    &.small_icon
      padding-left: 28px
      margin-left: 0.5em
      background-position: 8px 50%
    &.active
      background-color: white
      border: 1px solid #999
      border-bottom: 0

.sub_tabs a
  font-size: 0.85em

ul.tabset.simple
  margin-top: 0

//
// FORM ELEMENTS
//

input[type="hidden"]
  display: none

//input[type="checkbox"]
//  vertical-align: sub

option
  &.indented
    margin-left: 1.5em
  &.section
    font-weight: bold
  //&.spaced
  //  margin-top: 0.5em

label.date span
  font-size: 0.8em

// real fieldsets cause all kinds of cross-browser problems
// so we use div.fieldset instead.
{'fraction_non_alphanumeric': 0.1137936337075196, 'fraction_numerical': 0.02168230047670306, 'mean_word_length': 2.2931645569620254, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '1206432', 'n_tokens_mistral': 2512, 'n_tokens_neox': 2360, 'n_words': 670}