<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

//
// LINKS
// 

a
  text-decoration: none
  color= !link_color
  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

//
// SIDE LIST
// 

ul.side_list
  padding: 0
  margin: 0
  list-style: none
  margin-bottom: 0.5em
  clear: left
  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: 25px
      background-position: 2px 50%

//
// TABS
// 

.tab-area
  background-color: white
  padding: 1em
  border-top: 0
  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
    li
      display: inline
    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
      &.active
        background: white
        border: 1px solid #999
        border-bottom: 0

//
// FORM ELEMENTS
//

input[type="hidden"]
  display: none

option
  &.indented
    margin-left: 1em
  &.section
    font-weight: bold

label.date span
  font-size: 0.8em

// real fieldsets cause all kinds of cross-browser problems
// so we use div.fieldset instead.
.fieldset textarea
  width: 99%
  max-width: 80em

// make checkboxes have a hanging indent look, like bullets.
label.checkbox
  display: block
  margin-left: 1.7em
input.checkbox
  position: relative
  top: 2px
  margin-left: -1.6em


//
// ROUNDY CORNERS
//

.round
  -webkit-border-radius: 4px
  -moz-border-radius: 4px
.round_top
  -webkit-border-top-left-radius: 4px
  -webkit-border-top-right-radius: 4px
  -moz-border-radius-topright: 4px
  -moz-border-radius-topleft: 4px
.round_left
  -webkit-border-top-left-radius: 4px
  -webkit-border-bottom-left-radius: 4px
  -moz-border-radius-topleft: 4px
  -moz-border-radius-bottomleft: 4px
.round_right
  -webkit-border-top-right-radius: 4px
  -webkit-border-bottom-right-radius: 4px
  -moz-border-radius-topright: 4px
  -moz-border-radius-bottomright: 4px
.large_circle
  -moz-border-radius-bottomleft: 21px
  -moz-border-radius-bottomright: 21px
  -moz-border-radius-topleft: 21px
  -moz-border-radius-topright: 21px

//
// UTILITY
//

.clear
  clear: both 

hr
  &.clear
    height: 0
    border: none
    padding: 0
    clear: both
  // disabled:
    &.thin
      height: 0
      border: none
      padding: 0
      clear: both
      margin: 0.5em 0
      border-bottom= "1px solid" !right_column_hr_color
    &.thick
      height: 0
      border: none
      padding: 0
      clear: both
      margin: 0.5em 0
      border-bottom= "2px solid" !right_column_hr_color

// act like a <p>
div.p
  margin: 1em 0

// allow for soft breaks in a variety of browsers
span.break
  font-size: 1px
  line-height: 1px
  float: right !important
  float: none

//
// COLORED HEADINGS
//

h1
  &.dim
    color: #738899
    text-transform: capitalize
    margin: 0
  &.bright
    color: #5B97CB
    text-transform: capitalize
    margin: 0
  &.alert
    color: #CE4A48
    text-transform: capitalize
    margin: 0
h2
  &.dim
    color: #738899
    text-transform: capitalize
    margin: 0
  &.bright
    color: #5B97CB
    text-transform: capitalize
    margin: 0
  &.alert
    color: #CE4A48
    text-transform: capitalize
    margin: 0
  &.section
    color: #333
    margin-bottom: 0.5em
    background-color: #dfdfdf
    border: 1px solid #bbb
    padding: 0.25em
    -moz-border-radius: 6px
  span
    font-size: 0.6em
    white-space: nowrap
    text-transform: uppercase
h3
  &.dim
    color: #738899
    text-transform: capitalize
    margin: 0
  &.bright
    color: #5B97CB
    text-transform: capitalize
    margin: 0
  &.alert
    color: #CE4A48
    text-transform: capitalize
    margin: 0
  span
    font-size: 0.6em
    white-space: nowrap
    text-transform: uppercase<commit_msg>i don't think headings should be capitalized. does anyone want them to be?<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

//
// LINKS
// 

a
  text-decoration: none
  color= !link_color
  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

//
// SIDE LIST
// 

