<commit_before>@font-face
  font-family: droid-sans-mono
  font-style: normal
  font-weight: normal
  src: local("Droid Sans Mono"), local("DroidSansMono"), url('../webapp-lib/fonts/droid/DroidSansMono.ttf') format("truetype")

/* I'm opposted to this; it won't work offline, and leads to a noticeable glitch when used on the landing page.  -- William*/
/* @import url(https://fonts.googleapis.com/css?family=Roboto+Mono); */

=user-select($val:"none")
  -webkit-user-select: #{$val};
  -moz-user-select: #{$val};
  -ms-user-select: #{$val};
  user-select: #{$val};

=disable-user-select
  +user-select(none)

=enable-user-select
  +user-select(initial)

@import help
@import misc_page
@import console
@import account
@import activity
@import projects
@import wizard
@import editor
@import jupyter
@import tasks
@import interact
@import 3d
@import d3

.hide
  display: none

.tt
  font-family: monospace

.lighten
  color: #666

.lighten-2
  color: #999

.small
  font-size: 9pt

.smallish
  font-size: 10pt

.large
  font-size: 16pt

.Large
  font-size: 18pt

.huge
  font-size: 22pt

.bold
  font-weight: bold

.close
  font-size: 20pt

.center
  text-align: center

body
  width: 100vw
  overflow-x: hidden

/* mezzo-small, larger than xs, smaller than sm, like the old tasklist button size */

.btn-ms
  padding-bottom: 2px
  padding-left: 10px
  padding-right: 10px
  padding-top: 2px
  letter-spacing: normal
  line-height: 20px
  margin-bottom: 0px
  margin-left: -1px
  margin-right: 0px
  margin-top: 0px
  font-size: 11.9px

@media (max-width: 767px)
  .salvus-project
    position: relative !important
    top: 0px !important

.help-smc-logo
  width:  100px
  height: 100px
  @media (max-width: 767px)
    width:  40px
    height: 40px

/* so on iOS scroll-into-view modals work */
@media (max-width: 480px)
  .modal.fade.in
    top: 10px

/* This is a hack to accurately determine if the screen is displaying in responsive mode.
 * When responsive mode, .salvus-responsive-mode-test will have a width of 767px and in full size the
 * width will be 10000px.
 */
@media (max-width: 767px)
  .salvus-responsive-mode-test
    width: 767px

@media (min-width: 768px)
  .salvus-responsive-mode-test
    width: 10000px


@media (max-width: 767px)
  .smc-big-only
    display: none

@media (min-width: 768px)
  .smc-small-only
    display: none

.ui-pnotify-history-container
  position: fixed

.CodeMirror, .CodeMirror-wrap
  line-height: normal

/* see http://stackoverflow.com/questions/271067/how-can-i-make-a-textarea-100-width-without-overflowing-when-padding-is-present  */

.boxsizingBorder
  -webkit-box-sizing: border-box
  -moz-box-sizing: border-box
  box-sizing: border-box

.highlight
  background-color: orange
  padding: 3px
  margin: -3px
  border-radius: 3px

/* fix bootstrap ugliness  */

blockquote p
  font-size: 15px

.constrained
  max-width: 1170px

.modal h3
  margin: 0

.modal-footer
  padding: 5px

input[type="text"], select, input[type="email"], select, input[type="password"], select
  margin-bottom: 1px

.btn
  white-space: normal

.btn-black
  color: #fff
  background-color: #000000
  border-color: #000000

.tooltip
  font-size: 11px

.navbar-default
  .navbar-collapse, .navbar-form
    position: relative
    top: 1px
<commit_msg>webapp/css: <a role="button"> mouse should be a pointer, not arrow (#1053)<commit_after>@font-face
  font-family: droid-sans-mono
  font-style: normal
  font-weight: normal
  src: local("Droid Sans Mono"), local("DroidSansMono"), url('../webapp-lib/fonts/droid/DroidSansMono.ttf') format("truetype")

/* I'm opposted to this; it won't work offline, and leads to a noticeable glitch when used on the landing page.  -- William*/
/* @import url(https://fonts.googleapis.com/css?family=Roboto+Mono); */

=user-select($val:"none")
  -webkit-user-select: #{$val};
  -moz-user-select: #{$val};
  -ms-user-select: #{$val};
  user-select: #{$val};

=disable-user-select
  +user-select(none)

=enable-user-select
  +user-select(initial)

@import help
@import misc_page
@import console
@import account
@import activity
@import projects
@import wizard
@import editor
@import jupyter
@import tasks
@import interact
@import 3d
@import d3

.hide
  display: none

.tt
  font-family: monospace

.lighten
  color: #666

.lighten-2
  color: #999

.small
  font-size: 9pt

.smallish
  font-size: 10pt

.large
  font-size: 16pt

.Large
  font-size: 18pt

.huge
  font-size: 22pt

.bold
  font-weight: bold

.close
  font-size: 20pt

.center
  text-align: center

body
  width: 100vw
  overflow-x: hidden

/* mezzo-small, larger than xs, smaller than sm, like the old tasklist button size */

.btn-ms
  padding-bottom: 2px
  padding-left: 10px
  padding-right: 10px
  padding-top: 2px
  letter-spacing: normal
  line-height: 20px
  margin-bottom: 0px
  margin-left: -1px
  margin-right: 0px
  margin-top: 0px
  font-size: 11.9px

@media (max-width: 767px)
  .salvus-project
    position: relative !important
    top: 0px !important

.help-smc-logo
  width:  100px
  height: 100px
  @media (max-width: 767px)
    width:  40px
    height: 40px

/* so on iOS scroll-into-view modals work */
@media (max-width: 480px)
  .modal.fade.in
    top: 10px

/* This is a hack to accurately determine if the screen is displaying in responsive mode.
 * When responsive mode, .salvus-responsive-mode-test will have a width of 767px and in full size the
 * width will be 10000px.
 */
@media (max-width: 767px)
  .salvus-responsive-mode-test
    width: 767px

@media (min-width: 768px)
  .salvus-responsive-mode-test
    width: 10000px


@media (max-width: 767px)
  .smc-big-only
    display: none

@media (min-width: 768px)
  .smc-small-only
    display: none

.ui-pnotify-history-container
  position: fixed

.CodeMirror, .CodeMirror-wrap
  line-height: normal

/* see http://stackoverflow.com/questions/271067/how-can-i-make-a-textarea-100-width-without-overflowing-when-padding-is-present  */

.boxsizingBorder
  -webkit-box-sizing: border-box
  -moz-box-sizing: border-box
  box-sizing: border-box

.highlight
  background-color: orange
  padding: 3px
  margin: -3px
  border-radius: 3px

/* fix bootstrap ugliness  */

blockquote p
  font-size: 15px

.constrained
  max-width: 1170px

.modal h3
  margin: 0

.modal-footer
  padding: 5px

input[type="text"], select, input[type="email"], select, input[type="password"], select
  margin-bottom: 1px

.btn
  white-space: normal

.btn-black
  color: #fff
  background-color: #000000
  border-color: #000000

a[role="button"]
  +disable-user-select
  cursor: pointer

.tooltip
  font-size: 11px

.navbar-default
  .navbar-collapse, .navbar-form
    position: relative
    top: 1px

{'fraction_non_alphanumeric': 0.12811281128112811, 'fraction_numerical': 0.038103810381038106, 'mean_word_length': 3.400660066006601, 'pattern_counts': {'":': 0, '<': 4, '<?xml version=': 0, '>': 4, 'https://': 2, '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': '2234938', 'n_tokens_mistral': 2725, 'n_tokens_neox': 2450, 'n_words': 644}