<commit_before>/* General info:
 * Font: Helvetica, sans-serif
 * Font size: 14px
 * Small font size: 12px
 * Light grey: #EEEEEE
 * Dark grey: #AAAAAA
*/

html {
    font-family: Helvetica, sans-serif;
    font-size: 14px;
    background-color: #FFFFFF;
}


h1 {
    border-bottom: 1px solid black;
    font-size: 150%;
    margin-top: 0.67em;
    margin-bottom: 0.67em;
}

a {
    color: #0b8ae1;
    text-decoration: none;
    font-weight: bold;
}

a:hover {
    color: #520ebb;
}

a img {
    vertical-align: text-top;
}

blockquote {
    border: 1px solid gray;
    border-left: 3px solid gray;
    background-color: white;
    padding: 0px 4px;
    font-style: italic;
}

input[type='text'], input[type='password'] {
    width: 50%;
}

textarea {
    width: 50%;
    height: 200px;
}

form {
    border: 1px solid black;
    background-color: #EEEEEE;
    padding: 4px;
}

table {
    border-collapse: collapse;
    width: 100%;
    border-bottom: 1px solid #AAAAAA;
}

table thead tr {
    border-bottom: 1px solid black;
    background-color: #AAAAAA;
}

table thead tr th {
    text-align: left;
}

table tbody tr {
    border-top: 1px solid #AAAAAA;
}

table tbody tr:first {
    border-top: none;
}

table tbody tr td {
    text-align: left;
}

div.CodeRay, pre {
    max-height: 250px;
    overflow-x: auto;
    overflow-y: auto;
    position: relative;
}

code, pre {
  background-color: hsl(0,0%,95%);
  border: 1px solid silver;
  color: black;
  font-size: 12px;
}

div.CodeRay > div.code > pre {
    border: none;
}

pre code {
    border: none;
}

.hide-codelines {
    position: absolute;
    top: 0px;
    left: 0px;
    z-index: 20;
    display: none;
    cursor: pointer;
}

#header {
    border: 1px solid black;
    background-color: #EEEEEE;
    padding: 4px;
}

#header p {
    margin: 0px;
}

#title {
    font-size: 150%;
}

#navigation {
    border-left: 1px solid black;
    border-right: 1px solid black;
    border-bottom: 1px solid black;

    background-color: black;
    padding: 4px;
}

.vlist {
    margin: 0px;
    list-style-type: none;
    padding: 0px;
}

.vlist li {
    display: inline;
    margin-left: 4px;
}


/* Elements with this class are intended to be read by screenreaders,
 * but should be invisible to ordinary users. */
.offscreen {
    position: absolute;
    left: -10000px;
}

#navigation ul li a {
    color: #EEEEEE;
    text-decoration: none;
    font-weight: bold;
}

#navigation ul li a:hover {
    text-decoration: underline;
}

#footer {
    margin-top: 10px;
    padding-top: 4px;
    font-size: 12px;
    border-top: 1px dashed #AAAAAA;
    color: #AAAAAA;
}

#footer a {
    color: #AAAAAA;
}

#footer a:hover {
    color: black;
}

#sidebar {
    float: left;
    width: 20%;
}

.with-sidebar {
    margin-left: 21%;
}

#time {
    float: right;
    text-align: right;
}

#time p {
    margin-left: 0px;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-right: 2px;
}

#stats p {
    margin-left: 2px;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-right: 2px;
}

.hidden-user {
    font-style: italic;
}

.forumgroup {
    margin-bottom: 8px;
    border: 1px solid black;
    background-color: #EEEEEE;
}

.forumgroup .forumgroupname {
    margin: 0px;
    border-bottom: 1px solid black;
    background-color: black;
    color: white;
    padding-left: 4px;
}

.notice {
    border: 1px solid #00681c;
    background-color: #77e494;
}

.alert {
    border: 1px solid #b5340e;
    background-color: #e48177;
}