ul.side_list
  padding: 0
  margin: 0
  list-style: none
  margin-bottom: 0.5em
  clear: left
  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: 25px
      background-position: 2px 50%

//
// TABS
// 

.tab-area
  background-color: white
  padding: 1em
  border-top: 0
  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
    li
      display: inline
    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
      &.active
        background: white
        border: 1px solid #999
        border-bottom: 0

//
// FORM ELEMENTS
//

input[type="hidden"]
  display: none

option
  &.indented
    margin-left: 1em
  &.section
    font-weight: bold

label.date span
  font-size: 0.8em

// real fieldsets cause all kinds of cross-browser problems
// so we use div.fieldset instead.
.fieldset textarea
  width: 99%
  max-width: 80em

// make checkboxes have a hanging indent look, like bullets.
label.checkbox
  display: block
  margin-left: 1.7em
input.checkbox
  position: relative
  top: 2px
  margin-left: -1.6em


//
// ROUNDY CORNERS
//

.round
  -webkit-border-radius: 4px
  -moz-border-radius: 4px
.round_top
  -webkit-border-top-left-radius: 4px
  -webkit-border-top-right-radius: 4px
  -moz-border-radius-topright: 4px
  -moz-border-radius-topleft: 4px
.round_left
  -webkit-border-top-left-radius: 4px
  -webkit-border-bottom-left-radius: 4px
  -moz-border-radius-topleft: 4px
  -moz-border-radius-bottomleft: 4px
.round_right
  -webkit-border-top-right-radius: 4px
  -webkit-border-bottom-right-radius: 4px
  -moz-border-radius-topright: 4px
  -moz-border-radius-bottomright: 4px
.large_circle
  -moz-border-radius-bottomleft: 21px
  -moz-border-radius-bottomright: 21px
  -moz-border-radius-topleft: 21px
  -moz-border-radius-topright: 21px

//
// UTILITY
//

.clear
  clear: both 

hr
  &.clear
    height: 0
    border: none
    padding: 0
    clear: both
  // disabled:
    &.thin
      height: 0
      border: none
      padding: 0
      clear: both
      margin: 0.5em 0
      border-bottom= "1px solid" !right_column_hr_color
    &.thick
      height: 0
      border: none
      padding: 0
      clear: both
      margin: 0.5em 0
      border-bottom= "2px solid" !right_column_hr_color

// act like a <p>
div.p
  margin: 1em 0

// allow for soft breaks in a variety of browsers
span.break
  font-size: 1px
  line-height: 1px
  float: right !important
  float: none

//
// COLORED HEADINGS
//

h1
  &.dim
    color: #738899
//    text-transform: capitalize
    margin: 0
  &.bright
    color: #5B97CB
//    text-transform: capitalize
    margin: 0
  &.alert
    color: #CE4A48
//    text-transform: capitalize
    margin: 0
h2
  &.dim
    color: #738899
//    text-transform: capitalize
    margin: 0
  &.bright
    color: #5B97CB
//    text-transform: capitalize
    margin: 0
  &.alert
    color: #CE4A48
//    text-transform: capitalize
    margin: 0
  &.section
    color: #333
    margin-bottom: 0.5em
    background-color: #dfdfdf
    border: 1px solid #bbb
    padding: 0.25em
    -moz-border-radius: 6px
  span
    font-size: 0.6em
    white-space: nowrap
    text-transform: uppercase
h3
  &.dim
    color: #738899
//    text-transform: capitalize
    margin: 0
  &.bright
    color: #5B97CB
//    text-transform: capitalize
    margin: 0
  &.alert
    color: #CE4A48
//    text-transform: capitalize
    margin: 0
  span
    font-size: 0.6em
    white-space: nowrap
    text-transform: uppercase
{'fraction_non_alphanumeric': 0.11073668445193298, 'fraction_numerical': 0.030702986052606945, 'mean_word_length': 2.25533211456429, 'pattern_counts': {'":': 0, '<': 5, '<?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': '1552514', 'n_tokens_mistral': 4194, 'n_tokens_neox': 3872, 'n_words': 1019}