.flash {
    border-radius: 10px;
    padding: 10px;
    margin-top: 6px;
    margin-bottom: 6px;
    text-align: center;
}

.center {
    text-align: center;
}

.pgp-inline {
    text-align: center;
    font-style: italic;
}

.flash p { margin: 0px; }

.hilit {
    background-color: yellow;
}

.ml-quote-1 {
    color: blue;
}

.ml-quote-2 {
    color: green;
}

.ml-quote-n {
    color: red;
}

.forumlist {
    table-layout: fixed;
}

.forumlist .forumname { padding-left: 4px; }

.topicslist {
    table-layout: fixed;
}

.topicslist .list-topic { padding-left: 4px; }

.numbercell { width: 7%; text-align: center; }
.imgcell { width: 24px; text-align: center; vertical-align: middle }
.forumlastpost { width: 11%; }

#login-info {
    margin-left: 2px;
}

.topic {
}

.clear {
    clear: both;
}

.post {
    margin-top: 8px;
    border: 1px solid black;
    background-color: #EEEEEE;

    width: 100%;
    display: table;
    table-layout: fixed;
}

.post-created {
    float: right;
}

.header {
    border-bottom: 1px solid black;
    background-color: #AAAAAA;
    color: #EEEEEE;
    padding: 0px 4px 0px 4px;
}

.header p { margin: 0px; }

.post-author {
    width: 15%;
    display: table-cell;
    padding-left: 4px;
}

.post-author p { margin: 0px; }

.post-content {
    border-left: 1px solid black;
    display: table-cell;
}

.post-text {
    padding-left: 4px;
    padding-right: 4px;
}

.author-name {
    font-weight: bold;
}

.author-membership {
    font-size: 11pt;
}

.author-registered {
    font-size: 12px;
}

.post-author p.author-registered {
    margin-top: 4px;
}

.author-posts {
    font-size: 12px;<commit_msg>Add better padding to posts.<commit_after>/* General info:
 * Font: Helvetica, sans-serif
 * Font size: 14px
 * Small font size: 12px
 * Light grey: #EEEEEE
 * Dark grey: #AAAAAA
*/

html {
    font-family: Helvetica, sans-serif;
    font-size: 14px;
    background-color: #FFFFFF;
}


h1 {
    border-bottom: 1px solid black;
    font-size: 150%;
    margin-top: 0.67em;
    margin-bottom: 0.67em;
}

a {
    color: #0b8ae1;
    text-decoration: none;
    font-weight: bold;
}

a:hover {
    color: #520ebb;
}

a img {
    vertical-align: text-top;
}

blockquote {
    border: 1px solid gray;
    border-left: 3px solid gray;
    background-color: white;
    padding: 0px 4px;
    font-style: italic;
}

input[type='text'], input[type='password'] {
    width: 50%;
}

textarea {
    width: 50%;
    height: 200px;
}

form {
    border: 1px solid black;
    background-color: #EEEEEE;
    padding: 4px;
}

table {
    border-collapse: collapse;
    width: 100%;
    border-bottom: 1px solid #AAAAAA;
}

table thead tr {
    border-bottom: 1px solid black;
    background-color: #AAAAAA;
}

table thead tr th {
    text-align: left;
}

table tbody tr {
    border-top: 1px solid #AAAAAA;
}

table tbody tr:first {
    border-top: none;
}

table tbody tr td {
    text-align: left;
}

div.CodeRay, pre {
    max-height: 250px;
    overflow-x: auto;
    overflow-y: auto;
    position: relative;
}

code, pre {
  background-color: hsl(0,0%,95%);
  border: 1px solid silver;
  color: black;
  font-size: 12px;
}

div.CodeRay > div.code > pre {
    border: none;
}

pre code {
    border: none;
}

.hide-codelines {
    position: absolute;
    top: 0px;
    left: 0px;
    z-index: 20;
    display: none;
    cursor: pointer;
}

#header {
    border: 1px solid black;
    background-color: #EEEEEE;
    padding: 4px;
}

#header p {
    margin: 0px;
}

#title {
    font-size: 150%;
}

#navigation {
    border-left: 1px solid black;
    border-right: 1px solid black;
    border-bottom: 1px solid black;

    background-color: black;
    padding: 4px;
}

.vlist {
    margin: 0px;
    list-style-type: none;
    padding: 0px;
}

.vlist li {
    display: inline;
    margin-left: 4px;
}


/* Elements with this class are intended to be read by screenreaders,
 * but should be invisible to ordinary users. */
.offscreen {
    position: absolute;
    left: -10000px;
}

#navigation ul li a {
    color: #EEEEEE;
    text-decoration: none;
    font-weight: bold;
}

#navigation ul li a:hover {
    text-decoration: underline;
}

#footer {
    margin-top: 10px;
    padding-top: 4px;
    font-size: 12px;
    border-top: 1px dashed #AAAAAA;
    color: #AAAAAA;
}

#footer a {
    color: #AAAAAA;
}

#footer a:hover {
    color: black;
}

#sidebar {
    float: left;
    width: 20%;
}

.with-sidebar {
    margin-left: 21%;
}

#time {
    float: right;
    text-align: right;
}

#time p {
    margin-left: 0px;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-right: 2px;
}

#stats p {
    margin-left: 2px;
    margin-top: 0px;
    margin-bottom: 0px;
    margin-right: 2px;
}

.hidden-user {
    font-style: italic;
}

.forumgroup {
    margin-bottom: 8px;
    border: 1px solid black;
    background-color: #EEEEEE;
}

.forumgroup .forumgroupname {
    margin: 0px;
    border-bottom: 1px solid black;
    background-color: black;
    color: white;
    padding-left: 4px;
}

.notice {
    border: 1px solid #00681c;
    background-color: #77e494;
}

.alert {
    border: 1px solid #b5340e;
    background-color: #e48177;
}

.flash {
    border-radius: 10px;
    padding: 10px;
    margin-top: 6px;
    margin-bottom: 6px;
    text-align: center;
}

.center {
    text-align: center;
}

.pgp-inline {
    text-align: center;
    font-style: italic;
}

.flash p { margin: 0px; }

.hilit {
    background-color: yellow;
}

.ml-quote-1 {
    color: blue;
}

.ml-quote-2 {
    color: green;
}

.ml-quote-n {
    color: red;
}

.forumlist {
    table-layout: fixed;
}

.forumlist .forumname { padding-left: 4px; }

.topicslist {
    table-layout: fixed;
}

.topicslist .list-topic { padding-left: 4px; }

.numbercell { width: 7%; text-align: center; }
.imgcell { width: 24px; text-align: center; vertical-align: middle }
.forumlastpost { width: 11%; }

#login-info {
    margin-left: 2px;
}

.topic {
}

.clear {
    clear: both;
}

.post {
    margin-top: 8px;
    border: 1px solid black;
    background-color: #EEEEEE;

    width: 100%;
    display: table;
    table-layout: fixed;
}

.post-created {
    float: right;
}

.header {
    border-bottom: 1px solid black;
    background-color: #AAAAAA;
    color: #EEEEEE;
    padding: 0px 4px 0px 4px;
}

.header p { margin: 0px; }

.post-author {
    width: 15%;
    display: table-cell;
    padding-left: 4px;
}

.post-author p { margin: 0px; }

.post-content {
    border-left: 1px solid black;
    display: table-cell;
}

.post-text {
    padding: 4px;
}

.author-name {
    font-weight: bold;
}

.author-membership {
    font-size: 11pt;
}

.author-registered {
    font-size: 12px;
}

.post-author p.author-registered {
    margin-top: 4px;
}

.author-posts {
    font-size: 12px;
{'fraction_non_alphanumeric': 0.1393107476635514, 'fraction_numerical': 0.031055295950155763, 'mean_word_length': 2.5109364319890637, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, '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': '5496175', 'n_tokens_mistral': 4289, 'n_tokens_neox': 3952, 'n_words': 995}