├── .github └── FUNDING.yml ├── .gitignore ├── LICENSE ├── README.md ├── app ├── __init__.py ├── config.py ├── db_repository │ ├── README │ ├── __init__.py │ ├── manage.py │ ├── migrate.cfg │ └── versions │ │ └── __init__.py ├── forms.py ├── models.py ├── static │ ├── bootstrap-4.0.0-beta │ │ ├── css │ │ │ ├── bootstrap-grid.css │ │ │ ├── bootstrap-grid.css.map │ │ │ ├── bootstrap-grid.min.css │ │ │ ├── bootstrap-grid.min.css.map │ │ │ ├── bootstrap-reboot.css │ │ │ ├── bootstrap-reboot.css.map │ │ │ ├── bootstrap-reboot.min.css │ │ │ ├── bootstrap-reboot.min.css.map │ │ │ ├── bootstrap.css │ │ │ ├── bootstrap.css.map │ │ │ ├── bootstrap.min.css │ │ │ └── bootstrap.min.css.map │ │ └── js │ │ │ ├── bootstrap.js │ │ │ └── bootstrap.min.js │ ├── font-awesome-4.7.0 │ │ ├── css │ │ │ ├── font-awesome.css │ │ │ └── font-awesome.min.css │ │ └── fonts │ │ │ ├── FontAwesome.otf │ │ │ ├── fontawesome-webfont.eot │ │ │ ├── fontawesome-webfont.svg │ │ │ ├── fontawesome-webfont.ttf │ │ │ ├── fontawesome-webfont.woff │ │ │ └── fontawesome-webfont.woff2 │ ├── highlight │ │ ├── CHANGES.md │ │ ├── LICENSE │ │ ├── README.md │ │ ├── README.ru.md │ │ ├── highlight.pack.js │ │ └── styles │ │ │ ├── agate.css │ │ │ ├── androidstudio.css │ │ │ ├── arduino-light.css │ │ │ ├── arta.css │ │ │ ├── ascetic.css │ │ │ ├── atelier-cave-dark.css │ │ │ ├── atelier-cave-light.css │ │ │ ├── atelier-dune-dark.css │ │ │ ├── atelier-dune-light.css │ │ │ ├── atelier-estuary-dark.css │ │ │ ├── atelier-estuary-light.css │ │ │ ├── atelier-forest-dark.css │ │ │ ├── atelier-forest-light.css │ │ │ ├── atelier-heath-dark.css │ │ │ ├── atelier-heath-light.css │ │ │ ├── atelier-lakeside-dark.css │ │ │ ├── atelier-lakeside-light.css │ │ │ ├── atelier-plateau-dark.css │ │ │ ├── atelier-plateau-light.css │ │ │ ├── atelier-savanna-dark.css │ │ │ ├── atelier-savanna-light.css │ │ │ ├── atelier-seaside-dark.css │ │ │ ├── atelier-seaside-light.css │ │ │ ├── atelier-sulphurpool-dark.css │ │ │ ├── atelier-sulphurpool-light.css │ │ │ ├── atom-one-dark.css │ │ │ ├── atom-one-light.css │ │ │ ├── brown-paper.css │ │ │ ├── brown-papersq.png │ │ │ ├── codepen-embed.css │ │ │ ├── color-brewer.css │ │ │ ├── darcula.css │ │ │ ├── dark.css │ │ │ ├── darkula.css │ │ │ ├── default.css │ │ │ ├── docco.css │ │ │ ├── dracula.css │ │ │ ├── far.css │ │ │ ├── foundation.css │ │ │ ├── github-gist.css │ │ │ ├── github.css │ │ │ ├── googlecode.css │ │ │ ├── grayscale.css │ │ │ ├── gruvbox-dark.css │ │ │ ├── gruvbox-light.css │ │ │ ├── hopscotch.css │ │ │ ├── hybrid.css │ │ │ ├── idea.css │ │ │ ├── ir-black.css │ │ │ ├── kimbie.dark.css │ │ │ ├── kimbie.light.css │ │ │ ├── magula.css │ │ │ ├── mono-blue.css │ │ │ ├── monokai-sublime.css │ │ │ ├── monokai.css │ │ │ ├── obsidian.css │ │ │ ├── ocean.css │ │ │ ├── paraiso-dark.css │ │ │ ├── paraiso-light.css │ │ │ ├── pojoaque.css │ │ │ ├── pojoaque.jpg │ │ │ ├── purebasic.css │ │ │ ├── qtcreator_dark.css │ │ │ ├── qtcreator_light.css │ │ │ ├── railscasts.css │ │ │ ├── rainbow.css │ │ │ ├── school-book.css │ │ │ ├── school-book.png │ │ │ ├── solarized-dark.css │ │ │ ├── solarized-light.css │ │ │ ├── sunburst.css │ │ │ ├── tomorrow-night-blue.css │ │ │ ├── tomorrow-night-bright.css │ │ │ ├── tomorrow-night-eighties.css │ │ │ ├── tomorrow-night.css │ │ │ ├── tomorrow.css │ │ │ ├── vs.css │ │ │ ├── xcode.css │ │ │ ├── xt256.css │ │ │ └── zenburn.css │ └── jquery │ │ └── jquery.min.js ├── templates │ ├── v2_add_file_to_project.html │ ├── v2_base.html │ ├── v2_create_project.html │ ├── v2_edit_project.html │ ├── v2_file.html │ ├── v2_generate_patches.html │ ├── v2_index.html │ ├── v2_mutator.html │ ├── v2_mutators.html │ ├── v2_patch.html │ ├── v2_patches.html │ ├── v2_project.html │ ├── v2_projects.html │ ├── v2_queue.html │ └── v2_run.html ├── utils │ ├── Executor.py │ ├── Mutation.py │ ├── Replacement.py │ ├── SourceFile.py │ ├── Statistics.py │ └── __init__.py └── views.py ├── cli ├── add_files.py ├── create_project.py ├── delete_project.py ├── generate_patches.py └── queue_control.py ├── db_create.py ├── db_migrate.py ├── db_upgrade.py ├── doc ├── 1_create_project.png ├── 2_create_project_dialog.png ├── 3_project_overview.png ├── 4_add_file.png ├── 5_generate_patches.png ├── 6_patch.png ├── 7_queue.png ├── 8_queue_running.png ├── 9_patches_overview.png ├── workflow.png └── workflow.puml ├── requirements.txt └── run.py /.github/FUNDING.yml: -------------------------------------------------------------------------------- 1 | github: nlohmann 2 | custom: http://paypal.me/nlohmann 3 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | .idea 2 | venv 3 | *.pyc 4 | *.db 5 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | MIT License 2 | 3 | Copyright (c) 2017 Niels Lohmann 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copies of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in all 13 | copies or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | SOFTWARE. 22 | -------------------------------------------------------------------------------- /app/__init__.py: -------------------------------------------------------------------------------- 1 | # coding=utf-8 2 | 3 | from flask import Flask 4 | from flask_compress import Compress 5 | from flask_sqlalchemy import SQLAlchemy 6 | from flask_humanize import Humanize 7 | import os.path 8 | import sys 9 | 10 | sys.path.append( os.path.dirname( os.path.abspath( __file__ ) ) ) 11 | 12 | app = Flask(__name__) 13 | app.config.from_object('config') 14 | 15 | Compress(app) 16 | 17 | db = SQLAlchemy(app) 18 | 19 | humanize = Humanize(app) 20 | 21 | # noinspection PyPep8 22 | from app import views, models 23 | -------------------------------------------------------------------------------- /app/config.py: -------------------------------------------------------------------------------- 1 | # coding=utf-8 2 | 3 | import os 4 | basedir = os.path.abspath(os.path.dirname(__file__)) 5 | 6 | WTF_CSRF_ENABLED = True 7 | SECRET_KEY = 'you-will-never-guess' 8 | 9 | SQLALCHEMY_DATABASE_URI = 'sqlite:///' + os.path.join(basedir, 'app.db') 10 | SQLALCHEMY_MIGRATE_REPO = os.path.join(basedir, 'db_repository') 11 | SQLALCHEMY_TRACK_MODIFICATIONS = False 12 | 13 | ITEMS_PER_PAGE = 20 14 | 15 | TEMPLATES_AUTO_RELOAD = True 16 | -------------------------------------------------------------------------------- /app/db_repository/README: -------------------------------------------------------------------------------- 1 | This is a database migration repository. 2 | 3 | More information at 4 | http://code.google.com/p/sqlalchemy-migrate/ 5 | -------------------------------------------------------------------------------- /app/db_repository/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/db_repository/__init__.py -------------------------------------------------------------------------------- /app/db_repository/manage.py: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env python 2 | from migrate.versioning.shell import main 3 | 4 | if __name__ == '__main__': 5 | main() 6 | -------------------------------------------------------------------------------- /app/db_repository/migrate.cfg: -------------------------------------------------------------------------------- 1 | [db_settings] 2 | # Used to identify which repository this database is versioned under. 3 | # You can use the name of your project. 4 | repository_id=database repository 5 | 6 | # The name of the database table used to track the schema version. 7 | # This name shouldn't already be used by your project. 8 | # If this is changed once a database is under version control, you'll need to 9 | # change the table name in each database too. 10 | version_table=migrate_version 11 | 12 | # When committing a change script, Migrate will attempt to generate the 13 | # sql for all supported databases; normally, if one of them fails - probably 14 | # because you don't have that database installed - it is ignored and the 15 | # commit continues, perhaps ending successfully. 16 | # Databases in this list MUST compile successfully during a commit, or the 17 | # entire commit will fail. List the databases your application will actually 18 | # be using to ensure your updates to that database work properly. 19 | # This must be a list; example: ['postgres','sqlite'] 20 | required_dbs=[] 21 | 22 | # When creating new change scripts, Migrate will stamp the new script with 23 | # a version number. By default this is latest_version + 1. You can set this 24 | # to 'true' to tell Migrate to use the UTC timestamp instead. 25 | use_timestamp_numbering=False 26 | -------------------------------------------------------------------------------- /app/db_repository/versions/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/db_repository/versions/__init__.py -------------------------------------------------------------------------------- /app/forms.py: -------------------------------------------------------------------------------- 1 | # coding=utf-8 2 | 3 | from flask_wtf import FlaskForm 4 | import wtforms 5 | from wtforms.validators import DataRequired, Optional 6 | 7 | 8 | class CreateProjectForm(FlaskForm): 9 | name = wtforms.StringField('name', validators=[DataRequired()]) 10 | workdir = wtforms.StringField('workdir', validators=[DataRequired()]) 11 | build_command = wtforms.StringField('build_command', validators=[DataRequired()]) 12 | quickcheck_command = wtforms.StringField('quickcheck_command', validators=[Optional()]) 13 | quickcheck_timeout = wtforms.FloatField('quickcheck_timeout', validators=[Optional()]) 14 | test_command = wtforms.StringField('test_command', validators=[DataRequired()]) 15 | test_timeout = wtforms.FloatField('test_timeout', validators=[Optional()]) 16 | clean_command = wtforms.StringField('clean_command', validators=[Optional()]) 17 | 18 | 19 | class CreateFileForm(FlaskForm): 20 | filename = wtforms.StringField('filename', validators=[DataRequired()]) 21 | 22 | 23 | class SetConfirmationForm(FlaskForm): 24 | confirmation = wtforms.RadioField('comfirmation', choices=[('unknown', 'unknown'), 25 | ('confirmed', 'confirmed'), 26 | ('ignored', 'ignored')]) 27 | -------------------------------------------------------------------------------- /app/models.py: -------------------------------------------------------------------------------- 1 | # coding=utf-8 2 | 3 | from app import db 4 | from sqlalchemy.sql import func 5 | 6 | 7 | class Project(db.Model): 8 | id = db.Column(db.Integer, primary_key=True) 9 | name = db.Column(db.Text) 10 | workdir = db.Column(db.Text) 11 | build_command = db.Column(db.Text) 12 | quickcheck_command = db.Column(db.Text, nullable=True) 13 | quickcheck_timeout = db.Column(db.Float, nullable=True) 14 | test_command = db.Column(db.Text) 15 | test_timeout = db.Column(db.Float, nullable=True) 16 | clean_command = db.Column(db.Text, nullable=True) 17 | files = db.relationship('File', backref='project', lazy='dynamic', cascade='delete') 18 | patches = db.relationship('Patch', backref='project', lazy='dynamic', cascade='delete') 19 | 20 | def __repr__(self): 21 | return '' % self.name 22 | 23 | @property 24 | def findings(self): 25 | return self.patches.filter(Patch.state == 'survived').count() 26 | 27 | @property 28 | def last_finding(self): 29 | return self.patches.filter(Patch.state == 'survived').order_by(Patch.id.desc()).first().runs[-1].timestamp_end 30 | 31 | 32 | class File(db.Model): 33 | id = db.Column(db.Integer, primary_key=True) 34 | filename = db.Column(db.Text) 35 | content = db.Column(db.Text) 36 | project_id = db.Column(db.Integer, db.ForeignKey('project.id'), index=True) 37 | patches = db.relationship('Patch', backref='file', lazy='dynamic', cascade='delete') 38 | 39 | def __repr__(self): 40 | return '' % self.filename 41 | 42 | 43 | class Patch(db.Model): 44 | id = db.Column(db.Integer, primary_key=True) 45 | kind = db.Column(db.Text) 46 | line = db.Column(db.Integer) 47 | column_start = db.Column(db.Integer) 48 | column_end = db.Column(db.Integer) 49 | code_original = db.Column(db.Integer) 50 | code_replacement = db.Column(db.Integer) 51 | patch = db.Column(db.Text) 52 | state = db.Column(db.Text) 53 | confirmation = db.Column(db.Text) 54 | file_id = db.Column(db.Integer, db.ForeignKey('file.id'), index=True) 55 | project_id = db.Column(db.Integer, db.ForeignKey('project.id'), index=True) 56 | runs = db.relationship('Run', backref='patch', lazy='dynamic', cascade='delete') 57 | 58 | def __repr__(self): 59 | return '' % self.id 60 | 61 | @property 62 | def killed_stage(self): 63 | """return the first unsuccessful run's command""" 64 | # noinspection PyPep8 65 | return self.runs.filter(Run.success == False).first().command 66 | 67 | @property 68 | def runtime(self): 69 | return self.runs.with_entities(func.sum(Run.duration)).scalar() 70 | 71 | 72 | class Run(db.Model): 73 | id = db.Column(db.Integer, primary_key=True) 74 | timestamp_start = db.Column(db.DateTime) 75 | timestamp_end = db.Column(db.DateTime) 76 | duration = db.Column(db.Float) 77 | command = db.Column(db.Text) 78 | success = db.Column(db.Boolean) 79 | log = db.Column(db.Text) 80 | output = db.Column(db.Text) 81 | patch_id = db.Column(db.Integer, db.ForeignKey('patch.id'), index=True) 82 | project_id = db.Column(db.Integer, db.ForeignKey('project.id'), index=True) 83 | 84 | def __repr__(self): 85 | return '' % self.id 86 | -------------------------------------------------------------------------------- /app/static/bootstrap-4.0.0-beta/css/bootstrap-reboot.css: -------------------------------------------------------------------------------- 1 | html { 2 | box-sizing: border-box; 3 | font-family: sans-serif; 4 | line-height: 1.15; 5 | -webkit-text-size-adjust: 100%; 6 | -ms-text-size-adjust: 100%; 7 | -ms-overflow-style: scrollbar; 8 | -webkit-tap-highlight-color: transparent; 9 | } 10 | 11 | *, 12 | *::before, 13 | *::after { 14 | box-sizing: inherit; 15 | } 16 | 17 | @-ms-viewport { 18 | width: device-width; 19 | } 20 | 21 | article, aside, dialog, figcaption, figure, footer, header, hgroup, main, nav, section { 22 | display: block; 23 | } 24 | 25 | body { 26 | margin: 0; 27 | font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif; 28 | font-size: 1rem; 29 | font-weight: normal; 30 | line-height: 1.5; 31 | color: #212529; 32 | background-color: #fff; 33 | } 34 | 35 | [tabindex="-1"]:focus { 36 | outline: none !important; 37 | } 38 | 39 | hr { 40 | box-sizing: content-box; 41 | height: 0; 42 | overflow: visible; 43 | } 44 | 45 | h1, h2, h3, h4, h5, h6 { 46 | margin-top: 0; 47 | margin-bottom: .5rem; 48 | } 49 | 50 | p { 51 | margin-top: 0; 52 | margin-bottom: 1rem; 53 | } 54 | 55 | abbr[title], 56 | abbr[data-original-title] { 57 | text-decoration: underline; 58 | -webkit-text-decoration: underline dotted; 59 | text-decoration: underline dotted; 60 | cursor: help; 61 | border-bottom: 0; 62 | } 63 | 64 | address { 65 | margin-bottom: 1rem; 66 | font-style: normal; 67 | line-height: inherit; 68 | } 69 | 70 | ol, 71 | ul, 72 | dl { 73 | margin-top: 0; 74 | margin-bottom: 1rem; 75 | } 76 | 77 | ol ol, 78 | ul ul, 79 | ol ul, 80 | ul ol { 81 | margin-bottom: 0; 82 | } 83 | 84 | dt { 85 | font-weight: bold; 86 | } 87 | 88 | dd { 89 | margin-bottom: .5rem; 90 | margin-left: 0; 91 | } 92 | 93 | blockquote { 94 | margin: 0 0 1rem; 95 | } 96 | 97 | dfn { 98 | font-style: italic; 99 | } 100 | 101 | b, 102 | strong { 103 | font-weight: bolder; 104 | } 105 | 106 | small { 107 | font-size: 80%; 108 | } 109 | 110 | sub, 111 | sup { 112 | position: relative; 113 | font-size: 75%; 114 | line-height: 0; 115 | vertical-align: baseline; 116 | } 117 | 118 | sub { 119 | bottom: -.25em; 120 | } 121 | 122 | sup { 123 | top: -.5em; 124 | } 125 | 126 | a { 127 | color: #007bff; 128 | text-decoration: none; 129 | background-color: transparent; 130 | -webkit-text-decoration-skip: objects; 131 | } 132 | 133 | a:hover { 134 | color: #0056b3; 135 | text-decoration: underline; 136 | } 137 | 138 | a:not([href]):not([tabindex]) { 139 | color: inherit; 140 | text-decoration: none; 141 | } 142 | 143 | a:not([href]):not([tabindex]):focus, a:not([href]):not([tabindex]):hover { 144 | color: inherit; 145 | text-decoration: none; 146 | } 147 | 148 | a:not([href]):not([tabindex]):focus { 149 | outline: 0; 150 | } 151 | 152 | pre, 153 | code, 154 | kbd, 155 | samp { 156 | font-family: monospace, monospace; 157 | font-size: 1em; 158 | } 159 | 160 | pre { 161 | margin-top: 0; 162 | margin-bottom: 1rem; 163 | overflow: auto; 164 | } 165 | 166 | figure { 167 | margin: 0 0 1rem; 168 | } 169 | 170 | img { 171 | vertical-align: middle; 172 | border-style: none; 173 | } 174 | 175 | svg:not(:root) { 176 | overflow: hidden; 177 | } 178 | 179 | a, 180 | area, 181 | button, 182 | [role="button"], 183 | input, 184 | label, 185 | select, 186 | summary, 187 | textarea { 188 | -ms-touch-action: manipulation; 189 | touch-action: manipulation; 190 | } 191 | 192 | table { 193 | border-collapse: collapse; 194 | } 195 | 196 | caption { 197 | padding-top: 0.75rem; 198 | padding-bottom: 0.75rem; 199 | color: #868e96; 200 | text-align: left; 201 | caption-side: bottom; 202 | } 203 | 204 | th { 205 | text-align: left; 206 | } 207 | 208 | label { 209 | display: inline-block; 210 | margin-bottom: .5rem; 211 | } 212 | 213 | button:focus { 214 | outline: 1px dotted; 215 | outline: 5px auto -webkit-focus-ring-color; 216 | } 217 | 218 | input, 219 | button, 220 | select, 221 | optgroup, 222 | textarea { 223 | margin: 0; 224 | font-family: inherit; 225 | font-size: inherit; 226 | line-height: inherit; 227 | } 228 | 229 | button, 230 | input { 231 | overflow: visible; 232 | } 233 | 234 | button, 235 | select { 236 | text-transform: none; 237 | } 238 | 239 | button, 240 | html [type="button"], 241 | [type="reset"], 242 | [type="submit"] { 243 | -webkit-appearance: button; 244 | } 245 | 246 | button::-moz-focus-inner, 247 | [type="button"]::-moz-focus-inner, 248 | [type="reset"]::-moz-focus-inner, 249 | [type="submit"]::-moz-focus-inner { 250 | padding: 0; 251 | border-style: none; 252 | } 253 | 254 | input[type="radio"], 255 | input[type="checkbox"] { 256 | box-sizing: border-box; 257 | padding: 0; 258 | } 259 | 260 | input[type="date"], 261 | input[type="time"], 262 | input[type="datetime-local"], 263 | input[type="month"] { 264 | -webkit-appearance: listbox; 265 | } 266 | 267 | textarea { 268 | overflow: auto; 269 | resize: vertical; 270 | } 271 | 272 | fieldset { 273 | min-width: 0; 274 | padding: 0; 275 | margin: 0; 276 | border: 0; 277 | } 278 | 279 | legend { 280 | display: block; 281 | width: 100%; 282 | max-width: 100%; 283 | padding: 0; 284 | margin-bottom: .5rem; 285 | font-size: 1.5rem; 286 | line-height: inherit; 287 | color: inherit; 288 | white-space: normal; 289 | } 290 | 291 | progress { 292 | vertical-align: baseline; 293 | } 294 | 295 | [type="number"]::-webkit-inner-spin-button, 296 | [type="number"]::-webkit-outer-spin-button { 297 | height: auto; 298 | } 299 | 300 | [type="search"] { 301 | outline-offset: -2px; 302 | -webkit-appearance: none; 303 | } 304 | 305 | [type="search"]::-webkit-search-cancel-button, 306 | [type="search"]::-webkit-search-decoration { 307 | -webkit-appearance: none; 308 | } 309 | 310 | ::-webkit-file-upload-button { 311 | font: inherit; 312 | -webkit-appearance: button; 313 | } 314 | 315 | output { 316 | display: inline-block; 317 | } 318 | 319 | summary { 320 | display: list-item; 321 | } 322 | 323 | template { 324 | display: none; 325 | } 326 | 327 | [hidden] { 328 | display: none !important; 329 | } 330 | /*# sourceMappingURL=bootstrap-reboot.css.map */ -------------------------------------------------------------------------------- /app/static/bootstrap-4.0.0-beta/css/bootstrap-reboot.min.css: -------------------------------------------------------------------------------- 1 | html{box-sizing:border-box;font-family:sans-serif;line-height:1.15;-webkit-text-size-adjust:100%;-ms-text-size-adjust:100%;-ms-overflow-style:scrollbar;-webkit-tap-highlight-color:transparent}*,::after,::before{box-sizing:inherit}@-ms-viewport{width:device-width}article,aside,dialog,figcaption,figure,footer,header,hgroup,main,nav,section{display:block}body{margin:0;font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif;font-size:1rem;font-weight:400;line-height:1.5;color:#212529;background-color:#fff}[tabindex="-1"]:focus{outline:0!important}hr{box-sizing:content-box;height:0;overflow:visible}h1,h2,h3,h4,h5,h6{margin-top:0;margin-bottom:.5rem}p{margin-top:0;margin-bottom:1rem}abbr[data-original-title],abbr[title]{text-decoration:underline;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;cursor:help;border-bottom:0}address{margin-bottom:1rem;font-style:normal;line-height:inherit}dl,ol,ul{margin-top:0;margin-bottom:1rem}ol ol,ol ul,ul ol,ul ul{margin-bottom:0}dt{font-weight:700}dd{margin-bottom:.5rem;margin-left:0}blockquote{margin:0 0 1rem}dfn{font-style:italic}b,strong{font-weight:bolder}small{font-size:80%}sub,sup{position:relative;font-size:75%;line-height:0;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}a{color:#007bff;text-decoration:none;background-color:transparent;-webkit-text-decoration-skip:objects}a:hover{color:#0056b3;text-decoration:underline}a:not([href]):not([tabindex]){color:inherit;text-decoration:none}a:not([href]):not([tabindex]):focus,a:not([href]):not([tabindex]):hover{color:inherit;text-decoration:none}a:not([href]):not([tabindex]):focus{outline:0}code,kbd,pre,samp{font-family:monospace,monospace;font-size:1em}pre{margin-top:0;margin-bottom:1rem;overflow:auto}figure{margin:0 0 1rem}img{vertical-align:middle;border-style:none}svg:not(:root){overflow:hidden}[role=button],a,area,button,input,label,select,summary,textarea{-ms-touch-action:manipulation;touch-action:manipulation}table{border-collapse:collapse}caption{padding-top:.75rem;padding-bottom:.75rem;color:#868e96;text-align:left;caption-side:bottom}th{text-align:left}label{display:inline-block;margin-bottom:.5rem}button:focus{outline:1px dotted;outline:5px auto -webkit-focus-ring-color}button,input,optgroup,select,textarea{margin:0;font-family:inherit;font-size:inherit;line-height:inherit}button,input{overflow:visible}button,select{text-transform:none}[type=reset],[type=submit],button,html [type=button]{-webkit-appearance:button}[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner,button::-moz-focus-inner{padding:0;border-style:none}input[type=checkbox],input[type=radio]{box-sizing:border-box;padding:0}input[type=date],input[type=datetime-local],input[type=month],input[type=time]{-webkit-appearance:listbox}textarea{overflow:auto;resize:vertical}fieldset{min-width:0;padding:0;margin:0;border:0}legend{display:block;width:100%;max-width:100%;padding:0;margin-bottom:.5rem;font-size:1.5rem;line-height:inherit;color:inherit;white-space:normal}progress{vertical-align:baseline}[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{height:auto}[type=search]{outline-offset:-2px;-webkit-appearance:none}[type=search]::-webkit-search-cancel-button,[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{font:inherit;-webkit-appearance:button}output{display:inline-block}summary{display:list-item}template{display:none}[hidden]{display:none!important} 2 | /*# sourceMappingURL=bootstrap-reboot.min.css.map */ -------------------------------------------------------------------------------- /app/static/font-awesome-4.7.0/fonts/FontAwesome.otf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/static/font-awesome-4.7.0/fonts/FontAwesome.otf -------------------------------------------------------------------------------- /app/static/font-awesome-4.7.0/fonts/fontawesome-webfont.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/static/font-awesome-4.7.0/fonts/fontawesome-webfont.eot -------------------------------------------------------------------------------- /app/static/font-awesome-4.7.0/fonts/fontawesome-webfont.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/static/font-awesome-4.7.0/fonts/fontawesome-webfont.ttf -------------------------------------------------------------------------------- /app/static/font-awesome-4.7.0/fonts/fontawesome-webfont.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/static/font-awesome-4.7.0/fonts/fontawesome-webfont.woff -------------------------------------------------------------------------------- /app/static/font-awesome-4.7.0/fonts/fontawesome-webfont.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/static/font-awesome-4.7.0/fonts/fontawesome-webfont.woff2 -------------------------------------------------------------------------------- /app/static/highlight/LICENSE: -------------------------------------------------------------------------------- 1 | Copyright (c) 2006, Ivan Sagalaev 2 | All rights reserved. 3 | Redistribution and use in source and binary forms, with or without 4 | modification, are permitted provided that the following conditions are met: 5 | 6 | * Redistributions of source code must retain the above copyright 7 | notice, this list of conditions and the following disclaimer. 8 | * Redistributions in binary form must reproduce the above copyright 9 | notice, this list of conditions and the following disclaimer in the 10 | documentation and/or other materials provided with the distribution. 11 | * Neither the name of highlight.js nor the names of its contributors 12 | may be used to endorse or promote products derived from this software 13 | without specific prior written permission. 14 | 15 | THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY 16 | EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 17 | WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 18 | DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY 19 | DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES 20 | (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; 21 | LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND 22 | ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 23 | (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS 24 | SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 25 | -------------------------------------------------------------------------------- /app/static/highlight/README.md: -------------------------------------------------------------------------------- 1 | # Highlight.js 2 | 3 | [![Build Status](https://travis-ci.org/isagalaev/highlight.js.svg?branch=master)](https://travis-ci.org/isagalaev/highlight.js) 4 | 5 | Highlight.js is a syntax highlighter written in JavaScript. It works in 6 | the browser as well as on the server. It works with pretty much any 7 | markup, doesn’t depend on any framework and has automatic language 8 | detection. 9 | 10 | ## Getting Started 11 | 12 | The bare minimum for using highlight.js on a web page is linking to the 13 | library along with one of the styles and calling 14 | [`initHighlightingOnLoad`][1]: 15 | 16 | ```html 17 | 18 | 19 | 20 | ``` 21 | 22 | This will find and highlight code inside of `
` tags; it tries
 23 | to detect the language automatically. If automatic detection doesn’t
 24 | work for you, you can specify the language in the `class` attribute:
 25 | 
 26 | ```html
 27 | 
...

 28 | ```
 29 | 
 30 | The list of supported language classes is available in the [class
 31 | reference][2].  Classes can also be prefixed with either `language-` or
 32 | `lang-`.
 33 | 
 34 | To disable highlighting altogether use the `nohighlight` class:
 35 | 
 36 | ```html
 37 | 
...

 38 | ```
 39 | 
 40 | ## Custom Initialization
 41 | 
 42 | When you need a bit more control over the initialization of
 43 | highlight.js, you can use the [`highlightBlock`][3] and [`configure`][4]
 44 | functions. This allows you to control *what* to highlight and *when*.
 45 | 
 46 | Here’s an equivalent way to calling [`initHighlightingOnLoad`][1] using
 47 | jQuery:
 48 | 
 49 | ```javascript
 50 | $(document).ready(function() {
 51 |   $('pre code').each(function(i, block) {
 52 |     hljs.highlightBlock(block);
 53 |   });
 54 | });
 55 | ```
 56 | 
 57 | You can use any tags instead of `
` to mark up your code. If
 58 | you don't use a container that preserve line breaks you will need to
 59 | configure highlight.js to use the `
` tag:
 60 | 
 61 | ```javascript
 62 | hljs.configure({useBR: true});
 63 | 
 64 | $('div.code').each(function(i, block) {
 65 |   hljs.highlightBlock(block);
 66 | });
 67 | ```
 68 | 
 69 | For other options refer to the documentation for [`configure`][4].
 70 | 
 71 | 
 72 | ## Web Workers
 73 | 
 74 | You can run highlighting inside a web worker to avoid freezing the browser
 75 | window while dealing with very big chunks of code.
 76 | 
 77 | In your main script:
 78 | 
 79 | ```javascript
 80 | addEventListener('load', function() {
 81 |   var code = document.querySelector('#code');
 82 |   var worker = new Worker('worker.js');
 83 |   worker.onmessage = function(event) { code.innerHTML = event.data; }
 84 |   worker.postMessage(code.textContent);
 85 | })
 86 | ```
 87 | 
 88 | In worker.js:
 89 | 
 90 | ```javascript
 91 | onmessage = function(event) {
 92 |   importScripts('/highlight.pack.js');
 93 |   var result = self.hljs.highlightAuto(event.data);
 94 |   postMessage(result.value);
 95 | }
 96 | ```
 97 | 
 98 | 
 99 | ## Getting the Library
100 | 
101 | You can get highlight.js as a hosted, or custom-build, browser script or
102 | as a server module. Right out of the box the browser script supports
103 | both AMD and CommonJS, so if you wish you can use RequireJS or
104 | Browserify without having to build from source. The server module also
105 | works perfectly fine with Browserify, but there is the option to use a
106 | build specific to browsers rather than something meant for a server.
107 | Head over to the [download page][5] for all the options.
108 | 
109 | **Don't link to GitHub directly.** The library is not supposed to work straight
110 | from the source, it requires building. If none of the pre-packaged options
111 | work for you refer to the [building documentation][6].
112 | 
113 | **The CDN-hosted package doesn't have all the languages.** Otherwise it'd be
114 | too big. If you don't see the language you need in the ["Common" section][5],
115 | it can be added manually:
116 | 
117 | ```html
118 | 
119 | ```
120 | 
121 | **On Almond.** You need to use the optimizer to give the module a name. For
122 | example:
123 | 
124 | ```
125 | r.js -o name=hljs paths.hljs=/path/to/highlight out=highlight.js
126 | ```
127 | 
128 | 
129 | ## License
130 | 
131 | Highlight.js is released under the BSD License. See [LICENSE][7] file
132 | for details.
133 | 
134 | ## Links
135 | 
136 | The official site for the library is at .
137 | 
138 | Further in-depth documentation for the API and other topics is at
139 | .
140 | 
141 | Authors and contributors are listed in the [AUTHORS.en.txt][8] file.
142 | 
143 | [1]: http://highlightjs.readthedocs.io/en/latest/api.html#inithighlightingonload
144 | [2]: http://highlightjs.readthedocs.io/en/latest/css-classes-reference.html
145 | [3]: http://highlightjs.readthedocs.io/en/latest/api.html#highlightblock-block
146 | [4]: http://highlightjs.readthedocs.io/en/latest/api.html#configure-options
147 | [5]: https://highlightjs.org/download/
148 | [6]: http://highlightjs.readthedocs.io/en/latest/building-testing.html
149 | [7]: https://github.com/isagalaev/highlight.js/blob/master/LICENSE
150 | [8]: https://github.com/isagalaev/highlight.js/blob/master/AUTHORS.en.txt
151 | 


--------------------------------------------------------------------------------
/app/static/highlight/README.ru.md:
--------------------------------------------------------------------------------
  1 | # Highlight.js
  2 | 
  3 | Highlight.js — это инструмент для подсветки синтаксиса, написанный на JavaScript. Он работает
  4 | и в браузере, и на сервере. Он работает с практически любой HTML разметкой, не
  5 | зависит от каких-либо фреймворков и умеет автоматически определять язык.
  6 | 
  7 | 
  8 | ## Начало работы
  9 | 
 10 | Минимум, что нужно сделать для использования highlight.js на веб-странице — это
 11 | подключить библиотеку, CSS-стили и вызывать [`initHighlightingOnLoad`][1]:
 12 | 
 13 | ```html
 14 | 
 15 | 
 16 | 
 17 | ```
 18 | 
 19 | Библиотека найдёт и раскрасит код внутри тегов `
`, попытавшись
 20 | автоматически определить язык. Когда автоопределение не срабатывает, можно явно
 21 | указать язык в атрибуте class:
 22 | 
 23 | ```html
 24 | 
...

 25 | ```
 26 | 
 27 | Список поддерживаемых классов языков доступен в [справочнике по классам][2].
 28 | Класс также можно предварить префиксами `language-` или `lang-`.
 29 | 
 30 | Чтобы отключить подсветку для какого-то блока, используйте класс `nohighlight`:
 31 | 
 32 | ```html
 33 | 
...

 34 | ```
 35 | 
 36 | ## Инициализация вручную
 37 | 
 38 | Чтобы иметь чуть больше контроля за инициализацией подсветки, вы можете
 39 | использовать функции [`highlightBlock`][3] и [`configure`][4]. Таким образом
 40 | можно управлять тем, *что* и *когда* подсвечивать.
 41 | 
 42 | Вот пример инициализации, эквивалентной вызову [`initHighlightingOnLoad`][1], но
 43 | с использованием jQuery:
 44 | 
 45 | ```javascript
 46 | $(document).ready(function() {
 47 |   $('pre code').each(function(i, block) {
 48 |     hljs.highlightBlock(block);
 49 |   });
 50 | });
 51 | ```
 52 | 
 53 | Вы можете использовать любые теги разметки вместо `
`. Если
 54 | используете контейнер, не сохраняющий переводы строк, вам нужно сказать
 55 | highlight.js использовать для них тег `
`:
 56 | 
 57 | ```javascript
 58 | hljs.configure({useBR: true});
 59 | 
 60 | $('div.code').each(function(i, block) {
 61 |   hljs.highlightBlock(block);
 62 | });
 63 | ```
 64 | 
 65 | Другие опции можно найти в документации функции [`configure`][4].
 66 | 
 67 | 
 68 | ## Web Workers
 69 | 
 70 | Подсветку можно запустить внутри web worker'а, чтобы окно
 71 | браузера не подтормаживало при работе с большими кусками кода.
 72 | 
 73 | В основном скрипте:
 74 | 
 75 | ```javascript
 76 | addEventListener('load', function() {
 77 |   var code = document.querySelector('#code');
 78 |   var worker = new Worker('worker.js');
 79 |   worker.onmessage = function(event) { code.innerHTML = event.data; }
 80 |   worker.postMessage(code.textContent);
 81 | })
 82 | ```
 83 | 
 84 | В worker.js:
 85 | 
 86 | ```javascript
 87 | onmessage = function(event) {
 88 |   importScripts('/highlight.pack.js');
 89 |   var result = self.hljs.highlightAuto(event.data);
 90 |   postMessage(result.value);
 91 | }
 92 | ```
 93 | 
 94 | 
 95 | ## Установка библиотеки
 96 | 
 97 | Highlight.js можно использовать в браузере прямо с CDN хостинга или скачать
 98 | индивидуальную сборку, а также установив модуль на сервере. На
 99 | [странице загрузки][5] подробно описаны все варианты.
100 | 
101 | **Не подключайте GitHub напрямую.** Библиотека не предназначена для
102 | использования в виде исходного кода, а требует отдельной сборки. Если вам не
103 | подходит ни один из готовых вариантов, читайте [документацию по сборке][6].
104 | 
105 | **Файл на CDN содержит не все языки.** Иначе он будет слишком большого размера.
106 | Если нужного вам языка нет в [категории "Common"][5], можно дообавить его
107 | вручную:
108 | 
109 | ```html
110 | 
111 | ```
112 | 
113 | **Про Almond.** Нужно задать имя модуля в оптимизаторе, например:
114 | 
115 | ```
116 | r.js -o name=hljs paths.hljs=/path/to/highlight out=highlight.js
117 | ```
118 | 
119 | 
120 | ## Лицензия
121 | 
122 | Highlight.js распространяется под лицензией BSD. Подробнее читайте файл
123 | [LICENSE][7].
124 | 
125 | 
126 | ## Ссылки
127 | 
128 | Официальный сайт билиотеки расположен по адресу .
129 | 
130 | Более подробная документация по API и другим темам расположена на
131 | .
132 | 
133 | Авторы и контрибьюторы перечислены в файле [AUTHORS.ru.txt][8] file.
134 | 
135 | [1]: http://highlightjs.readthedocs.io/en/latest/api.html#inithighlightingonload
136 | [2]: http://highlightjs.readthedocs.io/en/latest/css-classes-reference.html
137 | [3]: http://highlightjs.readthedocs.io/en/latest/api.html#highlightblock-block
138 | [4]: http://highlightjs.readthedocs.io/en/latest/api.html#configure-options
139 | [5]: https://highlightjs.org/download/
140 | [6]: http://highlightjs.readthedocs.io/en/latest/building-testing.html
141 | [7]: https://github.com/isagalaev/highlight.js/blob/master/LICENSE
142 | [8]: https://github.com/isagalaev/highlight.js/blob/master/AUTHORS.ru.txt
143 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/agate.css:
--------------------------------------------------------------------------------
  1 | /*!
  2 |  * Agate by Taufik Nurrohman 
  3 |  * ----------------------------------------------------
  4 |  *
  5 |  * #ade5fc
  6 |  * #a2fca2
  7 |  * #c6b4f0
  8 |  * #d36363
  9 |  * #fcc28c
 10 |  * #fc9b9b
 11 |  * #ffa
 12 |  * #fff
 13 |  * #333
 14 |  * #62c8f3
 15 |  * #888
 16 |  *
 17 |  */
 18 | 
 19 | .hljs {
 20 |   display: block;
 21 |   overflow-x: auto;
 22 |   padding: 0.5em;
 23 |   background: #333;
 24 |   color: white;
 25 | }
 26 | 
 27 | .hljs-name,
 28 | .hljs-strong {
 29 |   font-weight: bold;
 30 | }
 31 | 
 32 | .hljs-code,
 33 | .hljs-emphasis {
 34 |   font-style: italic;
 35 | }
 36 | 
 37 | .hljs-tag {
 38 |   color: #62c8f3;
 39 | }
 40 | 
 41 | .hljs-variable,
 42 | .hljs-template-variable,
 43 | .hljs-selector-id,
 44 | .hljs-selector-class {
 45 |   color: #ade5fc;
 46 | }
 47 | 
 48 | .hljs-string,
 49 | .hljs-bullet {
 50 |   color: #a2fca2;
 51 | }
 52 | 
 53 | .hljs-type,
 54 | .hljs-title,
 55 | .hljs-section,
 56 | .hljs-attribute,
 57 | .hljs-quote,
 58 | .hljs-built_in,
 59 | .hljs-builtin-name {
 60 |   color: #ffa;
 61 | }
 62 | 
 63 | .hljs-number,
 64 | .hljs-symbol,
 65 | .hljs-bullet {
 66 |   color: #d36363;
 67 | }
 68 | 
 69 | .hljs-keyword,
 70 | .hljs-selector-tag,
 71 | .hljs-literal {
 72 |   color: #fcc28c;
 73 | }
 74 | 
 75 | .hljs-comment,
 76 | .hljs-deletion,
 77 | .hljs-code {
 78 |   color: #888;
 79 | }
 80 | 
 81 | .hljs-regexp,
 82 | .hljs-link {
 83 |   color: #c6b4f0;
 84 | }
 85 | 
 86 | .hljs-meta {
 87 |   color: #fc9b9b;
 88 | }
 89 | 
 90 | .hljs-deletion {
 91 |   background-color: #fc9b9b;
 92 |   color: #333;
 93 | }
 94 | 
 95 | .hljs-addition {
 96 |   background-color: #a2fca2;
 97 |   color: #333;
 98 | }
 99 | 
100 | .hljs a {
101 |   color: inherit;
102 | }
103 | 
104 | .hljs a:focus,
105 | .hljs a:hover {
106 |   color: inherit;
107 |   text-decoration: underline;
108 | }
109 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/androidstudio.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | Date: 24 Fev 2015
 3 | Author: Pedro Oliveira 
 4 | */
 5 | 
 6 | .hljs {
 7 |   color: #a9b7c6;
 8 |   background: #282b2e;
 9 |   display: block;
10 |   overflow-x: auto;
11 |   padding: 0.5em;
12 | }
13 | 
14 | .hljs-number,
15 | .hljs-literal,
16 | .hljs-symbol,
17 | .hljs-bullet {
18 |   color: #6897BB;
19 | }
20 | 
21 | .hljs-keyword,
22 | .hljs-selector-tag,
23 | .hljs-deletion {
24 |   color: #cc7832;
25 | }
26 | 
27 | .hljs-variable,
28 | .hljs-template-variable,
29 | .hljs-link {
30 |   color: #629755;
31 | }
32 | 
33 | .hljs-comment,
34 | .hljs-quote {
35 |   color: #808080;
36 | }
37 | 
38 | .hljs-meta {
39 |   color: #bbb529;
40 | }
41 | 
42 | .hljs-string,
43 | .hljs-attribute,
44 | .hljs-addition {
45 |   color: #6A8759;
46 | }
47 | 
48 | .hljs-section,
49 | .hljs-title,
50 | .hljs-type {
51 |   color: #ffc66d;
52 | }
53 | 
54 | .hljs-name,
55 | .hljs-selector-id,
56 | .hljs-selector-class {
57 |   color: #e8bf6a;
58 | }
59 | 
60 | .hljs-emphasis {
61 |   font-style: italic;
62 | }
63 | 
64 | .hljs-strong {
65 |   font-weight: bold;
66 | }
67 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/arduino-light.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Arduino® Light Theme - Stefania Mellai 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: #FFFFFF;
12 | }
13 | 
14 | .hljs,
15 | .hljs-subst {
16 |   color: #434f54;
17 | }
18 | 
19 | .hljs-keyword,
20 | .hljs-attribute,
21 | .hljs-selector-tag,
22 | .hljs-doctag,
23 | .hljs-name {
24 |   color: #00979D;
25 | }
26 | 
27 | .hljs-built_in,
28 | .hljs-literal,
29 | .hljs-bullet,
30 | .hljs-code,
31 | .hljs-addition {
32 |   color: #D35400;
33 | }
34 | 
35 | .hljs-regexp,
36 | .hljs-symbol,
37 | .hljs-variable,
38 | .hljs-template-variable,
39 | .hljs-link,
40 | .hljs-selector-attr,
41 | .hljs-selector-pseudo {
42 |   color: #00979D;
43 | }
44 | 
45 | .hljs-type,
46 | .hljs-string,
47 | .hljs-selector-id,
48 | .hljs-selector-class,
49 | .hljs-quote,
50 | .hljs-template-tag,
51 | .hljs-deletion {
52 |   color: #005C5F;
53 | }
54 | 
55 | .hljs-title,
56 | .hljs-section {
57 |   color: #880000;
58 |   font-weight: bold;
59 | }
60 | 
61 | .hljs-comment {
62 |   color: rgba(149,165,166,.8);
63 | }
64 | 
65 | .hljs-meta-keyword {
66 |   color: #728E00;
67 | }
68 | 
69 | .hljs-meta {
70 |   color: #728E00;
71 |   color: #434f54;
72 | }
73 | 
74 | .hljs-emphasis {
75 |   font-style: italic;
76 | }
77 | 
78 | .hljs-strong {
79 |   font-weight: bold;
80 | }
81 | 
82 | .hljs-function {
83 |   color: #728E00;
84 | }
85 | 
86 | .hljs-number {
87 |   color: #8A7B52;  
88 | }
89 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/arta.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | Date: 17.V.2011
 3 | Author: pumbur 
 4 | */
 5 | 
 6 | .hljs {
 7 |   display: block;
 8 |   overflow-x: auto;
 9 |   padding: 0.5em;
10 |   background: #222;
11 | }
12 | 
13 | .hljs,
14 | .hljs-subst {
15 |   color: #aaa;
16 | }
17 | 
18 | .hljs-section {
19 |   color: #fff;
20 | }
21 | 
22 | .hljs-comment,
23 | .hljs-quote,
24 | .hljs-meta {
25 |   color: #444;
26 | }
27 | 
28 | .hljs-string,
29 | .hljs-symbol,
30 | .hljs-bullet,
31 | .hljs-regexp {
32 |   color: #ffcc33;
33 | }
34 | 
35 | .hljs-number,
36 | .hljs-addition {
37 |   color: #00cc66;
38 | }
39 | 
40 | .hljs-built_in,
41 | .hljs-builtin-name,
42 | .hljs-literal,
43 | .hljs-type,
44 | .hljs-template-variable,
45 | .hljs-attribute,
46 | .hljs-link {
47 |   color: #32aaee;
48 | }
49 | 
50 | .hljs-keyword,
51 | .hljs-selector-tag,
52 | .hljs-name,
53 | .hljs-selector-id,
54 | .hljs-selector-class {
55 |   color: #6644aa;
56 | }
57 | 
58 | .hljs-title,
59 | .hljs-variable,
60 | .hljs-deletion,
61 | .hljs-template-tag {
62 |   color: #bb1166;
63 | }
64 | 
65 | .hljs-section,
66 | .hljs-doctag,
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 
71 | .hljs-emphasis {
72 |   font-style: italic;
73 | }
74 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/ascetic.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Original style from softwaremaniacs.org (c) Ivan Sagalaev 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: white;
12 |   color: black;
13 | }
14 | 
15 | .hljs-string,
16 | .hljs-variable,
17 | .hljs-template-variable,
18 | .hljs-symbol,
19 | .hljs-bullet,
20 | .hljs-section,
21 | .hljs-addition,
22 | .hljs-attribute,
23 | .hljs-link {
24 |   color: #888;
25 | }
26 | 
27 | .hljs-comment,
28 | .hljs-quote,
29 | .hljs-meta,
30 | .hljs-deletion {
31 |   color: #ccc;
32 | }
33 | 
34 | .hljs-keyword,
35 | .hljs-selector-tag,
36 | .hljs-section,
37 | .hljs-name,
38 | .hljs-type,
39 | .hljs-strong {
40 |   font-weight: bold;
41 | }
42 | 
43 | .hljs-emphasis {
44 |   font-style: italic;
45 | }
46 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-cave-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Cave Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/cave) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Cave Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #7e7887;
 9 | }
10 | 
11 | /* Atelier-Cave Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-regexp,
16 | .hljs-link,
17 | .hljs-tag,
18 | .hljs-name,
19 | .hljs-selector-id,
20 | .hljs-selector-class {
21 |   color: #be4678;
22 | }
23 | 
24 | /* Atelier-Cave Orange */
25 | .hljs-number,
26 | .hljs-meta,
27 | .hljs-built_in,
28 | .hljs-builtin-name,
29 | .hljs-literal,
30 | .hljs-type,
31 | .hljs-params {
32 |   color: #aa573c;
33 | }
34 | 
35 | /* Atelier-Cave Green */
36 | .hljs-string,
37 | .hljs-symbol,
38 | .hljs-bullet {
39 |   color: #2a9292;
40 | }
41 | 
42 | /* Atelier-Cave Blue */
43 | .hljs-title,
44 | .hljs-section {
45 |   color: #576ddb;
46 | }
47 | 
48 | /* Atelier-Cave Purple */
49 | .hljs-keyword,
50 | .hljs-selector-tag {
51 |   color: #955ae7;
52 | }
53 | 
54 | .hljs-deletion,
55 | .hljs-addition {
56 |   color: #19171c;
57 |   display: inline-block;
58 |   width: 100%;
59 | }
60 | 
61 | .hljs-deletion {
62 |   background-color: #be4678;
63 | }
64 | 
65 | .hljs-addition {
66 |   background-color: #2a9292;
67 | }
68 | 
69 | .hljs {
70 |   display: block;
71 |   overflow-x: auto;
72 |   background: #19171c;
73 |   color: #8b8792;
74 |   padding: 0.5em;
75 | }
76 | 
77 | .hljs-emphasis {
78 |   font-style: italic;
79 | }
80 | 
81 | .hljs-strong {
82 |   font-weight: bold;
83 | }
84 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-cave-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Cave Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/cave) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Cave Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #655f6d;
 9 | }
10 | 
11 | /* Atelier-Cave Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-name,
21 | .hljs-selector-id,
22 | .hljs-selector-class {
23 |   color: #be4678;
24 | }
25 | 
26 | /* Atelier-Cave Orange */
27 | .hljs-number,
28 | .hljs-meta,
29 | .hljs-built_in,
30 | .hljs-builtin-name,
31 | .hljs-literal,
32 | .hljs-type,
33 | .hljs-params {
34 |   color: #aa573c;
35 | }
36 | 
37 | /* Atelier-Cave Green */
38 | .hljs-string,
39 | .hljs-symbol,
40 | .hljs-bullet {
41 |   color: #2a9292;
42 | }
43 | 
44 | /* Atelier-Cave Blue */
45 | .hljs-title,
46 | .hljs-section {
47 |   color: #576ddb;
48 | }
49 | 
50 | /* Atelier-Cave Purple */
51 | .hljs-keyword,
52 | .hljs-selector-tag {
53 |   color: #955ae7;
54 | }
55 | 
56 | .hljs-deletion,
57 | .hljs-addition {
58 |   color: #19171c;
59 |   display: inline-block;
60 |   width: 100%;
61 | }
62 | 
63 | .hljs-deletion {
64 |   background-color: #be4678;
65 | }
66 | 
67 | .hljs-addition {
68 |   background-color: #2a9292;
69 | }
70 | 
71 | .hljs {
72 |   display: block;
73 |   overflow-x: auto;
74 |   background: #efecf4;
75 |   color: #585260;
76 |   padding: 0.5em;
77 | }
78 | 
79 | .hljs-emphasis {
80 |   font-style: italic;
81 | }
82 | 
83 | .hljs-strong {
84 |   font-weight: bold;
85 | }
86 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-dune-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Dune Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/dune) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Dune Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #999580;
 9 | }
10 | 
11 | /* Atelier-Dune Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #d73737;
23 | }
24 | 
25 | /* Atelier-Dune Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #b65611;
34 | }
35 | 
36 | /* Atelier-Dune Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #60ac39;
41 | }
42 | 
43 | /* Atelier-Dune Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #6684e1;
47 | }
48 | 
49 | /* Atelier-Dune Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #b854d4;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #20201d;
59 |   color: #a6a28c;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-dune-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Dune Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/dune) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Dune Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #7d7a68;
 9 | }
10 | 
11 | /* Atelier-Dune Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #d73737;
23 | }
24 | 
25 | /* Atelier-Dune Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #b65611;
34 | }
35 | 
36 | /* Atelier-Dune Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #60ac39;
41 | }
42 | 
43 | /* Atelier-Dune Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #6684e1;
47 | }
48 | 
49 | /* Atelier-Dune Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #b854d4;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #fefbec;
59 |   color: #6e6b5e;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-estuary-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Estuary Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/estuary) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Estuary Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #878573;
 9 | }
10 | 
11 | /* Atelier-Estuary Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #ba6236;
23 | }
24 | 
25 | /* Atelier-Estuary Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #ae7313;
34 | }
35 | 
36 | /* Atelier-Estuary Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #7d9726;
41 | }
42 | 
43 | /* Atelier-Estuary Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #36a166;
47 | }
48 | 
49 | /* Atelier-Estuary Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #5f9182;
53 | }
54 | 
55 | .hljs-deletion,
56 | .hljs-addition {
57 |   color: #22221b;
58 |   display: inline-block;
59 |   width: 100%;
60 | }
61 | 
62 | .hljs-deletion {
63 |   background-color: #ba6236;
64 | }
65 | 
66 | .hljs-addition {
67 |   background-color: #7d9726;
68 | }
69 | 
70 | .hljs {
71 |   display: block;
72 |   overflow-x: auto;
73 |   background: #22221b;
74 |   color: #929181;
75 |   padding: 0.5em;
76 | }
77 | 
78 | .hljs-emphasis {
79 |   font-style: italic;
80 | }
81 | 
82 | .hljs-strong {
83 |   font-weight: bold;
84 | }
85 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-estuary-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Estuary Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/estuary) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Estuary Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #6c6b5a;
 9 | }
10 | 
11 | /* Atelier-Estuary Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #ba6236;
23 | }
24 | 
25 | /* Atelier-Estuary Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #ae7313;
34 | }
35 | 
36 | /* Atelier-Estuary Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #7d9726;
41 | }
42 | 
43 | /* Atelier-Estuary Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #36a166;
47 | }
48 | 
49 | /* Atelier-Estuary Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #5f9182;
53 | }
54 | 
55 | .hljs-deletion,
56 | .hljs-addition {
57 |   color: #22221b;
58 |   display: inline-block;
59 |   width: 100%;
60 | }
61 | 
62 | .hljs-deletion {
63 |   background-color: #ba6236;
64 | }
65 | 
66 | .hljs-addition {
67 |   background-color: #7d9726;
68 | }
69 | 
70 | .hljs {
71 |   display: block;
72 |   overflow-x: auto;
73 |   background: #f4f3ec;
74 |   color: #5f5e4e;
75 |   padding: 0.5em;
76 | }
77 | 
78 | .hljs-emphasis {
79 |   font-style: italic;
80 | }
81 | 
82 | .hljs-strong {
83 |   font-weight: bold;
84 | }
85 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-forest-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Forest Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/forest) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Forest Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #9c9491;
 9 | }
10 | 
11 | /* Atelier-Forest Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #f22c40;
23 | }
24 | 
25 | /* Atelier-Forest Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #df5320;
34 | }
35 | 
36 | /* Atelier-Forest Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #7b9726;
41 | }
42 | 
43 | /* Atelier-Forest Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #407ee7;
47 | }
48 | 
49 | /* Atelier-Forest Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #6666ea;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #1b1918;
59 |   color: #a8a19f;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-forest-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Forest Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/forest) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Forest Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #766e6b;
 9 | }
10 | 
11 | /* Atelier-Forest Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #f22c40;
23 | }
24 | 
25 | /* Atelier-Forest Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #df5320;
34 | }
35 | 
36 | /* Atelier-Forest Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #7b9726;
41 | }
42 | 
43 | /* Atelier-Forest Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #407ee7;
47 | }
48 | 
49 | /* Atelier-Forest Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #6666ea;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #f1efee;
59 |   color: #68615e;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-heath-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Heath Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/heath) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Heath Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #9e8f9e;
 9 | }
10 | 
11 | /* Atelier-Heath Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #ca402b;
23 | }
24 | 
25 | /* Atelier-Heath Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #a65926;
34 | }
35 | 
36 | /* Atelier-Heath Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #918b3b;
41 | }
42 | 
43 | /* Atelier-Heath Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #516aec;
47 | }
48 | 
49 | /* Atelier-Heath Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #7b59c0;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #1b181b;
59 |   color: #ab9bab;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-heath-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Heath Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/heath) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Heath Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #776977;
 9 | }
10 | 
11 | /* Atelier-Heath Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #ca402b;
23 | }
24 | 
25 | /* Atelier-Heath Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #a65926;
34 | }
35 | 
36 | /* Atelier-Heath Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #918b3b;
41 | }
42 | 
43 | /* Atelier-Heath Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #516aec;
47 | }
48 | 
49 | /* Atelier-Heath Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #7b59c0;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #f7f3f7;
59 |   color: #695d69;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-lakeside-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Lakeside Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/lakeside) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Lakeside Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #7195a8;
 9 | }
10 | 
11 | /* Atelier-Lakeside Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #d22d72;
23 | }
24 | 
25 | /* Atelier-Lakeside Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #935c25;
34 | }
35 | 
36 | /* Atelier-Lakeside Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #568c3b;
41 | }
42 | 
43 | /* Atelier-Lakeside Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #257fad;
47 | }
48 | 
49 | /* Atelier-Lakeside Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #6b6bb8;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #161b1d;
59 |   color: #7ea2b4;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-lakeside-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Lakeside Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/lakeside) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Lakeside Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #5a7b8c;
 9 | }
10 | 
11 | /* Atelier-Lakeside Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #d22d72;
23 | }
24 | 
25 | /* Atelier-Lakeside Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #935c25;
34 | }
35 | 
36 | /* Atelier-Lakeside Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #568c3b;
41 | }
42 | 
43 | /* Atelier-Lakeside Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #257fad;
47 | }
48 | 
49 | /* Atelier-Lakeside Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #6b6bb8;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #ebf8ff;
59 |   color: #516d7b;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-plateau-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Plateau Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/plateau) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Plateau Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #7e7777;
 9 | }
10 | 
11 | /* Atelier-Plateau Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #ca4949;
23 | }
24 | 
25 | /* Atelier-Plateau Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #b45a3c;
34 | }
35 | 
36 | /* Atelier-Plateau Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #4b8b8b;
41 | }
42 | 
43 | /* Atelier-Plateau Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #7272ca;
47 | }
48 | 
49 | /* Atelier-Plateau Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #8464c4;
53 | }
54 | 
55 | .hljs-deletion,
56 | .hljs-addition {
57 |   color: #1b1818;
58 |   display: inline-block;
59 |   width: 100%;
60 | }
61 | 
62 | .hljs-deletion {
63 |   background-color: #ca4949;
64 | }
65 | 
66 | .hljs-addition {
67 |   background-color: #4b8b8b;
68 | }
69 | 
70 | .hljs {
71 |   display: block;
72 |   overflow-x: auto;
73 |   background: #1b1818;
74 |   color: #8a8585;
75 |   padding: 0.5em;
76 | }
77 | 
78 | .hljs-emphasis {
79 |   font-style: italic;
80 | }
81 | 
82 | .hljs-strong {
83 |   font-weight: bold;
84 | }
85 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-plateau-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Plateau Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/plateau) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Plateau Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #655d5d;
 9 | }
10 | 
11 | /* Atelier-Plateau Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #ca4949;
23 | }
24 | 
25 | /* Atelier-Plateau Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #b45a3c;
34 | }
35 | 
36 | /* Atelier-Plateau Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #4b8b8b;
41 | }
42 | 
43 | /* Atelier-Plateau Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #7272ca;
47 | }
48 | 
49 | /* Atelier-Plateau Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #8464c4;
53 | }
54 | 
55 | .hljs-deletion,
56 | .hljs-addition {
57 |   color: #1b1818;
58 |   display: inline-block;
59 |   width: 100%;
60 | }
61 | 
62 | .hljs-deletion {
63 |   background-color: #ca4949;
64 | }
65 | 
66 | .hljs-addition {
67 |   background-color: #4b8b8b;
68 | }
69 | 
70 | .hljs {
71 |   display: block;
72 |   overflow-x: auto;
73 |   background: #f4ecec;
74 |   color: #585050;
75 |   padding: 0.5em;
76 | }
77 | 
78 | .hljs-emphasis {
79 |   font-style: italic;
80 | }
81 | 
82 | .hljs-strong {
83 |   font-weight: bold;
84 | }
85 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-savanna-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Savanna Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/savanna) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Savanna Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #78877d;
 9 | }
10 | 
11 | /* Atelier-Savanna Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #b16139;
23 | }
24 | 
25 | /* Atelier-Savanna Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #9f713c;
34 | }
35 | 
36 | /* Atelier-Savanna Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #489963;
41 | }
42 | 
43 | /* Atelier-Savanna Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #478c90;
47 | }
48 | 
49 | /* Atelier-Savanna Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #55859b;
53 | }
54 | 
55 | .hljs-deletion,
56 | .hljs-addition {
57 |   color: #171c19;
58 |   display: inline-block;
59 |   width: 100%;
60 | }
61 | 
62 | .hljs-deletion {
63 |   background-color: #b16139;
64 | }
65 | 
66 | .hljs-addition {
67 |   background-color: #489963;
68 | }
69 | 
70 | .hljs {
71 |   display: block;
72 |   overflow-x: auto;
73 |   background: #171c19;
74 |   color: #87928a;
75 |   padding: 0.5em;
76 | }
77 | 
78 | .hljs-emphasis {
79 |   font-style: italic;
80 | }
81 | 
82 | .hljs-strong {
83 |   font-weight: bold;
84 | }
85 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-savanna-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Savanna Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/savanna) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Savanna Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #5f6d64;
 9 | }
10 | 
11 | /* Atelier-Savanna Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #b16139;
23 | }
24 | 
25 | /* Atelier-Savanna Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #9f713c;
34 | }
35 | 
36 | /* Atelier-Savanna Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #489963;
41 | }
42 | 
43 | /* Atelier-Savanna Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #478c90;
47 | }
48 | 
49 | /* Atelier-Savanna Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #55859b;
53 | }
54 | 
55 | .hljs-deletion,
56 | .hljs-addition {
57 |   color: #171c19;
58 |   display: inline-block;
59 |   width: 100%;
60 | }
61 | 
62 | .hljs-deletion {
63 |   background-color: #b16139;
64 | }
65 | 
66 | .hljs-addition {
67 |   background-color: #489963;
68 | }
69 | 
70 | .hljs {
71 |   display: block;
72 |   overflow-x: auto;
73 |   background: #ecf4ee;
74 |   color: #526057;
75 |   padding: 0.5em;
76 | }
77 | 
78 | .hljs-emphasis {
79 |   font-style: italic;
80 | }
81 | 
82 | .hljs-strong {
83 |   font-weight: bold;
84 | }
85 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-seaside-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Seaside Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/seaside) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Seaside Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #809980;
 9 | }
10 | 
11 | /* Atelier-Seaside Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #e6193c;
23 | }
24 | 
25 | /* Atelier-Seaside Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #87711d;
34 | }
35 | 
36 | /* Atelier-Seaside Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #29a329;
41 | }
42 | 
43 | /* Atelier-Seaside Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #3d62f5;
47 | }
48 | 
49 | /* Atelier-Seaside Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #ad2bee;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #131513;
59 |   color: #8ca68c;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-seaside-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Seaside Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/seaside) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Seaside Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #687d68;
 9 | }
10 | 
11 | /* Atelier-Seaside Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #e6193c;
23 | }
24 | 
25 | /* Atelier-Seaside Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #87711d;
34 | }
35 | 
36 | /* Atelier-Seaside Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #29a329;
41 | }
42 | 
43 | /* Atelier-Seaside Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #3d62f5;
47 | }
48 | 
49 | /* Atelier-Seaside Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #ad2bee;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #f4fbf4;
59 |   color: #5e6e5e;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-sulphurpool-dark.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Sulphurpool Dark - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/sulphurpool) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Sulphurpool Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #898ea4;
 9 | }
10 | 
11 | /* Atelier-Sulphurpool Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #c94922;
23 | }
24 | 
25 | /* Atelier-Sulphurpool Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #c76b29;
34 | }
35 | 
36 | /* Atelier-Sulphurpool Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #ac9739;
41 | }
42 | 
43 | /* Atelier-Sulphurpool Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #3d8fd1;
47 | }
48 | 
49 | /* Atelier-Sulphurpool Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #6679cc;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #202746;
59 |   color: #979db4;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atelier-sulphurpool-light.css:
--------------------------------------------------------------------------------
 1 | /* Base16 Atelier Sulphurpool Light - Theme */
 2 | /* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/sulphurpool) */
 3 | /* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
 4 | 
 5 | /* Atelier-Sulphurpool Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #6b7394;
 9 | }
10 | 
11 | /* Atelier-Sulphurpool Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-attribute,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-regexp,
18 | .hljs-link,
19 | .hljs-name,
20 | .hljs-selector-id,
21 | .hljs-selector-class {
22 |   color: #c94922;
23 | }
24 | 
25 | /* Atelier-Sulphurpool Orange */
26 | .hljs-number,
27 | .hljs-meta,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params {
33 |   color: #c76b29;
34 | }
35 | 
36 | /* Atelier-Sulphurpool Green */
37 | .hljs-string,
38 | .hljs-symbol,
39 | .hljs-bullet {
40 |   color: #ac9739;
41 | }
42 | 
43 | /* Atelier-Sulphurpool Blue */
44 | .hljs-title,
45 | .hljs-section {
46 |   color: #3d8fd1;
47 | }
48 | 
49 | /* Atelier-Sulphurpool Purple */
50 | .hljs-keyword,
51 | .hljs-selector-tag {
52 |   color: #6679cc;
53 | }
54 | 
55 | .hljs {
56 |   display: block;
57 |   overflow-x: auto;
58 |   background: #f5f7ff;
59 |   color: #5e6687;
60 |   padding: 0.5em;
61 | }
62 | 
63 | .hljs-emphasis {
64 |   font-style: italic;
65 | }
66 | 
67 | .hljs-strong {
68 |   font-weight: bold;
69 | }
70 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atom-one-dark.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Atom One Dark by Daniel Gamage
 4 | Original One Dark Syntax theme from https://github.com/atom/one-dark-syntax
 5 | 
 6 | base:    #282c34
 7 | mono-1:  #abb2bf
 8 | mono-2:  #818896
 9 | mono-3:  #5c6370
10 | hue-1:   #56b6c2
11 | hue-2:   #61aeee
12 | hue-3:   #c678dd
13 | hue-4:   #98c379
14 | hue-5:   #e06c75
15 | hue-5-2: #be5046
16 | hue-6:   #d19a66
17 | hue-6-2: #e6c07b
18 | 
19 | */
20 | 
21 | .hljs {
22 |   display: block;
23 |   overflow-x: auto;
24 |   padding: 0.5em;
25 |   color: #abb2bf;
26 |   background: #282c34;
27 | }
28 | 
29 | .hljs-comment,
30 | .hljs-quote {
31 |   color: #5c6370;
32 |   font-style: italic;
33 | }
34 | 
35 | .hljs-doctag,
36 | .hljs-keyword,
37 | .hljs-formula {
38 |   color: #c678dd;
39 | }
40 | 
41 | .hljs-section,
42 | .hljs-name,
43 | .hljs-selector-tag,
44 | .hljs-deletion,
45 | .hljs-subst {
46 |   color: #e06c75;
47 | }
48 | 
49 | .hljs-literal {
50 |   color: #56b6c2;
51 | }
52 | 
53 | .hljs-string,
54 | .hljs-regexp,
55 | .hljs-addition,
56 | .hljs-attribute,
57 | .hljs-meta-string {
58 |   color: #98c379;
59 | }
60 | 
61 | .hljs-built_in,
62 | .hljs-class .hljs-title {
63 |   color: #e6c07b;
64 | }
65 | 
66 | .hljs-attr,
67 | .hljs-variable,
68 | .hljs-template-variable,
69 | .hljs-type,
70 | .hljs-selector-class,
71 | .hljs-selector-attr,
72 | .hljs-selector-pseudo,
73 | .hljs-number {
74 |   color: #d19a66;
75 | }
76 | 
77 | .hljs-symbol,
78 | .hljs-bullet,
79 | .hljs-link,
80 | .hljs-meta,
81 | .hljs-selector-id,
82 | .hljs-title {
83 |   color: #61aeee;
84 | }
85 | 
86 | .hljs-emphasis {
87 |   font-style: italic;
88 | }
89 | 
90 | .hljs-strong {
91 |   font-weight: bold;
92 | }
93 | 
94 | .hljs-link {
95 |   text-decoration: underline;
96 | }
97 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/atom-one-light.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Atom One Light by Daniel Gamage
 4 | Original One Light Syntax theme from https://github.com/atom/one-light-syntax
 5 | 
 6 | base:    #fafafa
 7 | mono-1:  #383a42
 8 | mono-2:  #686b77
 9 | mono-3:  #a0a1a7
10 | hue-1:   #0184bb
11 | hue-2:   #4078f2
12 | hue-3:   #a626a4
13 | hue-4:   #50a14f
14 | hue-5:   #e45649
15 | hue-5-2: #c91243
16 | hue-6:   #986801
17 | hue-6-2: #c18401
18 | 
19 | */
20 | 
21 | .hljs {
22 |   display: block;
23 |   overflow-x: auto;
24 |   padding: 0.5em;
25 |   color: #383a42;
26 |   background: #fafafa;
27 | }
28 | 
29 | .hljs-comment,
30 | .hljs-quote {
31 |   color: #a0a1a7;
32 |   font-style: italic;
33 | }
34 | 
35 | .hljs-doctag,
36 | .hljs-keyword,
37 | .hljs-formula {
38 |   color: #a626a4;
39 | }
40 | 
41 | .hljs-section,
42 | .hljs-name,
43 | .hljs-selector-tag,
44 | .hljs-deletion,
45 | .hljs-subst {
46 |   color: #e45649;
47 | }
48 | 
49 | .hljs-literal {
50 |   color: #0184bb;
51 | }
52 | 
53 | .hljs-string,
54 | .hljs-regexp,
55 | .hljs-addition,
56 | .hljs-attribute,
57 | .hljs-meta-string {
58 |   color: #50a14f;
59 | }
60 | 
61 | .hljs-built_in,
62 | .hljs-class .hljs-title {
63 |   color: #c18401;
64 | }
65 | 
66 | .hljs-attr,
67 | .hljs-variable,
68 | .hljs-template-variable,
69 | .hljs-type,
70 | .hljs-selector-class,
71 | .hljs-selector-attr,
72 | .hljs-selector-pseudo,
73 | .hljs-number {
74 |   color: #986801;
75 | }
76 | 
77 | .hljs-symbol,
78 | .hljs-bullet,
79 | .hljs-link,
80 | .hljs-meta,
81 | .hljs-selector-id,
82 | .hljs-title {
83 |   color: #4078f2;
84 | }
85 | 
86 | .hljs-emphasis {
87 |   font-style: italic;
88 | }
89 | 
90 | .hljs-strong {
91 |   font-weight: bold;
92 | }
93 | 
94 | .hljs-link {
95 |   text-decoration: underline;
96 | }
97 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/brown-paper.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Brown Paper style from goldblog.com.ua (c) Zaripov Yura 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background:#b7a68e url(./brown-papersq.png);
12 | }
13 | 
14 | .hljs-keyword,
15 | .hljs-selector-tag,
16 | .hljs-literal {
17 |   color:#005599;
18 |   font-weight:bold;
19 | }
20 | 
21 | .hljs,
22 | .hljs-subst {
23 |   color: #363c69;
24 | }
25 | 
26 | .hljs-string,
27 | .hljs-title,
28 | .hljs-section,
29 | .hljs-type,
30 | .hljs-attribute,
31 | .hljs-symbol,
32 | .hljs-bullet,
33 | .hljs-built_in,
34 | .hljs-addition,
35 | .hljs-variable,
36 | .hljs-template-tag,
37 | .hljs-template-variable,
38 | .hljs-link,
39 | .hljs-name {
40 |   color: #2c009f;
41 | }
42 | 
43 | .hljs-comment,
44 | .hljs-quote,
45 | .hljs-meta,
46 | .hljs-deletion {
47 |   color: #802022;
48 | }
49 | 
50 | .hljs-keyword,
51 | .hljs-selector-tag,
52 | .hljs-literal,
53 | .hljs-doctag,
54 | .hljs-title,
55 | .hljs-section,
56 | .hljs-type,
57 | .hljs-name,
58 | .hljs-strong {
59 |   font-weight: bold;
60 | }
61 | 
62 | .hljs-emphasis {
63 |   font-style: italic;
64 | }
65 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/brown-papersq.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/static/highlight/styles/brown-papersq.png


--------------------------------------------------------------------------------
/app/static/highlight/styles/codepen-embed.css:
--------------------------------------------------------------------------------
 1 | /*
 2 |   codepen.io Embed Theme
 3 |   Author: Justin Perry 
 4 |   Original theme - https://github.com/chriskempson/tomorrow-theme
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: #222;
12 |   color: #fff;
13 | }
14 | 
15 | .hljs-comment,
16 | .hljs-quote {
17 |   color: #777;
18 | }
19 | 
20 | .hljs-variable,
21 | .hljs-template-variable,
22 | .hljs-tag,
23 | .hljs-regexp,
24 | .hljs-meta,
25 | .hljs-number,
26 | .hljs-built_in,
27 | .hljs-builtin-name,
28 | .hljs-literal,
29 | .hljs-params,
30 | .hljs-symbol,
31 | .hljs-bullet,
32 | .hljs-link,
33 | .hljs-deletion {
34 |   color: #ab875d;
35 | }
36 | 
37 | .hljs-section,
38 | .hljs-title,
39 | .hljs-name,
40 | .hljs-selector-id,
41 | .hljs-selector-class,
42 | .hljs-type,
43 | .hljs-attribute {
44 |   color: #9b869b;
45 | }
46 | 
47 | .hljs-string,
48 | .hljs-keyword,
49 | .hljs-selector-tag,
50 | .hljs-addition {
51 |   color: #8f9c6c;
52 | }
53 | 
54 | .hljs-emphasis {
55 |   font-style: italic;
56 | }
57 | 
58 | .hljs-strong {
59 |   font-weight: bold;
60 | }
61 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/color-brewer.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Colorbrewer theme
 4 | Original: https://github.com/mbostock/colorbrewer-theme (c) Mike Bostock 
 5 | Ported by Fabrício Tavares de Oliveira
 6 | 
 7 | */
 8 | 
 9 | .hljs {
10 |   display: block;
11 |   overflow-x: auto;
12 |   padding: 0.5em;
13 |   background: #fff;
14 | }
15 | 
16 | .hljs,
17 | .hljs-subst {
18 |   color: #000;
19 | }
20 | 
21 | .hljs-string,
22 | .hljs-meta,
23 | .hljs-symbol,
24 | .hljs-template-tag,
25 | .hljs-template-variable,
26 | .hljs-addition {
27 |   color: #756bb1;
28 | }
29 | 
30 | .hljs-comment,
31 | .hljs-quote {
32 |   color: #636363;
33 | }
34 | 
35 | .hljs-number,
36 | .hljs-regexp,
37 | .hljs-literal,
38 | .hljs-bullet,
39 | .hljs-link {
40 |   color: #31a354;
41 | }
42 | 
43 | .hljs-deletion,
44 | .hljs-variable {
45 |   color: #88f;
46 | }
47 | 
48 | 
49 | 
50 | .hljs-keyword,
51 | .hljs-selector-tag,
52 | .hljs-title,
53 | .hljs-section,
54 | .hljs-built_in,
55 | .hljs-doctag,
56 | .hljs-type,
57 | .hljs-tag,
58 | .hljs-name,
59 | .hljs-selector-id,
60 | .hljs-selector-class,
61 | .hljs-strong {
62 |   color: #3182bd;
63 | }
64 | 
65 | .hljs-emphasis {
66 |   font-style: italic;
67 | }
68 | 
69 | .hljs-attribute {
70 |   color: #e6550d;
71 | }
72 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/darcula.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Darcula color scheme from the JetBrains family of IDEs
 4 | 
 5 | */
 6 | 
 7 | 
 8 | .hljs {
 9 |   display: block;
10 |   overflow-x: auto;
11 |   padding: 0.5em;
12 |   background: #2b2b2b;
13 | }
14 | 
15 | .hljs {
16 |   color: #bababa;
17 | }
18 | 
19 | .hljs-strong,
20 | .hljs-emphasis {
21 |   color: #a8a8a2;
22 | }
23 | 
24 | .hljs-bullet,
25 | .hljs-quote,
26 | .hljs-link,
27 | .hljs-number,
28 | .hljs-regexp,
29 | .hljs-literal {
30 |   color: #6896ba;
31 | }
32 | 
33 | .hljs-code,
34 | .hljs-selector-class {
35 |   color: #a6e22e;
36 | }
37 | 
38 | .hljs-emphasis {
39 |   font-style: italic;
40 | }
41 | 
42 | .hljs-keyword,
43 | .hljs-selector-tag,
44 | .hljs-section,
45 | .hljs-attribute,
46 | .hljs-name,
47 | .hljs-variable {
48 |   color: #cb7832;
49 | }
50 | 
51 | .hljs-params {
52 |   color: #b9b9b9;
53 | }
54 | 
55 | .hljs-string {
56 |   color: #6a8759;
57 | }
58 | 
59 | .hljs-subst,
60 | .hljs-type,
61 | .hljs-built_in,
62 | .hljs-builtin-name,
63 | .hljs-symbol,
64 | .hljs-selector-id,
65 | .hljs-selector-attr,
66 | .hljs-selector-pseudo,
67 | .hljs-template-tag,
68 | .hljs-template-variable,
69 | .hljs-addition {
70 |   color: #e0c46c;
71 | }
72 | 
73 | .hljs-comment,
74 | .hljs-deletion,
75 | .hljs-meta {
76 |   color: #7f7f7f;
77 | }
78 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/dark.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Dark style from softwaremaniacs.org (c) Ivan Sagalaev 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: #444;
12 | }
13 | 
14 | .hljs-keyword,
15 | .hljs-selector-tag,
16 | .hljs-literal,
17 | .hljs-section,
18 | .hljs-link {
19 |   color: white;
20 | }
21 | 
22 | .hljs,
23 | .hljs-subst {
24 |   color: #ddd;
25 | }
26 | 
27 | .hljs-string,
28 | .hljs-title,
29 | .hljs-name,
30 | .hljs-type,
31 | .hljs-attribute,
32 | .hljs-symbol,
33 | .hljs-bullet,
34 | .hljs-built_in,
35 | .hljs-addition,
36 | .hljs-variable,
37 | .hljs-template-tag,
38 | .hljs-template-variable {
39 |   color: #d88;
40 | }
41 | 
42 | .hljs-comment,
43 | .hljs-quote,
44 | .hljs-deletion,
45 | .hljs-meta {
46 |   color: #777;
47 | }
48 | 
49 | .hljs-keyword,
50 | .hljs-selector-tag,
51 | .hljs-literal,
52 | .hljs-title,
53 | .hljs-section,
54 | .hljs-doctag,
55 | .hljs-type,
56 | .hljs-name,
57 | .hljs-strong {
58 |   font-weight: bold;
59 | }
60 | 
61 | .hljs-emphasis {
62 |   font-style: italic;
63 | }
64 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/darkula.css:
--------------------------------------------------------------------------------
1 | /*
2 |   Deprecated due to a typo in the name and left here for compatibility purpose only.
3 |   Please use darcula.css instead.
4 | */
5 | 
6 | @import url('darcula.css');
7 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/default.css:
--------------------------------------------------------------------------------
  1 | /*
  2 | 
  3 | Original highlight.js style (c) Ivan Sagalaev 
  4 | 
  5 | */
  6 | 
  7 | .hljs {
  8 |   display: block;
  9 |   overflow-x: auto;
 10 |   padding: 0.5em;
 11 |   background: #F0F0F0;
 12 | }
 13 | 
 14 | 
 15 | /* Base color: saturation 0; */
 16 | 
 17 | .hljs,
 18 | .hljs-subst {
 19 |   color: #444;
 20 | }
 21 | 
 22 | .hljs-comment {
 23 |   color: #888888;
 24 | }
 25 | 
 26 | .hljs-keyword,
 27 | .hljs-attribute,
 28 | .hljs-selector-tag,
 29 | .hljs-meta-keyword,
 30 | .hljs-doctag,
 31 | .hljs-name {
 32 |   font-weight: bold;
 33 | }
 34 | 
 35 | 
 36 | /* User color: hue: 0 */
 37 | 
 38 | .hljs-type,
 39 | .hljs-string,
 40 | .hljs-number,
 41 | .hljs-selector-id,
 42 | .hljs-selector-class,
 43 | .hljs-quote,
 44 | .hljs-template-tag,
 45 | .hljs-deletion {
 46 |   color: #880000;
 47 | }
 48 | 
 49 | .hljs-title,
 50 | .hljs-section {
 51 |   color: #880000;
 52 |   font-weight: bold;
 53 | }
 54 | 
 55 | .hljs-regexp,
 56 | .hljs-symbol,
 57 | .hljs-variable,
 58 | .hljs-template-variable,
 59 | .hljs-link,
 60 | .hljs-selector-attr,
 61 | .hljs-selector-pseudo {
 62 |   color: #BC6060;
 63 | }
 64 | 
 65 | 
 66 | /* Language color: hue: 90; */
 67 | 
 68 | .hljs-literal {
 69 |   color: #78A960;
 70 | }
 71 | 
 72 | .hljs-built_in,
 73 | .hljs-bullet,
 74 | .hljs-code,
 75 | .hljs-addition {
 76 |   color: #397300;
 77 | }
 78 | 
 79 | 
 80 | /* Meta color: hue: 200 */
 81 | 
 82 | .hljs-meta {
 83 |   color: #1f7199;
 84 | }
 85 | 
 86 | .hljs-meta-string {
 87 |   color: #4d99bf;
 88 | }
 89 | 
 90 | 
 91 | /* Misc effects */
 92 | 
 93 | .hljs-emphasis {
 94 |   font-style: italic;
 95 | }
 96 | 
 97 | .hljs-strong {
 98 |   font-weight: bold;
 99 | }
100 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/docco.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | Docco style used in http://jashkenas.github.com/docco/ converted by Simon Madine (@thingsinjars)
 3 | */
 4 | 
 5 | .hljs {
 6 |   display: block;
 7 |   overflow-x: auto;
 8 |   padding: 0.5em;
 9 |   color: #000;
10 |   background: #f8f8ff;
11 | }
12 | 
13 | .hljs-comment,
14 | .hljs-quote {
15 |   color: #408080;
16 |   font-style: italic;
17 | }
18 | 
19 | .hljs-keyword,
20 | .hljs-selector-tag,
21 | .hljs-literal,
22 | .hljs-subst {
23 |   color: #954121;
24 | }
25 | 
26 | .hljs-number {
27 |   color: #40a070;
28 | }
29 | 
30 | .hljs-string,
31 | .hljs-doctag {
32 |   color: #219161;
33 | }
34 | 
35 | .hljs-selector-id,
36 | .hljs-selector-class,
37 | .hljs-section,
38 | .hljs-type {
39 |   color: #19469d;
40 | }
41 | 
42 | .hljs-params {
43 |   color: #00f;
44 | }
45 | 
46 | .hljs-title {
47 |   color: #458;
48 |   font-weight: bold;
49 | }
50 | 
51 | .hljs-tag,
52 | .hljs-name,
53 | .hljs-attribute {
54 |   color: #000080;
55 |   font-weight: normal;
56 | }
57 | 
58 | .hljs-variable,
59 | .hljs-template-variable {
60 |   color: #008080;
61 | }
62 | 
63 | .hljs-regexp,
64 | .hljs-link {
65 |   color: #b68;
66 | }
67 | 
68 | .hljs-symbol,
69 | .hljs-bullet {
70 |   color: #990073;
71 | }
72 | 
73 | .hljs-built_in,
74 | .hljs-builtin-name {
75 |   color: #0086b3;
76 | }
77 | 
78 | .hljs-meta {
79 |   color: #999;
80 |   font-weight: bold;
81 | }
82 | 
83 | .hljs-deletion {
84 |   background: #fdd;
85 | }
86 | 
87 | .hljs-addition {
88 |   background: #dfd;
89 | }
90 | 
91 | .hljs-emphasis {
92 |   font-style: italic;
93 | }
94 | 
95 | .hljs-strong {
96 |   font-weight: bold;
97 | }
98 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/dracula.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Dracula Theme v1.2.0
 4 | 
 5 | https://github.com/zenorocha/dracula-theme
 6 | 
 7 | Copyright 2015, All rights reserved
 8 | 
 9 | Code licensed under the MIT license
10 | http://zenorocha.mit-license.org
11 | 
12 | @author Éverton Ribeiro 
13 | @author Zeno Rocha 
14 | 
15 | */
16 | 
17 | .hljs {
18 |   display: block;
19 |   overflow-x: auto;
20 |   padding: 0.5em;
21 |   background: #282a36;
22 | }
23 | 
24 | .hljs-keyword,
25 | .hljs-selector-tag,
26 | .hljs-literal,
27 | .hljs-section,
28 | .hljs-link {
29 |   color: #8be9fd;
30 | }
31 | 
32 | .hljs-function .hljs-keyword {
33 |   color: #ff79c6;
34 | }
35 | 
36 | .hljs,
37 | .hljs-subst {
38 |   color: #f8f8f2;
39 | }
40 | 
41 | .hljs-string,
42 | .hljs-title,
43 | .hljs-name,
44 | .hljs-type,
45 | .hljs-attribute,
46 | .hljs-symbol,
47 | .hljs-bullet,
48 | .hljs-addition,
49 | .hljs-variable,
50 | .hljs-template-tag,
51 | .hljs-template-variable {
52 |   color: #f1fa8c;
53 | }
54 | 
55 | .hljs-comment,
56 | .hljs-quote,
57 | .hljs-deletion,
58 | .hljs-meta {
59 |   color: #6272a4;
60 | }
61 | 
62 | .hljs-keyword,
63 | .hljs-selector-tag,
64 | .hljs-literal,
65 | .hljs-title,
66 | .hljs-section,
67 | .hljs-doctag,
68 | .hljs-type,
69 | .hljs-name,
70 | .hljs-strong {
71 |   font-weight: bold;
72 | }
73 | 
74 | .hljs-emphasis {
75 |   font-style: italic;
76 | }
77 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/far.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | FAR Style (c) MajestiC 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: #000080;
12 | }
13 | 
14 | .hljs,
15 | .hljs-subst {
16 |   color: #0ff;
17 | }
18 | 
19 | .hljs-string,
20 | .hljs-attribute,
21 | .hljs-symbol,
22 | .hljs-bullet,
23 | .hljs-built_in,
24 | .hljs-builtin-name,
25 | .hljs-template-tag,
26 | .hljs-template-variable,
27 | .hljs-addition {
28 |   color: #ff0;
29 | }
30 | 
31 | .hljs-keyword,
32 | .hljs-selector-tag,
33 | .hljs-section,
34 | .hljs-type,
35 | .hljs-name,
36 | .hljs-selector-id,
37 | .hljs-selector-class,
38 | .hljs-variable {
39 |   color: #fff;
40 | }
41 | 
42 | .hljs-comment,
43 | .hljs-quote,
44 | .hljs-doctag,
45 | .hljs-deletion {
46 |   color: #888;
47 | }
48 | 
49 | .hljs-number,
50 | .hljs-regexp,
51 | .hljs-literal,
52 | .hljs-link {
53 |   color: #0f0;
54 | }
55 | 
56 | .hljs-meta {
57 |   color: #008080;
58 | }
59 | 
60 | .hljs-keyword,
61 | .hljs-selector-tag,
62 | .hljs-title,
63 | .hljs-section,
64 | .hljs-name,
65 | .hljs-strong {
66 |   font-weight: bold;
67 | }
68 | 
69 | .hljs-emphasis {
70 |   font-style: italic;
71 | }
72 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/foundation.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | Description: Foundation 4 docs style for highlight.js
 3 | Author: Dan Allen 
 4 | Website: http://foundation.zurb.com/docs/
 5 | Version: 1.0
 6 | Date: 2013-04-02
 7 | */
 8 | 
 9 | .hljs {
10 |   display: block;
11 |   overflow-x: auto;
12 |   padding: 0.5em;
13 |   background: #eee; color: black;
14 | }
15 | 
16 | .hljs-link,
17 | .hljs-emphasis,
18 | .hljs-attribute,
19 | .hljs-addition {
20 |   color: #070;
21 | }
22 | 
23 | .hljs-emphasis {
24 |   font-style: italic;
25 | }
26 | 
27 | .hljs-strong,
28 | .hljs-string,
29 | .hljs-deletion {
30 |   color: #d14;
31 | }
32 | 
33 | .hljs-strong {
34 |   font-weight: bold;
35 | }
36 | 
37 | .hljs-quote,
38 | .hljs-comment {
39 |   color: #998;
40 |   font-style: italic;
41 | }
42 | 
43 | .hljs-section,
44 | .hljs-title {
45 |   color: #900;
46 | }
47 | 
48 | .hljs-class .hljs-title,
49 | .hljs-type {
50 |   color: #458;
51 | }
52 | 
53 | .hljs-variable,
54 | .hljs-template-variable {
55 |   color: #336699;
56 | }
57 | 
58 | .hljs-bullet {
59 |   color: #997700;
60 | }
61 | 
62 | .hljs-meta {
63 |   color: #3344bb;
64 | }
65 | 
66 | .hljs-code,
67 | .hljs-number,
68 | .hljs-literal,
69 | .hljs-keyword,
70 | .hljs-selector-tag {
71 |   color: #099;
72 | }
73 | 
74 | .hljs-regexp {
75 |   background-color: #fff0ff;
76 |   color: #880088;
77 | }
78 | 
79 | .hljs-symbol {
80 |   color: #990073;
81 | }
82 | 
83 | .hljs-tag,
84 | .hljs-name,
85 | .hljs-selector-id,
86 | .hljs-selector-class {
87 |   color: #007700;
88 | }
89 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/github-gist.css:
--------------------------------------------------------------------------------
 1 | /**
 2 |  * GitHub Gist Theme
 3 |  * Author : Louis Barranqueiro - https://github.com/LouisBarranqueiro
 4 |  */
 5 | 
 6 | .hljs {
 7 |   display: block;
 8 |   background: white;
 9 |   padding: 0.5em;
10 |   color: #333333;
11 |   overflow-x: auto;
12 | }
13 | 
14 | .hljs-comment,
15 | .hljs-meta {
16 |   color: #969896;
17 | }
18 | 
19 | .hljs-string,
20 | .hljs-variable,
21 | .hljs-template-variable,
22 | .hljs-strong,
23 | .hljs-emphasis,
24 | .hljs-quote {
25 |   color: #df5000;
26 | }
27 | 
28 | .hljs-keyword,
29 | .hljs-selector-tag,
30 | .hljs-type {
31 |   color: #a71d5d;
32 | }
33 | 
34 | .hljs-literal,
35 | .hljs-symbol,
36 | .hljs-bullet,
37 | .hljs-attribute {
38 |   color: #0086b3;
39 | }
40 | 
41 | .hljs-section,
42 | .hljs-name {
43 |   color: #63a35c;
44 | }
45 | 
46 | .hljs-tag {
47 |   color: #333333;
48 | }
49 | 
50 | .hljs-title,
51 | .hljs-attr,
52 | .hljs-selector-id,
53 | .hljs-selector-class,
54 | .hljs-selector-attr,
55 | .hljs-selector-pseudo {
56 |   color: #795da3;
57 | }
58 | 
59 | .hljs-addition {
60 |   color: #55a532;
61 |   background-color: #eaffea;
62 | }
63 | 
64 | .hljs-deletion {
65 |   color: #bd2c00;
66 |   background-color: #ffecec;
67 | }
68 | 
69 | .hljs-link {
70 |   text-decoration: underline;
71 | }
72 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/github.css:
--------------------------------------------------------------------------------
  1 | /*
  2 | 
  3 | github.com style (c) Vasily Polovnyov 
  4 | 
  5 | */
  6 | 
  7 | .hljs {
  8 |   display: block;
  9 |   overflow-x: auto;
 10 |   padding: 0.5em;
 11 |   color: #333;
 12 |   background: #f8f8f8;
 13 | }
 14 | 
 15 | .hljs-comment,
 16 | .hljs-quote {
 17 |   color: #998;
 18 |   font-style: italic;
 19 | }
 20 | 
 21 | .hljs-keyword,
 22 | .hljs-selector-tag,
 23 | .hljs-subst {
 24 |   color: #333;
 25 |   font-weight: bold;
 26 | }
 27 | 
 28 | .hljs-number,
 29 | .hljs-literal,
 30 | .hljs-variable,
 31 | .hljs-template-variable,
 32 | .hljs-tag .hljs-attr {
 33 |   color: #008080;
 34 | }
 35 | 
 36 | .hljs-string,
 37 | .hljs-doctag {
 38 |   color: #d14;
 39 | }
 40 | 
 41 | .hljs-title,
 42 | .hljs-section,
 43 | .hljs-selector-id {
 44 |   color: #900;
 45 |   font-weight: bold;
 46 | }
 47 | 
 48 | .hljs-subst {
 49 |   font-weight: normal;
 50 | }
 51 | 
 52 | .hljs-type,
 53 | .hljs-class .hljs-title {
 54 |   color: #458;
 55 |   font-weight: bold;
 56 | }
 57 | 
 58 | .hljs-tag,
 59 | .hljs-name,
 60 | .hljs-attribute {
 61 |   color: #000080;
 62 |   font-weight: normal;
 63 | }
 64 | 
 65 | .hljs-regexp,
 66 | .hljs-link {
 67 |   color: #009926;
 68 | }
 69 | 
 70 | .hljs-symbol,
 71 | .hljs-bullet {
 72 |   color: #990073;
 73 | }
 74 | 
 75 | .hljs-built_in,
 76 | .hljs-builtin-name {
 77 |   color: #0086b3;
 78 | }
 79 | 
 80 | .hljs-meta {
 81 |   color: #999;
 82 |   font-weight: bold;
 83 | }
 84 | 
 85 | .hljs-deletion {
 86 |   background: #fdd;
 87 | }
 88 | 
 89 | .hljs-addition {
 90 |   background: #dfd;
 91 | }
 92 | 
 93 | .hljs-emphasis {
 94 |   font-style: italic;
 95 | }
 96 | 
 97 | .hljs-strong {
 98 |   font-weight: bold;
 99 | }
100 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/googlecode.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Google Code style (c) Aahan Krish 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: white;
12 |   color: black;
13 | }
14 | 
15 | .hljs-comment,
16 | .hljs-quote {
17 |   color: #800;
18 | }
19 | 
20 | .hljs-keyword,
21 | .hljs-selector-tag,
22 | .hljs-section,
23 | .hljs-title,
24 | .hljs-name {
25 |   color: #008;
26 | }
27 | 
28 | .hljs-variable,
29 | .hljs-template-variable {
30 |   color: #660;
31 | }
32 | 
33 | .hljs-string,
34 | .hljs-selector-attr,
35 | .hljs-selector-pseudo,
36 | .hljs-regexp {
37 |   color: #080;
38 | }
39 | 
40 | .hljs-literal,
41 | .hljs-symbol,
42 | .hljs-bullet,
43 | .hljs-meta,
44 | .hljs-number,
45 | .hljs-link {
46 |   color: #066;
47 | }
48 | 
49 | .hljs-title,
50 | .hljs-doctag,
51 | .hljs-type,
52 | .hljs-attr,
53 | .hljs-built_in,
54 | .hljs-builtin-name,
55 | .hljs-params {
56 |   color: #606;
57 | }
58 | 
59 | .hljs-attribute,
60 | .hljs-subst {
61 |   color: #000;
62 | }
63 | 
64 | .hljs-formula {
65 |   background-color: #eee;
66 |   font-style: italic;
67 | }
68 | 
69 | .hljs-selector-id,
70 | .hljs-selector-class {
71 |   color: #9B703F
72 | }
73 | 
74 | .hljs-addition {
75 |   background-color: #baeeba;
76 | }
77 | 
78 | .hljs-deletion {
79 |   background-color: #ffc8bd;
80 | }
81 | 
82 | .hljs-doctag,
83 | .hljs-strong {
84 |   font-weight: bold;
85 | }
86 | 
87 | .hljs-emphasis {
88 |   font-style: italic;
89 | }
90 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/grayscale.css:
--------------------------------------------------------------------------------
  1 | /*
  2 | 
  3 | grayscale style (c) MY Sun 
  4 | 
  5 | */
  6 | 
  7 | .hljs {
  8 |   display: block;
  9 |   overflow-x: auto;
 10 |   padding: 0.5em;
 11 |   color: #333;
 12 |   background: #fff;
 13 | }
 14 | 
 15 | .hljs-comment,
 16 | .hljs-quote {
 17 |   color: #777;
 18 |   font-style: italic;
 19 | }
 20 | 
 21 | .hljs-keyword,
 22 | .hljs-selector-tag,
 23 | .hljs-subst {
 24 |   color: #333;
 25 |   font-weight: bold;
 26 | }
 27 | 
 28 | .hljs-number,
 29 | .hljs-literal {
 30 |   color: #777;
 31 | }
 32 | 
 33 | .hljs-string,
 34 | .hljs-doctag,
 35 | .hljs-formula {
 36 |   color: #333;
 37 |   background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAAECAYAAACp8Z5+AAAAJ0lEQVQIW2O8e/fufwYGBgZBQUEQxcCIIfDu3Tuwivfv30NUoAsAALHpFMMLqZlPAAAAAElFTkSuQmCC) repeat;
 38 | }
 39 | 
 40 | .hljs-title,
 41 | .hljs-section,
 42 | .hljs-selector-id {
 43 |   color: #000;
 44 |   font-weight: bold;
 45 | }
 46 | 
 47 | .hljs-subst {
 48 |   font-weight: normal;
 49 | }
 50 | 
 51 | .hljs-class .hljs-title,
 52 | .hljs-type,
 53 | .hljs-name {
 54 |   color: #333;
 55 |   font-weight: bold;
 56 | }
 57 | 
 58 | .hljs-tag {
 59 |   color: #333;
 60 | }
 61 | 
 62 | .hljs-regexp {
 63 |     color: #333;
 64 |     background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAoAAAAICAYAAADA+m62AAAAPUlEQVQYV2NkQAN37979r6yszIgujiIAU4RNMVwhuiQ6H6wQl3XI4oy4FMHcCJPHcDS6J2A2EqUQpJhohQDexSef15DBCwAAAABJRU5ErkJggg==) repeat;
 65 | }
 66 | 
 67 | .hljs-symbol,
 68 | .hljs-bullet,
 69 | .hljs-link {
 70 |   color: #000;
 71 |   background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAUAAAAFCAYAAACNbyblAAAAKElEQVQIW2NkQAO7d+/+z4gsBhJwdXVlhAvCBECKwIIwAbhKZBUwBQA6hBpm5efZsgAAAABJRU5ErkJggg==) repeat;
 72 | }
 73 | 
 74 | .hljs-built_in,
 75 | .hljs-builtin-name {
 76 |   color: #000;
 77 |   text-decoration: underline;
 78 | }
 79 | 
 80 | .hljs-meta {
 81 |   color: #999;
 82 |   font-weight: bold;
 83 | }
 84 | 
 85 | .hljs-deletion {
 86 |   color: #fff;
 87 |   background:url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAADCAYAAABS3WWCAAAAE0lEQVQIW2MMDQ39zzhz5kwIAQAyxweWgUHd1AAAAABJRU5ErkJggg==) repeat;
 88 | }
 89 | 
 90 | .hljs-addition {
 91 |   color: #000;
 92 |   background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAkAAAAJCAYAAADgkQYQAAAALUlEQVQYV2N89+7dfwYk8P79ewZBQUFkIQZGOiu6e/cuiptQHAPl0NtNxAQBAM97Oejj3Dg7AAAAAElFTkSuQmCC) repeat;
 93 | }
 94 | 
 95 | .hljs-emphasis {
 96 |   font-style: italic;
 97 | }
 98 | 
 99 | .hljs-strong {
100 |   font-weight: bold;
101 | }
102 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/gruvbox-dark.css:
--------------------------------------------------------------------------------
  1 | /*
  2 | 
  3 | Gruvbox style (dark) (c) Pavel Pertsev (original style at https://github.com/morhetz/gruvbox)
  4 | 
  5 | */
  6 | 
  7 | .hljs {
  8 |   display: block;
  9 |   overflow-x: auto;
 10 |   padding: 0.5em;
 11 |   background: #282828;
 12 | }
 13 | 
 14 | .hljs,
 15 | .hljs-subst {
 16 |   color: #ebdbb2;
 17 | }
 18 | 
 19 | /* Gruvbox Red */
 20 | .hljs-deletion,
 21 | .hljs-formula,
 22 | .hljs-keyword,
 23 | .hljs-link,
 24 | .hljs-selector-tag {
 25 |   color: #fb4934;
 26 | }
 27 | 
 28 | /* Gruvbox Blue */
 29 | .hljs-built_in,
 30 | .hljs-emphasis,
 31 | .hljs-name,
 32 | .hljs-quote,
 33 | .hljs-strong,
 34 | .hljs-title,
 35 | .hljs-variable {
 36 |   color: #83a598;
 37 | }
 38 | 
 39 | /* Gruvbox Yellow */
 40 | .hljs-attr,
 41 | .hljs-params,
 42 | .hljs-template-tag,
 43 | .hljs-type {
 44 |   color: #fabd2f;
 45 | }
 46 | 
 47 | /* Gruvbox Purple */
 48 | .hljs-builtin-name,
 49 | .hljs-doctag,
 50 | .hljs-literal,
 51 | .hljs-number {
 52 |   color: #8f3f71;
 53 | }
 54 | 
 55 | /* Gruvbox Orange */
 56 | .hljs-code,
 57 | .hljs-meta,
 58 | .hljs-regexp,
 59 | .hljs-selector-id,
 60 | .hljs-template-variable {
 61 |   color: #fe8019;
 62 | }
 63 | 
 64 | /* Gruvbox Green */
 65 | .hljs-addition,
 66 | .hljs-meta-string,
 67 | .hljs-section,
 68 | .hljs-selector-attr,
 69 | .hljs-selector-class,
 70 | .hljs-string,
 71 | .hljs-symbol {
 72 |   color: #b8bb26;
 73 | }
 74 | 
 75 | /* Gruvbox Aqua */
 76 | .hljs-attribute,
 77 | .hljs-bullet,
 78 | .hljs-class,
 79 | .hljs-function,
 80 | .hljs-function .hljs-keyword,
 81 | .hljs-meta-keyword,
 82 | .hljs-selector-pseudo,
 83 | .hljs-tag {
 84 |   color: #8ec07c;
 85 | }
 86 | 
 87 | /* Gruvbox Gray */
 88 | .hljs-comment {
 89 |   color: #928374;
 90 | }
 91 | 
 92 | /* Gruvbox Purple */
 93 | .hljs-link_label,
 94 | .hljs-literal,
 95 | .hljs-number {
 96 |   color: #d3869b;
 97 | }
 98 | 
 99 | .hljs-comment,
100 | .hljs-emphasis {
101 |   font-style: italic;
102 | }
103 | 
104 | .hljs-section,
105 | .hljs-strong,
106 | .hljs-tag {
107 |   font-weight: bold;
108 | }
109 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/gruvbox-light.css:
--------------------------------------------------------------------------------
  1 | /*
  2 | 
  3 | Gruvbox style (light) (c) Pavel Pertsev (original style at https://github.com/morhetz/gruvbox)
  4 | 
  5 | */
  6 | 
  7 | .hljs {
  8 |   display: block;
  9 |   overflow-x: auto;
 10 |   padding: 0.5em;
 11 |   background: #fbf1c7;
 12 | }
 13 | 
 14 | .hljs,
 15 | .hljs-subst {
 16 |   color: #3c3836;
 17 | }
 18 | 
 19 | /* Gruvbox Red */
 20 | .hljs-deletion,
 21 | .hljs-formula,
 22 | .hljs-keyword,
 23 | .hljs-link,
 24 | .hljs-selector-tag {
 25 |   color: #9d0006;
 26 | }
 27 | 
 28 | /* Gruvbox Blue */
 29 | .hljs-built_in,
 30 | .hljs-emphasis,
 31 | .hljs-name,
 32 | .hljs-quote,
 33 | .hljs-strong,
 34 | .hljs-title,
 35 | .hljs-variable {
 36 |   color: #076678;
 37 | }
 38 | 
 39 | /* Gruvbox Yellow */
 40 | .hljs-attr,
 41 | .hljs-params,
 42 | .hljs-template-tag,
 43 | .hljs-type {
 44 |   color: #b57614;
 45 | }
 46 | 
 47 | /* Gruvbox Purple */
 48 | .hljs-builtin-name,
 49 | .hljs-doctag,
 50 | .hljs-literal,
 51 | .hljs-number {
 52 |   color: #8f3f71;
 53 | }
 54 | 
 55 | /* Gruvbox Orange */
 56 | .hljs-code,
 57 | .hljs-meta,
 58 | .hljs-regexp,
 59 | .hljs-selector-id,
 60 | .hljs-template-variable {
 61 |   color: #af3a03;
 62 | }
 63 | 
 64 | /* Gruvbox Green */
 65 | .hljs-addition,
 66 | .hljs-meta-string,
 67 | .hljs-section,
 68 | .hljs-selector-attr,
 69 | .hljs-selector-class,
 70 | .hljs-string,
 71 | .hljs-symbol {
 72 |   color: #79740e;
 73 | }
 74 | 
 75 | /* Gruvbox Aqua */
 76 | .hljs-attribute,
 77 | .hljs-bullet,
 78 | .hljs-class,
 79 | .hljs-function,
 80 | .hljs-function .hljs-keyword,
 81 | .hljs-meta-keyword,
 82 | .hljs-selector-pseudo,
 83 | .hljs-tag {
 84 |   color: #427b58;
 85 | }
 86 | 
 87 | /* Gruvbox Gray */
 88 | .hljs-comment {
 89 |   color: #928374;
 90 | }
 91 | 
 92 | /* Gruvbox Purple */
 93 | .hljs-link_label,
 94 | .hljs-literal,
 95 | .hljs-number {
 96 |   color: #8f3f71;
 97 | }
 98 | 
 99 | .hljs-comment,
100 | .hljs-emphasis {
101 |   font-style: italic;
102 | }
103 | 
104 | .hljs-section,
105 | .hljs-strong,
106 | .hljs-tag {
107 |   font-weight: bold;
108 | }
109 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/hopscotch.css:
--------------------------------------------------------------------------------
 1 | /*
 2 |  * Hopscotch
 3 |  * by Jan T. Sott
 4 |  * https://github.com/idleberg/Hopscotch
 5 |  *
 6 |  * This work is licensed under the Creative Commons CC0 1.0 Universal License
 7 |  */
 8 | 
 9 | /* Comment */
10 | .hljs-comment,
11 | .hljs-quote {
12 |   color: #989498;
13 | }
14 | 
15 | /* Red */
16 | .hljs-variable,
17 | .hljs-template-variable,
18 | .hljs-attribute,
19 | .hljs-tag,
20 | .hljs-name,
21 | .hljs-selector-id,
22 | .hljs-selector-class,
23 | .hljs-regexp,
24 | .hljs-link,
25 | .hljs-deletion {
26 |   color: #dd464c;
27 | }
28 | 
29 | /* Orange */
30 | .hljs-number,
31 | .hljs-built_in,
32 | .hljs-builtin-name,
33 | .hljs-literal,
34 | .hljs-type,
35 | .hljs-params {
36 |   color: #fd8b19;
37 | }
38 | 
39 | /* Yellow */
40 | .hljs-class .hljs-title {
41 |   color: #fdcc59;
42 | }
43 | 
44 | /* Green */
45 | .hljs-string,
46 | .hljs-symbol,
47 | .hljs-bullet,
48 | .hljs-addition {
49 |   color: #8fc13e;
50 | }
51 | 
52 | /* Aqua */
53 | .hljs-meta {
54 |   color: #149b93;
55 | }
56 | 
57 | /* Blue */
58 | .hljs-function,
59 | .hljs-section,
60 | .hljs-title {
61 |   color: #1290bf;
62 | }
63 | 
64 | /* Purple */
65 | .hljs-keyword,
66 | .hljs-selector-tag {
67 |   color: #c85e7c;
68 | }
69 | 
70 | .hljs {
71 |   display: block;
72 |   background: #322931;
73 |   color: #b9b5b8;
74 |   padding: 0.5em;
75 | }
76 | 
77 | .hljs-emphasis {
78 |   font-style: italic;
79 | }
80 | 
81 | .hljs-strong {
82 |   font-weight: bold;
83 | }
84 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/hybrid.css:
--------------------------------------------------------------------------------
  1 | /*
  2 | 
  3 | vim-hybrid theme by w0ng (https://github.com/w0ng/vim-hybrid)
  4 | 
  5 | */
  6 | 
  7 | /*background color*/
  8 | .hljs {
  9 |   display: block;
 10 |   overflow-x: auto;
 11 |   padding: 0.5em;
 12 |   background: #1d1f21;
 13 | }
 14 | 
 15 | /*selection color*/
 16 | .hljs::selection,
 17 | .hljs span::selection {
 18 |   background: #373b41;
 19 | }
 20 | 
 21 | .hljs::-moz-selection,
 22 | .hljs span::-moz-selection {
 23 |   background: #373b41;
 24 | }
 25 | 
 26 | /*foreground color*/
 27 | .hljs {
 28 |   color: #c5c8c6;
 29 | }
 30 | 
 31 | /*color: fg_yellow*/
 32 | .hljs-title,
 33 | .hljs-name {
 34 |   color: #f0c674;
 35 | }
 36 | 
 37 | /*color: fg_comment*/
 38 | .hljs-comment,
 39 | .hljs-meta,
 40 | .hljs-meta .hljs-keyword {
 41 |   color: #707880;
 42 | }
 43 | 
 44 | /*color: fg_red*/
 45 | .hljs-number,
 46 | .hljs-symbol,
 47 | .hljs-literal,
 48 | .hljs-deletion,
 49 | .hljs-link {
 50 |  color: #cc6666
 51 | }
 52 | 
 53 | /*color: fg_green*/
 54 | .hljs-string,
 55 | .hljs-doctag,
 56 | .hljs-addition,
 57 | .hljs-regexp,
 58 | .hljs-selector-attr,
 59 | .hljs-selector-pseudo {
 60 |   color: #b5bd68;
 61 | }
 62 | 
 63 | /*color: fg_purple*/
 64 | .hljs-attribute,
 65 | .hljs-code,
 66 | .hljs-selector-id {
 67 |  color: #b294bb;
 68 | }
 69 | 
 70 | /*color: fg_blue*/
 71 | .hljs-keyword,
 72 | .hljs-selector-tag,
 73 | .hljs-bullet,
 74 | .hljs-tag {
 75 |  color: #81a2be;
 76 | }
 77 | 
 78 | /*color: fg_aqua*/
 79 | .hljs-subst,
 80 | .hljs-variable,
 81 | .hljs-template-tag,
 82 | .hljs-template-variable {
 83 |   color: #8abeb7;
 84 | }
 85 | 
 86 | /*color: fg_orange*/
 87 | .hljs-type,
 88 | .hljs-built_in,
 89 | .hljs-builtin-name,
 90 | .hljs-quote,
 91 | .hljs-section,
 92 | .hljs-selector-class {
 93 |   color: #de935f;
 94 | }
 95 | 
 96 | .hljs-emphasis {
 97 |   font-style: italic;
 98 | }
 99 | 
100 | .hljs-strong {
101 |   font-weight: bold;
102 | }
103 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/idea.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Intellij Idea-like styling (c) Vasily Polovnyov 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   color: #000;
12 |   background: #fff;
13 | }
14 | 
15 | .hljs-subst,
16 | .hljs-title {
17 |   font-weight: normal;
18 |   color: #000;
19 | }
20 | 
21 | .hljs-comment,
22 | .hljs-quote {
23 |   color: #808080;
24 |   font-style: italic;
25 | }
26 | 
27 | .hljs-meta {
28 |   color: #808000;
29 | }
30 | 
31 | .hljs-tag {
32 |   background: #efefef;
33 | }
34 | 
35 | .hljs-section,
36 | .hljs-name,
37 | .hljs-literal,
38 | .hljs-keyword,
39 | .hljs-selector-tag,
40 | .hljs-type,
41 | .hljs-selector-id,
42 | .hljs-selector-class {
43 |   font-weight: bold;
44 |   color: #000080;
45 | }
46 | 
47 | .hljs-attribute,
48 | .hljs-number,
49 | .hljs-regexp,
50 | .hljs-link {
51 |   font-weight: bold;
52 |   color: #0000ff;
53 | }
54 | 
55 | .hljs-number,
56 | .hljs-regexp,
57 | .hljs-link {
58 |   font-weight: normal;
59 | }
60 | 
61 | .hljs-string {
62 |   color: #008000;
63 |   font-weight: bold;
64 | }
65 | 
66 | .hljs-symbol,
67 | .hljs-bullet,
68 | .hljs-formula {
69 |   color: #000;
70 |   background: #d0eded;
71 |   font-style: italic;
72 | }
73 | 
74 | .hljs-doctag {
75 |   text-decoration: underline;
76 | }
77 | 
78 | .hljs-variable,
79 | .hljs-template-variable {
80 |   color: #660e7a;
81 | }
82 | 
83 | .hljs-addition {
84 |   background: #baeeba;
85 | }
86 | 
87 | .hljs-deletion {
88 |   background: #ffc8bd;
89 | }
90 | 
91 | .hljs-emphasis {
92 |   font-style: italic;
93 | }
94 | 
95 | .hljs-strong {
96 |   font-weight: bold;
97 | }
98 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/ir-black.css:
--------------------------------------------------------------------------------
 1 | /*
 2 |   IR_Black style (c) Vasily Mikhailitchenko 
 3 | */
 4 | 
 5 | .hljs {
 6 |   display: block;
 7 |   overflow-x: auto;
 8 |   padding: 0.5em;
 9 |   background: #000;
10 |   color: #f8f8f8;
11 | }
12 | 
13 | .hljs-comment,
14 | .hljs-quote,
15 | .hljs-meta {
16 |   color: #7c7c7c;
17 | }
18 | 
19 | .hljs-keyword,
20 | .hljs-selector-tag,
21 | .hljs-tag,
22 | .hljs-name {
23 |   color: #96cbfe;
24 | }
25 | 
26 | .hljs-attribute,
27 | .hljs-selector-id {
28 |   color: #ffffb6;
29 | }
30 | 
31 | .hljs-string,
32 | .hljs-selector-attr,
33 | .hljs-selector-pseudo,
34 | .hljs-addition {
35 |   color: #a8ff60;
36 | }
37 | 
38 | .hljs-subst {
39 |   color: #daefa3;
40 | }
41 | 
42 | .hljs-regexp,
43 | .hljs-link {
44 |   color: #e9c062;
45 | }
46 | 
47 | .hljs-title,
48 | .hljs-section,
49 | .hljs-type,
50 | .hljs-doctag {
51 |   color: #ffffb6;
52 | }
53 | 
54 | .hljs-symbol,
55 | .hljs-bullet,
56 | .hljs-variable,
57 | .hljs-template-variable,
58 | .hljs-literal {
59 |   color: #c6c5fe;
60 | }
61 | 
62 | .hljs-number,
63 | .hljs-deletion {
64 |   color:#ff73fd;
65 | }
66 | 
67 | .hljs-emphasis {
68 |   font-style: italic;
69 | }
70 | 
71 | .hljs-strong {
72 |   font-weight: bold;
73 | }
74 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/kimbie.dark.css:
--------------------------------------------------------------------------------
 1 | /*
 2 |     Name:     Kimbie (dark)
 3 |     Author:   Jan T. Sott
 4 |     License:  Creative Commons Attribution-ShareAlike 4.0 Unported License
 5 |     URL:      https://github.com/idleberg/Kimbie-highlight.js
 6 | */
 7 | 
 8 | /* Kimbie Comment */
 9 | .hljs-comment,
10 | .hljs-quote {
11 |   color: #d6baad;
12 | }
13 | 
14 | /* Kimbie Red */
15 | .hljs-variable,
16 | .hljs-template-variable,
17 | .hljs-tag,
18 | .hljs-name,
19 | .hljs-selector-id,
20 | .hljs-selector-class,
21 | .hljs-regexp,
22 | .hljs-meta {
23 |   color: #dc3958;
24 | }
25 | 
26 | /* Kimbie Orange */
27 | .hljs-number,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params,
33 | .hljs-deletion,
34 | .hljs-link {
35 |   color: #f79a32;
36 | }
37 | 
38 | /* Kimbie Yellow */
39 | .hljs-title,
40 | .hljs-section,
41 | .hljs-attribute {
42 |   color: #f06431;
43 | }
44 | 
45 | /* Kimbie Green */
46 | .hljs-string,
47 | .hljs-symbol,
48 | .hljs-bullet,
49 | .hljs-addition {
50 |   color: #889b4a;
51 | }
52 | 
53 | /* Kimbie Purple */
54 | .hljs-keyword,
55 | .hljs-selector-tag,
56 | .hljs-function {
57 |   color: #98676a;
58 | }
59 | 
60 | .hljs {
61 |   display: block;
62 |   overflow-x: auto;
63 |   background: #221a0f;
64 |   color: #d3af86;
65 |   padding: 0.5em;
66 | }
67 | 
68 | .hljs-emphasis {
69 |   font-style: italic;
70 | }
71 | 
72 | .hljs-strong {
73 |   font-weight: bold;
74 | }
75 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/kimbie.light.css:
--------------------------------------------------------------------------------
 1 | /*
 2 |     Name:     Kimbie (light)
 3 |     Author:   Jan T. Sott
 4 |     License:  Creative Commons Attribution-ShareAlike 4.0 Unported License
 5 |     URL:      https://github.com/idleberg/Kimbie-highlight.js
 6 | */
 7 | 
 8 | /* Kimbie Comment */
 9 | .hljs-comment,
10 | .hljs-quote {
11 |   color: #a57a4c;
12 | }
13 | 
14 | /* Kimbie Red */
15 | .hljs-variable,
16 | .hljs-template-variable,
17 | .hljs-tag,
18 | .hljs-name,
19 | .hljs-selector-id,
20 | .hljs-selector-class,
21 | .hljs-regexp,
22 | .hljs-meta {
23 |   color: #dc3958;
24 | }
25 | 
26 | /* Kimbie Orange */
27 | .hljs-number,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params,
33 | .hljs-deletion,
34 | .hljs-link {
35 |   color: #f79a32;
36 | }
37 | 
38 | /* Kimbie Yellow */
39 | .hljs-title,
40 | .hljs-section,
41 | .hljs-attribute {
42 |   color: #f06431;
43 | }
44 | 
45 | /* Kimbie Green */
46 | .hljs-string,
47 | .hljs-symbol,
48 | .hljs-bullet,
49 | .hljs-addition {
50 |   color: #889b4a;
51 | }
52 | 
53 | /* Kimbie Purple */
54 | .hljs-keyword,
55 | .hljs-selector-tag,
56 | .hljs-function {
57 |   color: #98676a;
58 | }
59 | 
60 | .hljs {
61 |   display: block;
62 |   overflow-x: auto;
63 |   background: #fbebd4;
64 |   color: #84613d;
65 |   padding: 0.5em;
66 | }
67 | 
68 | .hljs-emphasis {
69 |   font-style: italic;
70 | }
71 | 
72 | .hljs-strong {
73 |   font-weight: bold;
74 | }
75 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/magula.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | Description: Magula style for highligh.js
 3 | Author: Ruslan Keba 
 4 | Website: http://rukeba.com/
 5 | Version: 1.0
 6 | Date: 2009-01-03
 7 | Music: Aphex Twin / Xtal
 8 | */
 9 | 
10 | .hljs {
11 |   display: block;
12 |   overflow-x: auto;
13 |   padding: 0.5em;
14 |   background-color: #f4f4f4;
15 | }
16 | 
17 | .hljs,
18 | .hljs-subst {
19 |   color: black;
20 | }
21 | 
22 | .hljs-string,
23 | .hljs-title,
24 | .hljs-symbol,
25 | .hljs-bullet,
26 | .hljs-attribute,
27 | .hljs-addition,
28 | .hljs-variable,
29 | .hljs-template-tag,
30 | .hljs-template-variable {
31 |   color: #050;
32 | }
33 | 
34 | .hljs-comment,
35 | .hljs-quote {
36 |   color: #777;
37 | }
38 | 
39 | .hljs-number,
40 | .hljs-regexp,
41 | .hljs-literal,
42 | .hljs-type,
43 | .hljs-link {
44 |   color: #800;
45 | }
46 | 
47 | .hljs-deletion,
48 | .hljs-meta {
49 |   color: #00e;
50 | }
51 | 
52 | .hljs-keyword,
53 | .hljs-selector-tag,
54 | .hljs-doctag,
55 | .hljs-title,
56 | .hljs-section,
57 | .hljs-built_in,
58 | .hljs-tag,
59 | .hljs-name {
60 |   font-weight: bold;
61 |   color: navy;
62 | }
63 | 
64 | .hljs-emphasis {
65 |   font-style: italic;
66 | }
67 | 
68 | .hljs-strong {
69 |   font-weight: bold;
70 | }
71 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/mono-blue.css:
--------------------------------------------------------------------------------
 1 | /*
 2 |   Five-color theme from a single blue hue.
 3 | */
 4 | .hljs {
 5 |   display: block;
 6 |   overflow-x: auto;
 7 |   padding: 0.5em;
 8 |   background: #eaeef3;
 9 | }
10 | 
11 | .hljs {
12 |   color: #00193a;
13 | }
14 | 
15 | .hljs-keyword,
16 | .hljs-selector-tag,
17 | .hljs-title,
18 | .hljs-section,
19 | .hljs-doctag,
20 | .hljs-name,
21 | .hljs-strong {
22 |   font-weight: bold;
23 | }
24 | 
25 | .hljs-comment {
26 |   color: #738191;
27 | }
28 | 
29 | .hljs-string,
30 | .hljs-title,
31 | .hljs-section,
32 | .hljs-built_in,
33 | .hljs-literal,
34 | .hljs-type,
35 | .hljs-addition,
36 | .hljs-tag,
37 | .hljs-quote,
38 | .hljs-name,
39 | .hljs-selector-id,
40 | .hljs-selector-class {
41 |   color: #0048ab;
42 | }
43 | 
44 | .hljs-meta,
45 | .hljs-subst,
46 | .hljs-symbol,
47 | .hljs-regexp,
48 | .hljs-attribute,
49 | .hljs-deletion,
50 | .hljs-variable,
51 | .hljs-template-variable,
52 | .hljs-link,
53 | .hljs-bullet {
54 |   color: #4c81c9;
55 | }
56 | 
57 | .hljs-emphasis {
58 |   font-style: italic;
59 | }
60 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/monokai-sublime.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Monokai Sublime style. Derived from Monokai by noformnocontent http://nn.mit-license.org/
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: #23241f;
12 | }
13 | 
14 | .hljs,
15 | .hljs-tag,
16 | .hljs-subst {
17 |   color: #f8f8f2;
18 | }
19 | 
20 | .hljs-strong,
21 | .hljs-emphasis {
22 |   color: #a8a8a2;
23 | }
24 | 
25 | .hljs-bullet,
26 | .hljs-quote,
27 | .hljs-number,
28 | .hljs-regexp,
29 | .hljs-literal,
30 | .hljs-link {
31 |   color: #ae81ff;
32 | }
33 | 
34 | .hljs-code,
35 | .hljs-title,
36 | .hljs-section,
37 | .hljs-selector-class {
38 |   color: #a6e22e;
39 | }
40 | 
41 | .hljs-strong {
42 |   font-weight: bold;
43 | }
44 | 
45 | .hljs-emphasis {
46 |   font-style: italic;
47 | }
48 | 
49 | .hljs-keyword,
50 | .hljs-selector-tag,
51 | .hljs-name,
52 | .hljs-attr {
53 |   color: #f92672;
54 | }
55 | 
56 | .hljs-symbol,
57 | .hljs-attribute {
58 |   color: #66d9ef;
59 | }
60 | 
61 | .hljs-params,
62 | .hljs-class .hljs-title {
63 |   color: #f8f8f2;
64 | }
65 | 
66 | .hljs-string,
67 | .hljs-type,
68 | .hljs-built_in,
69 | .hljs-builtin-name,
70 | .hljs-selector-id,
71 | .hljs-selector-attr,
72 | .hljs-selector-pseudo,
73 | .hljs-addition,
74 | .hljs-variable,
75 | .hljs-template-variable {
76 |   color: #e6db74;
77 | }
78 | 
79 | .hljs-comment,
80 | .hljs-deletion,
81 | .hljs-meta {
82 |   color: #75715e;
83 | }
84 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/monokai.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | Monokai style - ported by Luigi Maselli - http://grigio.org
 3 | */
 4 | 
 5 | .hljs {
 6 |   display: block;
 7 |   overflow-x: auto;
 8 |   padding: 0.5em;
 9 |   background: #272822; color: #ddd;
10 | }
11 | 
12 | .hljs-tag,
13 | .hljs-keyword,
14 | .hljs-selector-tag,
15 | .hljs-literal,
16 | .hljs-strong,
17 | .hljs-name {
18 |   color: #f92672;
19 | }
20 | 
21 | .hljs-code {
22 |   color: #66d9ef;
23 | }
24 | 
25 | .hljs-class .hljs-title {
26 |   color: white;
27 | }
28 | 
29 | .hljs-attribute,
30 | .hljs-symbol,
31 | .hljs-regexp,
32 | .hljs-link {
33 |   color: #bf79db;
34 | }
35 | 
36 | .hljs-string,
37 | .hljs-bullet,
38 | .hljs-subst,
39 | .hljs-title,
40 | .hljs-section,
41 | .hljs-emphasis,
42 | .hljs-type,
43 | .hljs-built_in,
44 | .hljs-builtin-name,
45 | .hljs-selector-attr,
46 | .hljs-selector-pseudo,
47 | .hljs-addition,
48 | .hljs-variable,
49 | .hljs-template-tag,
50 | .hljs-template-variable {
51 |   color: #a6e22e;
52 | }
53 | 
54 | .hljs-comment,
55 | .hljs-quote,
56 | .hljs-deletion,
57 | .hljs-meta {
58 |   color: #75715e;
59 | }
60 | 
61 | .hljs-keyword,
62 | .hljs-selector-tag,
63 | .hljs-literal,
64 | .hljs-doctag,
65 | .hljs-title,
66 | .hljs-section,
67 | .hljs-type,
68 | .hljs-selector-id {
69 |   font-weight: bold;
70 | }
71 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/obsidian.css:
--------------------------------------------------------------------------------
 1 | /**
 2 |  * Obsidian style
 3 |  * ported by Alexander Marenin (http://github.com/ioncreature)
 4 |  */
 5 | 
 6 | .hljs {
 7 |   display: block;
 8 |   overflow-x: auto;
 9 |   padding: 0.5em;
10 |   background: #282b2e;
11 | }
12 | 
13 | .hljs-keyword,
14 | .hljs-selector-tag,
15 | .hljs-literal,
16 | .hljs-selector-id {
17 |   color: #93c763;
18 | }
19 | 
20 | .hljs-number {
21 |   color: #ffcd22;
22 | }
23 | 
24 | .hljs {
25 |   color: #e0e2e4;
26 | }
27 | 
28 | .hljs-attribute {
29 |   color: #668bb0;
30 | }
31 | 
32 | .hljs-code,
33 | .hljs-class .hljs-title,
34 | .hljs-section {
35 |   color: white;
36 | }
37 | 
38 | .hljs-regexp,
39 | .hljs-link {
40 |   color: #d39745;
41 | }
42 | 
43 | .hljs-meta {
44 |   color: #557182;
45 | }
46 | 
47 | .hljs-tag,
48 | .hljs-name,
49 | .hljs-bullet,
50 | .hljs-subst,
51 | .hljs-emphasis,
52 | .hljs-type,
53 | .hljs-built_in,
54 | .hljs-selector-attr,
55 | .hljs-selector-pseudo,
56 | .hljs-addition,
57 | .hljs-variable,
58 | .hljs-template-tag,
59 | .hljs-template-variable {
60 |   color: #8cbbad;
61 | }
62 | 
63 | .hljs-string,
64 | .hljs-symbol {
65 |   color: #ec7600;
66 | }
67 | 
68 | .hljs-comment,
69 | .hljs-quote,
70 | .hljs-deletion {
71 |   color: #818e96;
72 | }
73 | 
74 | .hljs-selector-class {
75 |   color: #A082BD
76 | }
77 | 
78 | .hljs-keyword,
79 | .hljs-selector-tag,
80 | .hljs-literal,
81 | .hljs-doctag,
82 | .hljs-title,
83 | .hljs-section,
84 | .hljs-type,
85 | .hljs-name,
86 | .hljs-strong {
87 |   font-weight: bold;
88 | }
89 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/ocean.css:
--------------------------------------------------------------------------------
 1 | /* Ocean Dark Theme */
 2 | /* https://github.com/gavsiu */
 3 | /* Original theme - https://github.com/chriskempson/base16 */
 4 | 
 5 | /* Ocean Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #65737e;
 9 | }
10 | 
11 | /* Ocean Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-tag,
15 | .hljs-name,
16 | .hljs-selector-id,
17 | .hljs-selector-class,
18 | .hljs-regexp,
19 | .hljs-deletion {
20 |   color: #bf616a;
21 | }
22 | 
23 | /* Ocean Orange */
24 | .hljs-number,
25 | .hljs-built_in,
26 | .hljs-builtin-name,
27 | .hljs-literal,
28 | .hljs-type,
29 | .hljs-params,
30 | .hljs-meta,
31 | .hljs-link {
32 |   color: #d08770;
33 | }
34 | 
35 | /* Ocean Yellow */
36 | .hljs-attribute {
37 |   color: #ebcb8b;
38 | }
39 | 
40 | /* Ocean Green */
41 | .hljs-string,
42 | .hljs-symbol,
43 | .hljs-bullet,
44 | .hljs-addition {
45 |   color: #a3be8c;
46 | }
47 | 
48 | /* Ocean Blue */
49 | .hljs-title,
50 | .hljs-section {
51 |   color: #8fa1b3;
52 | }
53 | 
54 | /* Ocean Purple */
55 | .hljs-keyword,
56 | .hljs-selector-tag {
57 |   color: #b48ead;
58 | }
59 | 
60 | .hljs {
61 |   display: block;
62 |   overflow-x: auto;
63 |   background: #2b303b;
64 |   color: #c0c5ce;
65 |   padding: 0.5em;
66 | }
67 | 
68 | .hljs-emphasis {
69 |   font-style: italic;
70 | }
71 | 
72 | .hljs-strong {
73 |   font-weight: bold;
74 | }
75 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/paraiso-dark.css:
--------------------------------------------------------------------------------
 1 | /*
 2 |     Paraíso (dark)
 3 |     Created by Jan T. Sott (http://github.com/idleberg)
 4 |     Inspired by the art of Rubens LP (http://www.rubenslp.com.br)
 5 | */
 6 | 
 7 | /* Paraíso Comment */
 8 | .hljs-comment,
 9 | .hljs-quote {
10 |   color: #8d8687;
11 | }
12 | 
13 | /* Paraíso Red */
14 | .hljs-variable,
15 | .hljs-template-variable,
16 | .hljs-tag,
17 | .hljs-name,
18 | .hljs-selector-id,
19 | .hljs-selector-class,
20 | .hljs-regexp,
21 | .hljs-link,
22 | .hljs-meta {
23 |   color: #ef6155;
24 | }
25 | 
26 | /* Paraíso Orange */
27 | .hljs-number,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params,
33 | .hljs-deletion {
34 |   color: #f99b15;
35 | }
36 | 
37 | /* Paraíso Yellow */
38 | .hljs-title,
39 | .hljs-section,
40 | .hljs-attribute {
41 |   color: #fec418;
42 | }
43 | 
44 | /* Paraíso Green */
45 | .hljs-string,
46 | .hljs-symbol,
47 | .hljs-bullet,
48 | .hljs-addition {
49 |   color: #48b685;
50 | }
51 | 
52 | /* Paraíso Purple */
53 | .hljs-keyword,
54 | .hljs-selector-tag {
55 |   color: #815ba4;
56 | }
57 | 
58 | .hljs {
59 |   display: block;
60 |   overflow-x: auto;
61 |   background: #2f1e2e;
62 |   color: #a39e9b;
63 |   padding: 0.5em;
64 | }
65 | 
66 | .hljs-emphasis {
67 |   font-style: italic;
68 | }
69 | 
70 | .hljs-strong {
71 |   font-weight: bold;
72 | }
73 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/paraiso-light.css:
--------------------------------------------------------------------------------
 1 | /*
 2 |     Paraíso (light)
 3 |     Created by Jan T. Sott (http://github.com/idleberg)
 4 |     Inspired by the art of Rubens LP (http://www.rubenslp.com.br)
 5 | */
 6 | 
 7 | /* Paraíso Comment */
 8 | .hljs-comment,
 9 | .hljs-quote {
10 |   color: #776e71;
11 | }
12 | 
13 | /* Paraíso Red */
14 | .hljs-variable,
15 | .hljs-template-variable,
16 | .hljs-tag,
17 | .hljs-name,
18 | .hljs-selector-id,
19 | .hljs-selector-class,
20 | .hljs-regexp,
21 | .hljs-link,
22 | .hljs-meta {
23 |   color: #ef6155;
24 | }
25 | 
26 | /* Paraíso Orange */
27 | .hljs-number,
28 | .hljs-built_in,
29 | .hljs-builtin-name,
30 | .hljs-literal,
31 | .hljs-type,
32 | .hljs-params,
33 | .hljs-deletion {
34 |   color: #f99b15;
35 | }
36 | 
37 | /* Paraíso Yellow */
38 | .hljs-title,
39 | .hljs-section,
40 | .hljs-attribute {
41 |   color: #fec418;
42 | }
43 | 
44 | /* Paraíso Green */
45 | .hljs-string,
46 | .hljs-symbol,
47 | .hljs-bullet,
48 | .hljs-addition {
49 |   color: #48b685;
50 | }
51 | 
52 | /* Paraíso Purple */
53 | .hljs-keyword,
54 | .hljs-selector-tag {
55 |   color: #815ba4;
56 | }
57 | 
58 | .hljs {
59 |   display: block;
60 |   overflow-x: auto;
61 |   background: #e7e9db;
62 |   color: #4f424c;
63 |   padding: 0.5em;
64 | }
65 | 
66 | .hljs-emphasis {
67 |   font-style: italic;
68 | }
69 | 
70 | .hljs-strong {
71 |   font-weight: bold;
72 | }
73 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/pojoaque.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Pojoaque Style by Jason Tate
 4 | http://web-cms-designs.com/ftopict-10-pojoaque-style-for-highlight-js-code-highlighter.html
 5 | Based on Solarized Style from http://ethanschoonover.com/solarized
 6 | 
 7 | */
 8 | 
 9 | .hljs {
10 |   display: block;
11 |   overflow-x: auto;
12 |   padding: 0.5em;
13 |   color: #dccf8f;
14 |   background: url(./pojoaque.jpg) repeat scroll left top #181914;
15 | }
16 | 
17 | .hljs-comment,
18 | .hljs-quote {
19 |   color: #586e75;
20 |   font-style: italic;
21 | }
22 | 
23 | .hljs-keyword,
24 | .hljs-selector-tag,
25 | .hljs-literal,
26 | .hljs-addition {
27 |   color: #b64926;
28 | }
29 | 
30 | .hljs-number,
31 | .hljs-string,
32 | .hljs-doctag,
33 | .hljs-regexp {
34 |   color: #468966;
35 | }
36 | 
37 | .hljs-title,
38 | .hljs-section,
39 | .hljs-built_in,
40 | .hljs-name {
41 |   color: #ffb03b;
42 | }
43 | 
44 | .hljs-variable,
45 | .hljs-template-variable,
46 | .hljs-class .hljs-title,
47 | .hljs-type,
48 | .hljs-tag {
49 |   color: #b58900;
50 | }
51 | 
52 | .hljs-attribute {
53 |   color: #b89859;
54 | }
55 | 
56 | .hljs-symbol,
57 | .hljs-bullet,
58 | .hljs-link,
59 | .hljs-subst,
60 | .hljs-meta {
61 |   color: #cb4b16;
62 | }
63 | 
64 | .hljs-deletion {
65 |   color: #dc322f;
66 | }
67 | 
68 | .hljs-selector-id,
69 | .hljs-selector-class {
70 |   color: #d3a60c;
71 | }
72 | 
73 | .hljs-formula {
74 |   background: #073642;
75 | }
76 | 
77 | .hljs-emphasis {
78 |   font-style: italic;
79 | }
80 | 
81 | .hljs-strong {
82 |   font-weight: bold;
83 | }
84 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/pojoaque.jpg:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/static/highlight/styles/pojoaque.jpg


--------------------------------------------------------------------------------
/app/static/highlight/styles/purebasic.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | PureBASIC native IDE style ( version 1.0 - April 2016 )
 4 | 
 5 | by Tristano Ajmone 
 6 | 
 7 | Public Domain
 8 | 
 9 | NOTE_1:	PureBASIC code syntax highlighting only applies the following classes:
10 | 			.hljs-comment
11 | 			.hljs-function
12 | 			.hljs-keywords
13 | 			.hljs-string
14 | 			.hljs-symbol
15 | 
16 | 		Other classes are added here for the benefit of styling other languages with the look and feel of PureBASIC native IDE style.
17 | 		If you need to customize a stylesheet for PureBASIC only, remove all non-relevant classes -- PureBASIC-related classes are followed by
18 | 		a "--- used for PureBASIC ... ---" comment on same line.
19 | 
20 | NOTE_2:	Color names provided in comments were derived using "Name that Color" online tool:
21 | 			http://chir.ag/projects/name-that-color
22 | */
23 | 
24 | .hljs { /* Common set of rules required by highlight.js (don'r remove!) */
25 | 	display: block;
26 | 	overflow-x: auto;
27 | 	padding: 0.5em;
28 | 	background: #FFFFDF; /* Half and Half (approx.) */
29 | /* --- Uncomment to add PureBASIC native IDE styled font!
30 | 	font-family: Consolas;
31 | */
32 | }
33 | 
34 | .hljs, /* --- used for PureBASIC base color --- */
35 | .hljs-type,  /* --- used for PureBASIC Procedures return type --- */
36 | .hljs-function, /* --- used for wrapping PureBASIC Procedures definitions --- */
37 | .hljs-name,
38 | .hljs-number,
39 | .hljs-attr,
40 | .hljs-params,
41 | .hljs-subst {
42 | 	color: #000000; /* Black */
43 | }
44 | 
45 | .hljs-comment, /* --- used for PureBASIC Comments --- */
46 | .hljs-regexp,
47 | .hljs-section,
48 | .hljs-selector-pseudo,
49 | .hljs-addition {
50 | 	color: #00AAAA; /* Persian Green (approx.) */
51 | }
52 | 
53 | .hljs-title, /* --- used for PureBASIC Procedures Names --- */
54 | .hljs-tag,
55 | .hljs-variable,
56 | .hljs-code  {
57 | 	color: #006666; /* Blue Stone (approx.) */
58 | }
59 | 
60 | .hljs-keyword, /* --- used for PureBASIC Keywords --- */
61 | .hljs-class,
62 | .hljs-meta-keyword,
63 | .hljs-selector-class,
64 | .hljs-built_in,
65 | .hljs-builtin-name {
66 | 	color: #006666; /* Blue Stone (approx.) */
67 | 	font-weight: bold;
68 | }
69 | 
70 | .hljs-string, /* --- used for PureBASIC Strings --- */
71 | .hljs-selector-attr {
72 | 	color: #0080FF; /* Azure Radiance (approx.) */
73 | }
74 | 
75 | .hljs-symbol, /* --- used for PureBASIC Constants --- */
76 | .hljs-link,
77 | .hljs-deletion,
78 | .hljs-attribute {
79 | 	color: #924B72; /* Cannon Pink (approx.) */
80 | }
81 | 
82 | .hljs-meta,
83 | .hljs-literal,
84 | .hljs-selector-id {
85 | 	color: #924B72; /* Cannon Pink (approx.) */
86 | 	font-weight: bold;
87 | }
88 | 
89 | .hljs-strong,
90 | .hljs-name {
91 | 	font-weight: bold;
92 | }
93 | 
94 | .hljs-emphasis {
95 | 	font-style: italic;
96 | }
97 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/qtcreator_dark.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Qt Creator dark color scheme
 4 | 
 5 | */
 6 | 
 7 | 
 8 | .hljs {
 9 |   display: block;
10 |   overflow-x: auto;
11 |   padding: 0.5em;
12 |   background: #000000;
13 | }
14 | 
15 | .hljs,
16 | .hljs-subst,
17 | .hljs-tag,
18 | .hljs-title {
19 |   color: #aaaaaa;
20 | }
21 | 
22 | .hljs-strong,
23 | .hljs-emphasis {
24 |   color: #a8a8a2;
25 | }
26 | 
27 | .hljs-bullet,
28 | .hljs-quote,
29 | .hljs-number,
30 | .hljs-regexp,
31 | .hljs-literal {
32 |   color: #ff55ff;
33 | }
34 | 
35 | .hljs-code
36 | .hljs-selector-class {
37 |   color: #aaaaff;
38 | }
39 | 
40 | .hljs-emphasis,
41 | .hljs-stronge,
42 | .hljs-type {
43 |   font-style: italic;
44 | }
45 | 
46 | .hljs-keyword,
47 | .hljs-selector-tag,
48 | .hljs-function,
49 | .hljs-section,
50 | .hljs-symbol,
51 | .hljs-name {
52 |   color: #ffff55;
53 | }
54 | 
55 | .hljs-attribute {
56 |   color: #ff5555;
57 | }
58 | 
59 | .hljs-variable,
60 | .hljs-params,
61 | .hljs-class .hljs-title {
62 |   color: #8888ff;
63 | }
64 | 
65 | .hljs-string,
66 | .hljs-selector-id,
67 | .hljs-selector-attr,
68 | .hljs-selector-pseudo,
69 | .hljs-type,
70 | .hljs-built_in,
71 | .hljs-builtin-name,
72 | .hljs-template-tag,
73 | .hljs-template-variable,
74 | .hljs-addition,
75 | .hljs-link {
76 |   color: #ff55ff;
77 | }
78 | 
79 | .hljs-comment,
80 | .hljs-meta,
81 | .hljs-deletion {
82 |   color: #55ffff;
83 | }
84 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/qtcreator_light.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Qt Creator light color scheme
 4 | 
 5 | */
 6 | 
 7 | 
 8 | .hljs {
 9 |   display: block;
10 |   overflow-x: auto;
11 |   padding: 0.5em;
12 |   background: #ffffff;
13 | }
14 | 
15 | .hljs,
16 | .hljs-subst,
17 | .hljs-tag,
18 | .hljs-title {
19 |   color: #000000;
20 | }
21 | 
22 | .hljs-strong,
23 | .hljs-emphasis {
24 |   color: #000000;
25 | }
26 | 
27 | .hljs-bullet,
28 | .hljs-quote,
29 | .hljs-number,
30 | .hljs-regexp,
31 | .hljs-literal {
32 |   color: #000080;
33 | }
34 | 
35 | .hljs-code
36 | .hljs-selector-class {
37 |   color: #800080;
38 | }
39 | 
40 | .hljs-emphasis,
41 | .hljs-stronge,
42 | .hljs-type {
43 |   font-style: italic;
44 | }
45 | 
46 | .hljs-keyword,
47 | .hljs-selector-tag,
48 | .hljs-function,
49 | .hljs-section,
50 | .hljs-symbol,
51 | .hljs-name {
52 |   color: #808000;
53 | }
54 | 
55 | .hljs-attribute {
56 |   color: #800000;
57 | }
58 | 
59 | .hljs-variable,
60 | .hljs-params,
61 | .hljs-class .hljs-title {
62 |   color: #0055AF;
63 | }
64 | 
65 | .hljs-string,
66 | .hljs-selector-id,
67 | .hljs-selector-attr,
68 | .hljs-selector-pseudo,
69 | .hljs-type,
70 | .hljs-built_in,
71 | .hljs-builtin-name,
72 | .hljs-template-tag,
73 | .hljs-template-variable,
74 | .hljs-addition,
75 | .hljs-link {
76 |   color: #008000;
77 | }
78 | 
79 | .hljs-comment,
80 | .hljs-meta,
81 | .hljs-deletion {
82 |   color: #008000;
83 | }
84 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/railscasts.css:
--------------------------------------------------------------------------------
  1 | /*
  2 | 
  3 | Railscasts-like style (c) Visoft, Inc. (Damien White)
  4 | 
  5 | */
  6 | 
  7 | .hljs {
  8 |   display: block;
  9 |   overflow-x: auto;
 10 |   padding: 0.5em;
 11 |   background: #232323;
 12 |   color: #e6e1dc;
 13 | }
 14 | 
 15 | .hljs-comment,
 16 | .hljs-quote {
 17 |   color: #bc9458;
 18 |   font-style: italic;
 19 | }
 20 | 
 21 | .hljs-keyword,
 22 | .hljs-selector-tag {
 23 |   color: #c26230;
 24 | }
 25 | 
 26 | .hljs-string,
 27 | .hljs-number,
 28 | .hljs-regexp,
 29 | .hljs-variable,
 30 | .hljs-template-variable {
 31 |   color: #a5c261;
 32 | }
 33 | 
 34 | .hljs-subst {
 35 |   color: #519f50;
 36 | }
 37 | 
 38 | .hljs-tag,
 39 | .hljs-name {
 40 |   color: #e8bf6a;
 41 | }
 42 | 
 43 | .hljs-type {
 44 |   color: #da4939;
 45 | }
 46 | 
 47 | 
 48 | .hljs-symbol,
 49 | .hljs-bullet,
 50 | .hljs-built_in,
 51 | .hljs-builtin-name,
 52 | .hljs-attr,
 53 | .hljs-link {
 54 |   color: #6d9cbe;
 55 | }
 56 | 
 57 | .hljs-params {
 58 |   color: #d0d0ff;
 59 | }
 60 | 
 61 | .hljs-attribute {
 62 |   color: #cda869;
 63 | }
 64 | 
 65 | .hljs-meta {
 66 |   color: #9b859d;
 67 | }
 68 | 
 69 | .hljs-title,
 70 | .hljs-section {
 71 |   color: #ffc66d;
 72 | }
 73 | 
 74 | .hljs-addition {
 75 |   background-color: #144212;
 76 |   color: #e6e1dc;
 77 |   display: inline-block;
 78 |   width: 100%;
 79 | }
 80 | 
 81 | .hljs-deletion {
 82 |   background-color: #600;
 83 |   color: #e6e1dc;
 84 |   display: inline-block;
 85 |   width: 100%;
 86 | }
 87 | 
 88 | .hljs-selector-class {
 89 |   color: #9b703f;
 90 | }
 91 | 
 92 | .hljs-selector-id {
 93 |   color: #8b98ab;
 94 | }
 95 | 
 96 | .hljs-emphasis {
 97 |   font-style: italic;
 98 | }
 99 | 
100 | .hljs-strong {
101 |   font-weight: bold;
102 | }
103 | 
104 | .hljs-link {
105 |   text-decoration: underline;
106 | }
107 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/rainbow.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Style with support for rainbow parens
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: #474949;
12 |   color: #d1d9e1;
13 | }
14 | 
15 | 
16 | .hljs-comment,
17 | .hljs-quote {
18 |   color: #969896;
19 |   font-style: italic;
20 | }
21 | 
22 | .hljs-keyword,
23 | .hljs-selector-tag,
24 | .hljs-literal,
25 | .hljs-type,
26 | .hljs-addition {
27 |   color: #cc99cc;
28 | }
29 | 
30 | .hljs-number,
31 | .hljs-selector-attr,
32 | .hljs-selector-pseudo {
33 |   color: #f99157;
34 | }
35 | 
36 | .hljs-string,
37 | .hljs-doctag,
38 | .hljs-regexp {
39 |   color: #8abeb7;
40 | }
41 | 
42 | .hljs-title,
43 | .hljs-name,
44 | .hljs-section,
45 | .hljs-built_in {
46 |   color: #b5bd68;
47 | }
48 | 
49 | .hljs-variable,
50 | .hljs-template-variable,
51 | .hljs-selector-id,
52 | .hljs-class .hljs-title {
53 |    color: #ffcc66;
54 | }
55 | 
56 | .hljs-section,
57 | .hljs-name,
58 | .hljs-strong {
59 |   font-weight: bold;
60 | }
61 | 
62 | .hljs-symbol,
63 | .hljs-bullet,
64 | .hljs-subst,
65 | .hljs-meta,
66 | .hljs-link {
67 |   color: #f99157;
68 | }
69 | 
70 | .hljs-deletion {
71 |   color: #dc322f;
72 | }
73 | 
74 | .hljs-formula {
75 |   background: #eee8d5;
76 | }
77 | 
78 | .hljs-attr,
79 | .hljs-attribute {
80 |   color: #81a2be;
81 | }
82 | 
83 | .hljs-emphasis {
84 |   font-style: italic;
85 | }
86 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/school-book.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | School Book style from goldblog.com.ua (c) Zaripov Yura 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 15px 0.5em 0.5em 30px;
11 |   font-size: 11px;
12 |   line-height:16px;
13 | }
14 | 
15 | pre{
16 |   background:#f6f6ae url(./school-book.png);
17 |   border-top: solid 2px #d2e8b9;
18 |   border-bottom: solid 1px #d2e8b9;
19 | }
20 | 
21 | .hljs-keyword,
22 | .hljs-selector-tag,
23 | .hljs-literal {
24 |   color:#005599;
25 |   font-weight:bold;
26 | }
27 | 
28 | .hljs,
29 | .hljs-subst {
30 |   color: #3e5915;
31 | }
32 | 
33 | .hljs-string,
34 | .hljs-title,
35 | .hljs-section,
36 | .hljs-type,
37 | .hljs-symbol,
38 | .hljs-bullet,
39 | .hljs-attribute,
40 | .hljs-built_in,
41 | .hljs-builtin-name,
42 | .hljs-addition,
43 | .hljs-variable,
44 | .hljs-template-tag,
45 | .hljs-template-variable,
46 | .hljs-link {
47 |   color: #2c009f;
48 | }
49 | 
50 | .hljs-comment,
51 | .hljs-quote,
52 | .hljs-deletion,
53 | .hljs-meta {
54 |   color: #e60415;
55 | }
56 | 
57 | .hljs-keyword,
58 | .hljs-selector-tag,
59 | .hljs-literal,
60 | .hljs-doctag,
61 | .hljs-title,
62 | .hljs-section,
63 | .hljs-type,
64 | .hljs-name,
65 | .hljs-selector-id,
66 | .hljs-strong {
67 |   font-weight: bold;
68 | }
69 | 
70 | .hljs-emphasis {
71 |   font-style: italic;
72 | }
73 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/school-book.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/app/static/highlight/styles/school-book.png


--------------------------------------------------------------------------------
/app/static/highlight/styles/solarized-dark.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Orginal Style from ethanschoonover.com/solarized (c) Jeremy Hull 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: #002b36;
12 |   color: #839496;
13 | }
14 | 
15 | .hljs-comment,
16 | .hljs-quote {
17 |   color: #586e75;
18 | }
19 | 
20 | /* Solarized Green */
21 | .hljs-keyword,
22 | .hljs-selector-tag,
23 | .hljs-addition {
24 |   color: #859900;
25 | }
26 | 
27 | /* Solarized Cyan */
28 | .hljs-number,
29 | .hljs-string,
30 | .hljs-meta .hljs-meta-string,
31 | .hljs-literal,
32 | .hljs-doctag,
33 | .hljs-regexp {
34 |   color: #2aa198;
35 | }
36 | 
37 | /* Solarized Blue */
38 | .hljs-title,
39 | .hljs-section,
40 | .hljs-name,
41 | .hljs-selector-id,
42 | .hljs-selector-class {
43 |   color: #268bd2;
44 | }
45 | 
46 | /* Solarized Yellow */
47 | .hljs-attribute,
48 | .hljs-attr,
49 | .hljs-variable,
50 | .hljs-template-variable,
51 | .hljs-class .hljs-title,
52 | .hljs-type {
53 |   color: #b58900;
54 | }
55 | 
56 | /* Solarized Orange */
57 | .hljs-symbol,
58 | .hljs-bullet,
59 | .hljs-subst,
60 | .hljs-meta,
61 | .hljs-meta .hljs-keyword,
62 | .hljs-selector-attr,
63 | .hljs-selector-pseudo,
64 | .hljs-link {
65 |   color: #cb4b16;
66 | }
67 | 
68 | /* Solarized Red */
69 | .hljs-built_in,
70 | .hljs-deletion {
71 |   color: #dc322f;
72 | }
73 | 
74 | .hljs-formula {
75 |   background: #073642;
76 | }
77 | 
78 | .hljs-emphasis {
79 |   font-style: italic;
80 | }
81 | 
82 | .hljs-strong {
83 |   font-weight: bold;
84 | }
85 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/solarized-light.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Orginal Style from ethanschoonover.com/solarized (c) Jeremy Hull 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: #fdf6e3;
12 |   color: #657b83;
13 | }
14 | 
15 | .hljs-comment,
16 | .hljs-quote {
17 |   color: #93a1a1;
18 | }
19 | 
20 | /* Solarized Green */
21 | .hljs-keyword,
22 | .hljs-selector-tag,
23 | .hljs-addition {
24 |   color: #859900;
25 | }
26 | 
27 | /* Solarized Cyan */
28 | .hljs-number,
29 | .hljs-string,
30 | .hljs-meta .hljs-meta-string,
31 | .hljs-literal,
32 | .hljs-doctag,
33 | .hljs-regexp {
34 |   color: #2aa198;
35 | }
36 | 
37 | /* Solarized Blue */
38 | .hljs-title,
39 | .hljs-section,
40 | .hljs-name,
41 | .hljs-selector-id,
42 | .hljs-selector-class {
43 |   color: #268bd2;
44 | }
45 | 
46 | /* Solarized Yellow */
47 | .hljs-attribute,
48 | .hljs-attr,
49 | .hljs-variable,
50 | .hljs-template-variable,
51 | .hljs-class .hljs-title,
52 | .hljs-type {
53 |   color: #b58900;
54 | }
55 | 
56 | /* Solarized Orange */
57 | .hljs-symbol,
58 | .hljs-bullet,
59 | .hljs-subst,
60 | .hljs-meta,
61 | .hljs-meta .hljs-keyword,
62 | .hljs-selector-attr,
63 | .hljs-selector-pseudo,
64 | .hljs-link {
65 |   color: #cb4b16;
66 | }
67 | 
68 | /* Solarized Red */
69 | .hljs-built_in,
70 | .hljs-deletion {
71 |   color: #dc322f;
72 | }
73 | 
74 | .hljs-formula {
75 |   background: #eee8d5;
76 | }
77 | 
78 | .hljs-emphasis {
79 |   font-style: italic;
80 | }
81 | 
82 | .hljs-strong {
83 |   font-weight: bold;
84 | }
85 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/sunburst.css:
--------------------------------------------------------------------------------
  1 | /*
  2 | 
  3 | Sunburst-like style (c) Vasily Polovnyov 
  4 | 
  5 | */
  6 | 
  7 | .hljs {
  8 |   display: block;
  9 |   overflow-x: auto;
 10 |   padding: 0.5em;
 11 |   background: #000;
 12 |   color: #f8f8f8;
 13 | }
 14 | 
 15 | .hljs-comment,
 16 | .hljs-quote {
 17 |   color: #aeaeae;
 18 |   font-style: italic;
 19 | }
 20 | 
 21 | .hljs-keyword,
 22 | .hljs-selector-tag,
 23 | .hljs-type {
 24 |   color: #e28964;
 25 | }
 26 | 
 27 | .hljs-string {
 28 |   color: #65b042;
 29 | }
 30 | 
 31 | .hljs-subst {
 32 |   color: #daefa3;
 33 | }
 34 | 
 35 | .hljs-regexp,
 36 | .hljs-link {
 37 |   color: #e9c062;
 38 | }
 39 | 
 40 | .hljs-title,
 41 | .hljs-section,
 42 | .hljs-tag,
 43 | .hljs-name {
 44 |   color: #89bdff;
 45 | }
 46 | 
 47 | .hljs-class .hljs-title,
 48 | .hljs-doctag {
 49 |   text-decoration: underline;
 50 | }
 51 | 
 52 | .hljs-symbol,
 53 | .hljs-bullet,
 54 | .hljs-number {
 55 |   color: #3387cc;
 56 | }
 57 | 
 58 | .hljs-params,
 59 | .hljs-variable,
 60 | .hljs-template-variable {
 61 |   color: #3e87e3;
 62 | }
 63 | 
 64 | .hljs-attribute {
 65 |   color: #cda869;
 66 | }
 67 | 
 68 | .hljs-meta {
 69 |   color: #8996a8;
 70 | }
 71 | 
 72 | .hljs-formula {
 73 |   background-color: #0e2231;
 74 |   color: #f8f8f8;
 75 |   font-style: italic;
 76 | }
 77 | 
 78 | .hljs-addition {
 79 |   background-color: #253b22;
 80 |   color: #f8f8f8;
 81 | }
 82 | 
 83 | .hljs-deletion {
 84 |   background-color: #420e09;
 85 |   color: #f8f8f8;
 86 | }
 87 | 
 88 | .hljs-selector-class {
 89 |   color: #9b703f;
 90 | }
 91 | 
 92 | .hljs-selector-id {
 93 |   color: #8b98ab;
 94 | }
 95 | 
 96 | .hljs-emphasis {
 97 |   font-style: italic;
 98 | }
 99 | 
100 | .hljs-strong {
101 |   font-weight: bold;
102 | }
103 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/tomorrow-night-blue.css:
--------------------------------------------------------------------------------
 1 | /* Tomorrow Night Blue Theme */
 2 | /* http://jmblog.github.com/color-themes-for-google-code-highlightjs */
 3 | /* Original theme - https://github.com/chriskempson/tomorrow-theme */
 4 | /* http://jmblog.github.com/color-themes-for-google-code-highlightjs */
 5 | 
 6 | /* Tomorrow Comment */
 7 | .hljs-comment,
 8 | .hljs-quote {
 9 |   color: #7285b7;
10 | }
11 | 
12 | /* Tomorrow Red */
13 | .hljs-variable,
14 | .hljs-template-variable,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-selector-id,
18 | .hljs-selector-class,
19 | .hljs-regexp,
20 | .hljs-deletion {
21 |   color: #ff9da4;
22 | }
23 | 
24 | /* Tomorrow Orange */
25 | .hljs-number,
26 | .hljs-built_in,
27 | .hljs-builtin-name,
28 | .hljs-literal,
29 | .hljs-type,
30 | .hljs-params,
31 | .hljs-meta,
32 | .hljs-link {
33 |   color: #ffc58f;
34 | }
35 | 
36 | /* Tomorrow Yellow */
37 | .hljs-attribute {
38 |   color: #ffeead;
39 | }
40 | 
41 | /* Tomorrow Green */
42 | .hljs-string,
43 | .hljs-symbol,
44 | .hljs-bullet,
45 | .hljs-addition {
46 |   color: #d1f1a9;
47 | }
48 | 
49 | /* Tomorrow Blue */
50 | .hljs-title,
51 | .hljs-section {
52 |   color: #bbdaff;
53 | }
54 | 
55 | /* Tomorrow Purple */
56 | .hljs-keyword,
57 | .hljs-selector-tag {
58 |   color: #ebbbff;
59 | }
60 | 
61 | .hljs {
62 |   display: block;
63 |   overflow-x: auto;
64 |   background: #002451;
65 |   color: white;
66 |   padding: 0.5em;
67 | }
68 | 
69 | .hljs-emphasis {
70 |   font-style: italic;
71 | }
72 | 
73 | .hljs-strong {
74 |   font-weight: bold;
75 | }
76 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/tomorrow-night-bright.css:
--------------------------------------------------------------------------------
 1 | /* Tomorrow Night Bright Theme */
 2 | /* Original theme - https://github.com/chriskempson/tomorrow-theme */
 3 | /* http://jmblog.github.com/color-themes-for-google-code-highlightjs */
 4 | 
 5 | /* Tomorrow Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #969896;
 9 | }
10 | 
11 | /* Tomorrow Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-tag,
15 | .hljs-name,
16 | .hljs-selector-id,
17 | .hljs-selector-class,
18 | .hljs-regexp,
19 | .hljs-deletion {
20 |   color: #d54e53;
21 | }
22 | 
23 | /* Tomorrow Orange */
24 | .hljs-number,
25 | .hljs-built_in,
26 | .hljs-builtin-name,
27 | .hljs-literal,
28 | .hljs-type,
29 | .hljs-params,
30 | .hljs-meta,
31 | .hljs-link {
32 |   color: #e78c45;
33 | }
34 | 
35 | /* Tomorrow Yellow */
36 | .hljs-attribute {
37 |   color: #e7c547;
38 | }
39 | 
40 | /* Tomorrow Green */
41 | .hljs-string,
42 | .hljs-symbol,
43 | .hljs-bullet,
44 | .hljs-addition {
45 |   color: #b9ca4a;
46 | }
47 | 
48 | /* Tomorrow Blue */
49 | .hljs-title,
50 | .hljs-section {
51 |   color: #7aa6da;
52 | }
53 | 
54 | /* Tomorrow Purple */
55 | .hljs-keyword,
56 | .hljs-selector-tag {
57 |   color: #c397d8;
58 | }
59 | 
60 | .hljs {
61 |   display: block;
62 |   overflow-x: auto;
63 |   background: black;
64 |   color: #eaeaea;
65 |   padding: 0.5em;
66 | }
67 | 
68 | .hljs-emphasis {
69 |   font-style: italic;
70 | }
71 | 
72 | .hljs-strong {
73 |   font-weight: bold;
74 | }
75 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/tomorrow-night-eighties.css:
--------------------------------------------------------------------------------
 1 | /* Tomorrow Night Eighties Theme */
 2 | /* Original theme - https://github.com/chriskempson/tomorrow-theme */
 3 | /* http://jmblog.github.com/color-themes-for-google-code-highlightjs */
 4 | 
 5 | /* Tomorrow Comment */
 6 | .hljs-comment,
 7 | .hljs-quote {
 8 |   color: #999999;
 9 | }
10 | 
11 | /* Tomorrow Red */
12 | .hljs-variable,
13 | .hljs-template-variable,
14 | .hljs-tag,
15 | .hljs-name,
16 | .hljs-selector-id,
17 | .hljs-selector-class,
18 | .hljs-regexp,
19 | .hljs-deletion {
20 |   color: #f2777a;
21 | }
22 | 
23 | /* Tomorrow Orange */
24 | .hljs-number,
25 | .hljs-built_in,
26 | .hljs-builtin-name,
27 | .hljs-literal,
28 | .hljs-type,
29 | .hljs-params,
30 | .hljs-meta,
31 | .hljs-link {
32 |   color: #f99157;
33 | }
34 | 
35 | /* Tomorrow Yellow */
36 | .hljs-attribute {
37 |   color: #ffcc66;
38 | }
39 | 
40 | /* Tomorrow Green */
41 | .hljs-string,
42 | .hljs-symbol,
43 | .hljs-bullet,
44 | .hljs-addition {
45 |   color: #99cc99;
46 | }
47 | 
48 | /* Tomorrow Blue */
49 | .hljs-title,
50 | .hljs-section {
51 |   color: #6699cc;
52 | }
53 | 
54 | /* Tomorrow Purple */
55 | .hljs-keyword,
56 | .hljs-selector-tag {
57 |   color: #cc99cc;
58 | }
59 | 
60 | .hljs {
61 |   display: block;
62 |   overflow-x: auto;
63 |   background: #2d2d2d;
64 |   color: #cccccc;
65 |   padding: 0.5em;
66 | }
67 | 
68 | .hljs-emphasis {
69 |   font-style: italic;
70 | }
71 | 
72 | .hljs-strong {
73 |   font-weight: bold;
74 | }
75 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/tomorrow-night.css:
--------------------------------------------------------------------------------
 1 | /* Tomorrow Night Theme */
 2 | /* http://jmblog.github.com/color-themes-for-google-code-highlightjs */
 3 | /* Original theme - https://github.com/chriskempson/tomorrow-theme */
 4 | /* http://jmblog.github.com/color-themes-for-google-code-highlightjs */
 5 | 
 6 | /* Tomorrow Comment */
 7 | .hljs-comment,
 8 | .hljs-quote {
 9 |   color: #969896;
10 | }
11 | 
12 | /* Tomorrow Red */
13 | .hljs-variable,
14 | .hljs-template-variable,
15 | .hljs-tag,
16 | .hljs-name,
17 | .hljs-selector-id,
18 | .hljs-selector-class,
19 | .hljs-regexp,
20 | .hljs-deletion {
21 |   color: #cc6666;
22 | }
23 | 
24 | /* Tomorrow Orange */
25 | .hljs-number,
26 | .hljs-built_in,
27 | .hljs-builtin-name,
28 | .hljs-literal,
29 | .hljs-type,
30 | .hljs-params,
31 | .hljs-meta,
32 | .hljs-link {
33 |   color: #de935f;
34 | }
35 | 
36 | /* Tomorrow Yellow */
37 | .hljs-attribute {
38 |   color: #f0c674;
39 | }
40 | 
41 | /* Tomorrow Green */
42 | .hljs-string,
43 | .hljs-symbol,
44 | .hljs-bullet,
45 | .hljs-addition {
46 |   color: #b5bd68;
47 | }
48 | 
49 | /* Tomorrow Blue */
50 | .hljs-title,
51 | .hljs-section {
52 |   color: #81a2be;
53 | }
54 | 
55 | /* Tomorrow Purple */
56 | .hljs-keyword,
57 | .hljs-selector-tag {
58 |   color: #b294bb;
59 | }
60 | 
61 | .hljs {
62 |   display: block;
63 |   overflow-x: auto;
64 |   background: #1d1f21;
65 |   color: #c5c8c6;
66 |   padding: 0.5em;
67 | }
68 | 
69 | .hljs-emphasis {
70 |   font-style: italic;
71 | }
72 | 
73 | .hljs-strong {
74 |   font-weight: bold;
75 | }
76 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/tomorrow.css:
--------------------------------------------------------------------------------
 1 | /* http://jmblog.github.com/color-themes-for-google-code-highlightjs */
 2 | 
 3 | /* Tomorrow Comment */
 4 | .hljs-comment,
 5 | .hljs-quote {
 6 |   color: #8e908c;
 7 | }
 8 | 
 9 | /* Tomorrow Red */
10 | .hljs-variable,
11 | .hljs-template-variable,
12 | .hljs-tag,
13 | .hljs-name,
14 | .hljs-selector-id,
15 | .hljs-selector-class,
16 | .hljs-regexp,
17 | .hljs-deletion {
18 |   color: #c82829;
19 | }
20 | 
21 | /* Tomorrow Orange */
22 | .hljs-number,
23 | .hljs-built_in,
24 | .hljs-builtin-name,
25 | .hljs-literal,
26 | .hljs-type,
27 | .hljs-params,
28 | .hljs-meta,
29 | .hljs-link {
30 |   color: #f5871f;
31 | }
32 | 
33 | /* Tomorrow Yellow */
34 | .hljs-attribute {
35 |   color: #eab700;
36 | }
37 | 
38 | /* Tomorrow Green */
39 | .hljs-string,
40 | .hljs-symbol,
41 | .hljs-bullet,
42 | .hljs-addition {
43 |   color: #718c00;
44 | }
45 | 
46 | /* Tomorrow Blue */
47 | .hljs-title,
48 | .hljs-section {
49 |   color: #4271ae;
50 | }
51 | 
52 | /* Tomorrow Purple */
53 | .hljs-keyword,
54 | .hljs-selector-tag {
55 |   color: #8959a8;
56 | }
57 | 
58 | .hljs {
59 |   display: block;
60 |   overflow-x: auto;
61 |   background: white;
62 |   color: #4d4d4c;
63 |   padding: 0.5em;
64 | }
65 | 
66 | .hljs-emphasis {
67 |   font-style: italic;
68 | }
69 | 
70 | .hljs-strong {
71 |   font-weight: bold;
72 | }
73 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/vs.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Visual Studio-like style based on original C# coloring by Jason Diamond 
 4 | 
 5 | */
 6 | .hljs {
 7 |   display: block;
 8 |   overflow-x: auto;
 9 |   padding: 0.5em;
10 |   background: white;
11 |   color: black;
12 | }
13 | 
14 | .hljs-comment,
15 | .hljs-quote,
16 | .hljs-variable {
17 |   color: #008000;
18 | }
19 | 
20 | .hljs-keyword,
21 | .hljs-selector-tag,
22 | .hljs-built_in,
23 | .hljs-name,
24 | .hljs-tag {
25 |   color: #00f;
26 | }
27 | 
28 | .hljs-string,
29 | .hljs-title,
30 | .hljs-section,
31 | .hljs-attribute,
32 | .hljs-literal,
33 | .hljs-template-tag,
34 | .hljs-template-variable,
35 | .hljs-type,
36 | .hljs-addition {
37 |   color: #a31515;
38 | }
39 | 
40 | .hljs-deletion,
41 | .hljs-selector-attr,
42 | .hljs-selector-pseudo,
43 | .hljs-meta {
44 |   color: #2b91af;
45 | }
46 | 
47 | .hljs-doctag {
48 |   color: #808080;
49 | }
50 | 
51 | .hljs-attr {
52 |   color: #f00;
53 | }
54 | 
55 | .hljs-symbol,
56 | .hljs-bullet,
57 | .hljs-link {
58 |   color: #00b0e8;
59 | }
60 | 
61 | 
62 | .hljs-emphasis {
63 |   font-style: italic;
64 | }
65 | 
66 | .hljs-strong {
67 |   font-weight: bold;
68 | }
69 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/xcode.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | XCode style (c) Angel Garcia 
 4 | 
 5 | */
 6 | 
 7 | .hljs {
 8 |   display: block;
 9 |   overflow-x: auto;
10 |   padding: 0.5em;
11 |   background: #fff;
12 |   color: black;
13 | }
14 | 
15 | .hljs-comment,
16 | .hljs-quote {
17 |   color: #006a00;
18 | }
19 | 
20 | .hljs-keyword,
21 | .hljs-selector-tag,
22 | .hljs-literal {
23 |   color: #aa0d91;
24 | }
25 | 
26 | .hljs-name {
27 |   color: #008;
28 | }
29 | 
30 | .hljs-variable,
31 | .hljs-template-variable {
32 |   color: #660;
33 | }
34 | 
35 | .hljs-string {
36 |   color: #c41a16;
37 | }
38 | 
39 | .hljs-regexp,
40 | .hljs-link {
41 |   color: #080;
42 | }
43 | 
44 | .hljs-title,
45 | .hljs-tag,
46 | .hljs-symbol,
47 | .hljs-bullet,
48 | .hljs-number,
49 | .hljs-meta {
50 |   color: #1c00cf;
51 | }
52 | 
53 | .hljs-section,
54 | .hljs-class .hljs-title,
55 | .hljs-type,
56 | .hljs-attr,
57 | .hljs-built_in,
58 | .hljs-builtin-name,
59 | .hljs-params {
60 |   color: #5c2699;
61 | }
62 | 
63 | .hljs-attribute,
64 | .hljs-subst {
65 |   color: #000;
66 | }
67 | 
68 | .hljs-formula {
69 |   background-color: #eee;
70 |   font-style: italic;
71 | }
72 | 
73 | .hljs-addition {
74 |   background-color: #baeeba;
75 | }
76 | 
77 | .hljs-deletion {
78 |   background-color: #ffc8bd;
79 | }
80 | 
81 | .hljs-selector-id,
82 | .hljs-selector-class {
83 |   color: #9b703f;
84 | }
85 | 
86 | .hljs-doctag,
87 | .hljs-strong {
88 |   font-weight: bold;
89 | }
90 | 
91 | .hljs-emphasis {
92 |   font-style: italic;
93 | }
94 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/xt256.css:
--------------------------------------------------------------------------------
 1 | 
 2 | /*
 3 |   xt256.css
 4 | 
 5 |   Contact: initbar [at] protonmail [dot] ch
 6 |          : github.com/initbar
 7 | */
 8 | 
 9 | .hljs {
10 |   display: block;
11 |   overflow-x: auto;
12 |   color: #eaeaea;
13 |   background: #000;
14 |   padding: 0.5;
15 | }
16 | 
17 | .hljs-subst {
18 |   color: #eaeaea;
19 | }
20 | 
21 | .hljs-emphasis {
22 |   font-style: italic;
23 | }
24 | 
25 | .hljs-strong {
26 |   font-weight: bold;
27 | }
28 | 
29 | .hljs-builtin-name,
30 | .hljs-type {
31 |   color: #eaeaea;
32 | }
33 | 
34 | .hljs-params {
35 |   color: #da0000;
36 | }
37 | 
38 | .hljs-literal,
39 | .hljs-number,
40 | .hljs-name {
41 |   color: #ff0000;
42 |   font-weight: bolder;
43 | }
44 | 
45 | .hljs-comment {
46 |   color: #969896;
47 | }
48 | 
49 | .hljs-selector-id,
50 | .hljs-quote {
51 |   color: #00ffff;
52 | }
53 | 
54 | .hljs-template-variable,
55 | .hljs-variable,
56 | .hljs-title {
57 |   color: #00ffff;
58 |   font-weight: bold;
59 | }
60 | 
61 | .hljs-selector-class,
62 | .hljs-keyword,
63 | .hljs-symbol {
64 |   color: #fff000;
65 | }
66 | 
67 | .hljs-string,
68 | .hljs-bullet {
69 |   color: #00ff00;
70 | }
71 | 
72 | .hljs-tag,
73 | .hljs-section {
74 |   color: #000fff;
75 | }
76 | 
77 | .hljs-selector-tag {
78 |   color: #000fff;
79 |   font-weight: bold;
80 | }
81 | 
82 | .hljs-attribute,
83 | .hljs-built_in,
84 | .hljs-regexp,
85 | .hljs-link {
86 |   color: #ff00ff;
87 | }
88 | 
89 | .hljs-meta {
90 |   color: #fff;
91 |   font-weight: bolder;
92 | }
93 | 


--------------------------------------------------------------------------------
/app/static/highlight/styles/zenburn.css:
--------------------------------------------------------------------------------
 1 | /*
 2 | 
 3 | Zenburn style from voldmar.ru (c) Vladimir Epifanov 
 4 | based on dark.css by Ivan Sagalaev
 5 | 
 6 | */
 7 | 
 8 | .hljs {
 9 |   display: block;
10 |   overflow-x: auto;
11 |   padding: 0.5em;
12 |   background: #3f3f3f;
13 |   color: #dcdcdc;
14 | }
15 | 
16 | .hljs-keyword,
17 | .hljs-selector-tag,
18 | .hljs-tag {
19 |   color: #e3ceab;
20 | }
21 | 
22 | .hljs-template-tag {
23 |   color: #dcdcdc;
24 | }
25 | 
26 | .hljs-number {
27 |   color: #8cd0d3;
28 | }
29 | 
30 | .hljs-variable,
31 | .hljs-template-variable,
32 | .hljs-attribute {
33 |   color: #efdcbc;
34 | }
35 | 
36 | .hljs-literal {
37 |   color: #efefaf;
38 | }
39 | 
40 | .hljs-subst {
41 |   color: #8f8f8f;
42 | }
43 | 
44 | .hljs-title,
45 | .hljs-name,
46 | .hljs-selector-id,
47 | .hljs-selector-class,
48 | .hljs-section,
49 | .hljs-type {
50 |   color: #efef8f;
51 | }
52 | 
53 | .hljs-symbol,
54 | .hljs-bullet,
55 | .hljs-link {
56 |   color: #dca3a3;
57 | }
58 | 
59 | .hljs-deletion,
60 | .hljs-string,
61 | .hljs-built_in,
62 | .hljs-builtin-name {
63 |   color: #cc9393;
64 | }
65 | 
66 | .hljs-addition,
67 | .hljs-comment,
68 | .hljs-quote,
69 | .hljs-meta {
70 |   color: #7f9f7f;
71 | }
72 | 
73 | 
74 | .hljs-emphasis {
75 |   font-style: italic;
76 | }
77 | 
78 | .hljs-strong {
79 |   font-weight: bold;
80 | }
81 | 


--------------------------------------------------------------------------------
/app/templates/v2_add_file_to_project.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Add file to project' %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Projects
    3. 
 8 |         
  3. {{ project.name }}
    4. 
 9 |         
  4. Add file to project
    5. 
10 |     

11 | {% endblock %}
12 | 
13 | {% block content %}
14 |     
Add file to project

15 | 
16 |     

17 |         {{ form.hidden_tag() }}
18 | 
19 |         

20 |             
21 |             {{ form.filename(class_='form-control') }}
22 |              
Absolute path of the file.

23 |         

24 | 
25 |         
26 |     

27 | {% endblock %}
28 | 


--------------------------------------------------------------------------------
/app/templates/v2_create_project.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Create project' %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Projects
    3. 
 8 |         
  3. Create project
    4. 
 9 |     

10 | {% endblock %}
11 | 
12 | {% block content %}
13 |     
Create project

14 | 
15 |     

16 |         {{ form.hidden_tag() }}
17 | 
18 |         

19 |             
20 |             {{ form.name(class_='form-control') }}
21 |              
Name of the project.

22 |         

23 | 
24 |         

25 |             
26 |             {{ form.workdir(class_='form-control') }}
27 |              
The absolute path of a working directory in which the commands will be executed.

28 |         

29 | 
30 |         

31 |             
32 |             {{ form.build_command(class_='form-control') }}
33 |              
The command to build the project.

34 |         

35 | 
36 |         

37 |             
38 |             {{ form.quickcheck_command(class_='form-control') }}
39 |              
The command to execute a quick check (optional).

40 |         

41 | 
42 |         

43 |             
44 |             {{ form.quickcheck_timeout(class_='form-control') }}
45 |              
Timeout for the quick check (optional).

46 |         

47 | 
48 |         

49 |             
50 |             {{ form.test_command(class_='form-control') }}
51 |              
The command to execute the test suite.

52 |         

53 | 
54 |         

55 |             
56 |             {{ form.test_timeout(class_='form-control') }}
57 |              
Timeout for the test suite (optional).

58 |         

59 | 
60 |         

61 |             
62 |             {{ form.clean_command(class_='form-control') }}
63 |              
Command to clean after executing the test suite (optional).

64 |         

65 | 
66 |         
67 |     

68 | {% endblock %}
69 | 


--------------------------------------------------------------------------------
/app/templates/v2_edit_project.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Edit project' %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Projects
    3. 
 8 |         
  3. Edit project
    4. 
 9 |     

10 | {% endblock %}
11 | 
12 | {% block content %}
13 |     
Edit project

14 | 
15 |     

16 |         {{ form.hidden_tag() }}
17 | 
18 |         

19 |             
20 |             {{ form.name(class_='form-control') }}
21 |              
Name of the project.

22 |         

23 | 
24 |         

25 |             
26 |             {{ form.workdir(class_='form-control') }}
27 |              
The absolute path of a working directory in which the commands will be executed.

28 |         

29 | 
30 |         

31 |             
32 |             {{ form.build_command(class_='form-control') }}
33 |              
The command to build the project.

34 |         

35 | 
36 |         

37 |             
38 |             {{ form.quickcheck_command(class_='form-control') }}
39 |              
The command to execute a quick check (optional).

40 |         

41 | 
42 |         

43 |             
44 |             {{ form.quickcheck_timeout(class_='form-control') }}
45 |              
Timeout for the quick check (optional).

46 |         

47 | 
48 |         

49 |             
50 |             {{ form.test_command(class_='form-control') }}
51 |              
The command to execute the test suite.

52 |         

53 | 
54 |         

55 |             
56 |             {{ form.test_timeout(class_='form-control') }}
57 |              
Timeout for the test suite (optional).

58 |         

59 | 
60 |         

61 |             
62 |             {{ form.clean_command(class_='form-control') }}
63 |              
Command to clean after executing the test suite (optional).

64 |         

65 | 
66 |         
67 |     

68 | {% endblock %}
69 | 


--------------------------------------------------------------------------------
/app/templates/v2_file.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='File ' + file.filename|basename %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Projects
    3. 
 8 |         
  3. {{ project.name }}
    4. 
 9 |         
  4. {{ file.filename|basename }}
    5. 
10 |     

11 | {% endblock %}
12 | 
13 | {% block content %}
14 |     
15 |         {{ file.content }}
16 |     

17 | {% endblock %}
18 | 


--------------------------------------------------------------------------------
/app/templates/v2_generate_patches.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Generate patches' %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Projects
    3. 
 8 |         
  3. {{ project.name }}
    4. 
10 |         
  4. Generate patches
    5. 
11 |     

12 | {% endblock %}
13 | 
14 | {% block content %}
15 |     
Generate patches for file {{ file.filename|basename }}

16 | 
17 |     

18 | 
19 |         

20 |             
21 |             

22 |                 
23 |             

24 |         

25 |         

26 |             
27 |             

28 |                 
29 |             

30 |         

31 |         {% for mutator_name, mutator in mutators.items() %}
32 |             

33 |                 
37 |             

38 |         {% endfor %}
39 | 
40 |         
41 |     

42 | {% endblock %}
43 | 


--------------------------------------------------------------------------------
/app/templates/v2_index.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Home' %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |     

 8 | {% endblock %}
 9 | 
10 | {% block content %}
11 |     
22 | {% endblock %}
23 | 


--------------------------------------------------------------------------------
/app/templates/v2_mutator.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Mutator ' + mutator.mutator_id %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Mutators
    3. 
 8 |         
  3. Mutator {{ mutator.mutator_id }}
    4. 
 9 |     

10 | {% endblock %}
11 | 
12 | {% block content %}
13 |     
{{ mutator.mutator_id }}

14 | 
15 |     
{{ mutator.description }}

16 | 
17 |     
Tags:
18 |     {% for tag in mutator.tags %}
19 |         {{ tag }}
20 |     {% endfor %}
21 |     

22 | 
23 | 
24 |     
Patches

25 | 
26 |     
27 |     
28 |     
29 |         
30 |         
31 |         
32 |         
33 |     
34 |     
35 |     
36 |     {% for patch in patches.items %}
37 |     
38 |         
39 |         
40 |         
41 |         
42 |     
43 |     {% endfor %}
44 |     
45 |     
PatchProjectStateCommand
{{ patch.id }}{{ patch.project_id }}{{ patch.state }}{{ patch.killed_stage }}

46 | 
47 |     
76 | {% endblock %}
77 | 


--------------------------------------------------------------------------------
/app/templates/v2_mutators.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Mutators' %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Mutators
    3. 
 8 |     

 9 | {% endblock %}
10 | 
11 | {% block content %}
12 |     
Mutators

13 |     
    
14 |     {% for mutator in mutators|sort %}
15 |         
  • {{ mutator }}
    • 
16 |     {% endfor %}
17 |     

18 | {% endblock %}
19 | 


--------------------------------------------------------------------------------
/app/templates/v2_patch.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Patch ' + patch.id|string %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Projects
    3. 
 8 |         
  3. {{ project.name }}
    4. 
10 |         
  4. Patches
    5. 
12 |         
  5. Patch {{ patch.id }}
    6. 
13 |     

14 | {% endblock %}
15 | 
16 | {% block content %}
17 | 
18 |     

19 |         {% if previous_patch is not none %}
20 |             « Patch {{ previous_patch.id }}
21 |         {% else %}
22 |             
23 |         {% endif %}
24 | 
25 |         {% if next_patch is not none %}
26 |             Patch {{ next_patch.id }} »
27 |         {% else %}
28 |         
29 |         {% endif %}
30 |     

31 | 
32 |     
Patch {{ patch.id }}

33 | 
34 |     
Patch

35 |     
{{ patch.patch }}

36 | 
37 |     
Description

38 |     {% set patch_description = mutators[patch.kind].description %}
39 | 
40 |     
The patch is of kind {{ patch.kind }} and {{ patch_description[0]|lower }}{{ patch_description[1:] }}

41 | 
42 |     {% if patch.code_replacement is not none %}
43 |         
In line {{ patch.line }} of file {{ patch.file.filename|basename }}, {{ patch.code_original|striptext }} was replaced with {{ patch.code_replacement|striptext }}.

44 |     {% else %}
45 |         
Line {{ patch.line }} of file {{ patch.file.filename|basename }} ({{ patch.code_original|striptext }}) was deleted.

46 |     {% endif %}
47 | 
48 |     {% if patch.state == 'killed' %}
49 |         
The patch has been detected running the {{ patch.killed_stage }}.

50 |     {% elif patch.state == 'survived' %}
51 |         
The patch has survived.

52 |     {% else %}
53 |         
The patch has not yet been investigated.

54 |     {% endif %}
55 | 
56 |     {% if patch.state != 'incomplete' %}
57 |     
The evaluation took {{ patch.runtime|round(2) }} seconds.

58 |     {% endif %}
59 | 
60 |     
Confirmation

61 | 
62 |     
Confirmation is {{ patch.confirmation }}.

63 | 
64 |     

65 |         {{ form.hidden_tag() }}
66 |         {% for choice, label in form.confirmation.choices %}
67 |             
68 |         {% endfor %}
69 |     
    
70 | 
71 |     
Runs

72 |     
73 |         
74 |         
75 |             
76 |             
77 |             
78 |             
79 |             
80 |         
81 |         
82 |         
83 |         {% for run in patch.runs %}
84 |             
85 |                 
86 |                 
87 |                 
88 |                 
89 |                 
90 |             
91 |         {% endfor %}
92 |         
93 |     
rundurationcommandsuccesslog
{{ run.id }}{{ run.duration|round(2) }}{{ run.command }}{{ run.success }}{{ run.log }}

94 | 
95 | {% endblock %}
96 | 


--------------------------------------------------------------------------------
/app/templates/v2_patches.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Patches' %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Projects
    3. 
 8 |         
  3. {{ project.name }}
    4. 
 9 |         {% if request.args.get('patch_state') %}
10 |             
  4. Patches
    5. 
11 |         
  5. {{ request.args.get('patch_state') }}
    6. 
12 |         {% else %}
13 |         
  6. Patches
    7. 
14 |         {% endif %}
15 |     

16 | {% endblock %}
17 | 
18 | {% block content %}
19 | 
Patches

20 | 
21 |     
22 |         
23 |         
24 |             
25 |             
26 |             
27 |             
28 |             
29 |             
30 |         
31 |         
32 |         
33 |         {% for patch in patches.items %}
34 |             
35 |                 
38 |                 
39 |                 
40 |                 
41 |                 
51 |             
61 |             
62 |         {% endfor %}
63 |         
64 |     
patchfilelinekindstateconfirmation

36 |                     {{ patch.id }}
37 |                 {{ patch.file.filename|basename }}{{ patch.line }}{{ patch.kind }}
42 |                     {% if patch.state == 'killed' %}
43 |                         
44 |                     {% elif patch.state == 'survived' %}
45 |                         
46 |                     {% else %}
47 |                         
48 |                     {% endif %}
49 |                     {{ patch.state }}
50 |                 
52 |                 {% if patch.confirmation == 'confirmed' %}
53 |                         
54 |                 {% elif patch.confirmation == 'ignored' %}
55 |                         
56 |                 {% elif patch.confirmation == 'unknown' %}
57 |                         
58 |                 {% endif %}
59 |                 {{ patch.confirmation }}
60 |             

65 | 
66 | 
67 |     
96 | 
97 | {% endblock %}
98 | 


--------------------------------------------------------------------------------
/app/templates/v2_projects.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Projects' %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Projects
    3. 
 8 |     

 9 | {% endblock %}
10 | 
11 | {% block content %}
12 |     
Projects

13 | 
14 |     

15 |         {% for project in projects %}
16 |             

17 |                 

18 |                     

19 |                         
 {{ project.name }}
21 |                         

22 |                         

23 |                             {{ project.files.count() }} files, {{ project.patches.count() }} patches

24 |                             {{ project.findings }} findings

25 |                             {% set last_finding = project.last_finding %}
26 |                             {% if last_finding %}
27 |                             last finding {{ project.last_finding|humanize }}
28 |                             {% endif %}
29 |                         

30 |                          Edit
31 |                     

32 |                 

33 |             

34 |         {% endfor %}
35 |         

36 |             

37 |                 

38 |                     
 New Project

40 |                     
Create a new project.

41 |                 

42 |             

43 |         

44 |     

45 | 
46 | {% endblock %}
47 | 


--------------------------------------------------------------------------------
/app/templates/v2_queue.html:
--------------------------------------------------------------------------------
  1 | {% extends "v2_base.html" %}
  2 | {% set title='Queue' %}
  3 | 
  4 | {% block breadcrumb %}
  5 |     
    
  6 |         
  1. Home
    2. 
  7 |         
  2. Queue
    3. 
  8 |     

  9 | {% endblock %}
 10 | 
 11 | {% block content %}
 12 |     
Queue

 13 | 
 14 |     

 15 |     {% if executor.running %}
 16 |         
 17 |              pause
 18 | 
 19 |         {% set additional_bar_class = ' progress-bar-striped progress-bar-animated' %}
 20 |     {% elif executor.current_patch %}
 21 |         
 22 |              pausing...
 23 |     {% else %}
 24 |         
 25 |              resume
 26 |     {% endif %}
 27 |     

 28 | 
 29 |     
current patch: {{ executor.current_patch }}

 30 | 
 31 |     
todo: {{ executor.count }} patches

 32 | 
 33 |     {% set stats = stats.run_stats() %}
 34 |     {% set patch_finished_percentage = 0.0 if stats.patch.count._all_ == 0 else 100.0 * ((stats.patch.count._all_ - stats.patch.count.incomplete) / stats.patch.count._all_) %}
 35 | 
 36 |     

 37 |         

 38 |             {{ stats.patch.count.killed + stats.patch.count.survived }}
 39 |         

 40 |     

 41 | 
 42 |     {% if executor.count > 0 %}
 43 |     
 44 |     now
 45 |     {{ stats.eta|humanize }}
 46 |     
 47 |     {% endif %}
 48 | 
 49 | 
 50 |     
 

 51 | 
 52 |     
 53 |         
 54 |         
 55 |             
 56 |             
 57 |             
 58 |             
 59 |             
 60 |             
 61 |         
 62 |         
 63 |         
 64 |         {% for patch in patches.items %}
 65 |             {% if executor.current_patch and (patch.id == executor.current_patch.id) %}
 66 |                 {% if executor.running %}
 67 |                 
 68 |                 {% else %}
 69 |                 
 70 |                 {% endif %}
 71 |             {% else %}
 72 |                 
 73 |             {% endif %}
 74 |         
 77 |         
 80 |         
 83 |         
 84 |         
 85 |         
 86 |         
 87 |         {% endfor %}
 88 |         
 89 |     
PatchProjectFileLineKindState

 75 |             {{ patch.id }}
 76 |         
 78 |             {{ patch.project.name }}
 79 |         
 81 |             {{ patch.file.filename|basename }}
 82 |         {{ patch.line }}{{ patch.kind }}{{ patch.state }}

 90 | 
 91 |     
120 | {% endblock %}
121 | 


--------------------------------------------------------------------------------
/app/templates/v2_run.html:
--------------------------------------------------------------------------------
 1 | {% extends "v2_base.html" %}
 2 | {% set title='Run ' + run.id|string %}
 3 | 
 4 | {% block breadcrumb %}
 5 |     
    
 6 |         
  1. Home
    2. 
 7 |         
  2. Projects
    3. 
 8 |         
  3. {{ project.name }}
    4. 
10 |         
  4. Patches
    5. 
12 |         
  5. Patch {{ patch.id }}
    6. 
13 |         
  6. Run {{ run.id }}
    7. 
14 |     

15 | {% endblock %}
16 | 
17 | {% block content %}
18 |     
Run {{ run.id }}

19 | 
20 |     
21 |         
22 |         
23 |             
24 |             
25 |             
26 |             
27 |             
28 |         
29 |         
30 |         
31 |             
32 |                 
33 |                 
34 |                 
35 |                 
36 |                 
37 |             
38 |         
39 |     
rundurationcommandsuccesslog
{{ run.id }}{{ run.duration|round(2) }}{{ run.command }}{{ run.success }}{{ run.log }}

40 | 
41 |     {{ run.timestamp_start }}
42 |     
{{ run.output|string }}

43 |     {{ run.timestamp_end }}
44 | 
45 | {% endblock %}
46 | 


--------------------------------------------------------------------------------
/app/utils/Executor.py:
--------------------------------------------------------------------------------
  1 | # coding=utf-8
  2 | 
  3 | import shlex
  4 | import subprocess
  5 | from threading import Timer, Thread
  6 | import psutil
  7 | from app.models import Patch, Run, File
  8 | import tempfile
  9 | import os
 10 | import datetime
 11 | from app import db
 12 | 
 13 | 
 14 | class Executor:
 15 |     def __init__(self, app):
 16 |         self.__processes = []
 17 |         self.running = False
 18 |         self.app = app
 19 |         self.__current_patch = None
 20 | 
 21 |     def start(self):
 22 |         if self.__current_patch is None:
 23 |             self.running = True
 24 |             Thread(target=self.main).start()
 25 | 
 26 |     def stop(self):
 27 |         self.running = False
 28 | 
 29 |     @property
 30 |     def count(self):
 31 |         return Patch.query.filter(Patch.state == 'incomplete').count()
 32 | 
 33 |     @property
 34 |     def current_patch(self):
 35 |         return self.__current_patch
 36 | 
 37 |     def main(self):
 38 |         with self.app.app_context():
 39 |             while self.running:
 40 |                 for patch in Patch.query.filter(Patch.state == 'incomplete').all():
 41 |                     if self.running:
 42 |                         self.workflow(patch)
 43 |                 self.stop()
 44 | 
 45 |     def __execute_command_timeout(self, command, timeout=None, cwd=None, stdin=None):
 46 |         proc = subprocess.Popen(shlex.split(command), stdin=stdin, stdout=subprocess.PIPE, stderr=subprocess.PIPE,
 47 |                                 cwd=cwd)
 48 |         self.__processes.append(proc.pid)
 49 | 
 50 |         def killer(process):
 51 |             parent = psutil.Process(process.pid)
 52 |             for child in parent.children(recursive=True):  # or parent.children() for recursive=False
 53 |                 child.kill()
 54 |             parent.kill()
 55 | 
 56 |         timer = Timer(timeout, killer, (proc,))
 57 |         try:
 58 |             timer.start()
 59 |             stdout, stderr = proc.communicate()
 60 |             errcode = proc.returncode
 61 |             cancelled = not timer.is_alive()
 62 |         finally:
 63 |             timer.cancel()
 64 | 
 65 |         self.__processes.remove(proc.pid)
 66 | 
 67 |         if cancelled:
 68 |             raise subprocess.TimeoutExpired(command, timeout, stdout)
 69 | 
 70 |         if errcode != 0:
 71 |             raise subprocess.CalledProcessError(errcode, command, stdout)
 72 | 
 73 |         return stdout
 74 | 
 75 |     def workflow(self, patch: Patch):
 76 |         assert self.__current_patch is None, 'no auto-concurrency!'
 77 |         
 78 |         file = File.query.get(patch.file_id)
 79 |         
 80 |         if file is not None:
 81 |             self.__current_patch = patch
 82 | 
 83 |             # step 1: write patch to temp file
 84 |             patchfile = tempfile.NamedTemporaryFile(delete=False, mode='w')
 85 |             patchfile.write(patch.patch)
 86 |             patchfile.close()
 87 | 
 88 |             # step 2: apply patch
 89 |             self.__execute_command_timeout('patch -p1 --input={patchfile} {inputfile}'.format(patchfile=patchfile.name, inputfile=file.filename), cwd='/')
 90 | 
 91 |             # step 3: command pipeline
 92 |             success = self.__apply_command(patch, 'build_command') and \
 93 |                       self.__apply_command(patch, 'quickcheck_command') and \
 94 |                       self.__apply_command(patch, 'test_command')
 95 | 
 96 |             self.__apply_command(patch, 'clean_command')
 97 | 
 98 |             if success:
 99 |                  patch.state = 'survived'
100 |                  db.session.commit()
101 | 
102 |             # step 4: revert patch
103 |             self.__execute_command_timeout('patch -p1 --reverse --input={patchfile} {inputfile}'.format(patchfile=patchfile.name, inputfile=file.filename),
104 |                                        cwd='/')
105 | 
106 |             # step 6: delete patch file
107 |             os.remove(patchfile.name)
108 | 
109 |             self.__current_patch = None
110 | 
111 |     def __apply_command(self, patch: Patch, step: str):
112 |         print(patch, step)
113 | 
114 |         if step == 'quickcheck_command':
115 |             timeout = patch.project.quickcheck_timeout
116 |             command = patch.project.quickcheck_command
117 |         elif step == 'test_command':
118 |             timeout = patch.project.test_timeout
119 |             command = patch.project.test_command
120 |         elif step == 'build_command':
121 |             timeout = None
122 |             command = patch.project.build_command
123 |         elif step == 'clean_command':
124 |             timeout = None
125 |             command = patch.project.clean_command
126 |         else:
127 |             raise NotImplementedError
128 | 
129 |         # if no command is provided, return without creating a run; True means: next command must be executed
130 |         if not command:
131 |             return True
132 | 
133 |         run = Run()
134 |         run.command = step
135 |         run.patch_id = patch.id
136 |         run.project_id = patch.project_id
137 |         run.timestamp_start = datetime.datetime.now()
138 | 
139 |         # execute command
140 |         try:
141 |             output = self.__execute_command_timeout(command, cwd=patch.project.workdir, timeout=timeout)
142 |             timeout = False
143 |             success = True
144 |             nochange = False
145 |         except subprocess.CalledProcessError as e:
146 |             output = e.output
147 |             timeout = False
148 |             success = False
149 |             nochange = e.returncode == 77
150 |         except subprocess.TimeoutExpired as e:
151 |             output = e.output
152 |             timeout = True
153 |             success = False
154 |             nochange = False
155 | 
156 |         run.output = str(output, encoding='utf-8', errors='ignore')
157 | 
158 |         run.timestamp_end = datetime.datetime.now()
159 |         run.duration = (run.timestamp_end - run.timestamp_start).total_seconds()
160 | 
161 |         # determine log message
162 |         if success:
163 |             log = 'success'
164 |         elif timeout:
165 |             log = 'timeout'
166 |         elif nochange:
167 |             log = 'nochange'
168 |         else:
169 |             log = 'failure'
170 | 
171 |         run.log = log
172 |         run.success = success
173 | 
174 |         db.session.add(run)
175 | 
176 |         if not success:
177 |             patch.state = 'killed'
178 | 
179 |         db.session.commit()
180 | 
181 |         return success
182 | 


--------------------------------------------------------------------------------
/app/utils/Replacement.py:
--------------------------------------------------------------------------------
 1 | # coding=utf-8
 2 | 
 3 | 
 4 | class Replacement:
 5 |     def __init__(self, start_col: int = None, end_col: int = None, old_val: str = None, new_val: str = None):
 6 |         self.start_col = start_col  # type: int
 7 |         self.end_col = end_col  # type: int
 8 |         self.old_val = old_val  # type: str
 9 |         self.new_val = new_val  # type: str
10 | 
11 |     def apply(self, line: str) -> str:
12 |         # if the whole line is to be replaced, return the new value
13 |         if self.end_col - self.start_col == len(line)-1:
14 |             return self.new_val
15 | 
16 |         return '{prefix}{replacement}{suffix}'.format(
17 |             prefix=line[:self.start_col],
18 |             replacement=self.new_val,
19 |             suffix=line[self.end_col:]
20 |         )
21 | 
22 |     def __repr__(self):
23 |         return '[({begin_col}:{end_col}) "{old_val}" -> "{new_val}"]'.format(
24 |             begin_col=self.start_col,
25 |             end_col=self.end_col,
26 |             old_val=self.old_val,
27 |             new_val=self.new_val
28 |         )
29 | 


--------------------------------------------------------------------------------
/app/utils/SourceFile.py:
--------------------------------------------------------------------------------
  1 | # coding=utf-8
  2 | 
  3 | from app import db
  4 | import os
  5 | from datetime import datetime
  6 | from app.utils.Mutation import get_mutators
  7 | from app.utils.Replacement import Replacement
  8 | from app.models import File, Patch
  9 | 
 10 | 
 11 | class SourceFile:
 12 |     def __init__(self, file: File, first_line, last_line):
 13 |         self.file = file
 14 |         self.filename = file.filename
 15 |         self.full_content = [x.rstrip() for x in file.content.split('\n')]
 16 | 
 17 |         # the line numbers stored here are human-readable; to use them as indices to
 18 |         # self.full_content, we need to subtract -1
 19 |         self.first_line = first_line
 20 |         self.last_line = last_line
 21 | 
 22 |         if self.last_line == -1:
 23 |             self.last_line = len(self.full_content)
 24 | 
 25 |         # read the relevant content
 26 |         self.content = '\n'.join(self.full_content[self.first_line - 1:self.last_line])  # type: str
 27 | 
 28 |     def generate_patches(self):
 29 |         mutators = get_mutators()
 30 | 
 31 |         for line_number, line_raw in self.__get_lines():
 32 |             for mutator_name, mutator in mutators.items():
 33 |                 for mutation in mutator.find_mutations(line_raw):
 34 |                     patch_text = self.__create_patch(line_number, mutation)
 35 | 
 36 |                     patch = Patch(kind=mutator_name,
 37 |                                   line=line_number,
 38 |                                   column_start=mutation.start_col,
 39 |                                   column_end=mutation.end_col,
 40 |                                   code_original=mutation.old_val,
 41 |                                   code_replacement=mutation.new_val,
 42 |                                   patch=patch_text,
 43 |                                   state='incomplete',
 44 |                                   confirmation='unknown',
 45 |                                   file_id=self.file.id,
 46 |                                   project_id=self.file.project_id)
 47 | 
 48 |                     db.session.add(patch)
 49 | 
 50 |         db.session.commit()
 51 | 
 52 |     def __get_lines(self):
 53 |         in_comment = False
 54 | 
 55 |         for line_number in range(self.first_line, self.last_line):
 56 |             line_raw = self.full_content[line_number - 1]
 57 |             line_stripped = line_raw.strip()
 58 | 
 59 |             # skip line comments and preprocessor directives
 60 |             if line_stripped.startswith('//') or line_stripped.startswith('#'):
 61 |                 continue
 62 | 
 63 |             # skip empty lines or "bracket onlys"
 64 |             if line_stripped in ['', '{', '}', '};', '});', ')']:
 65 |                 continue
 66 | 
 67 |             # recognize the beginning of a line comment
 68 |             if line_stripped.startswith('/*'):
 69 |                 in_comment = True
 70 |                 if line_stripped.endswith('*/'):
 71 |                     in_comment = False
 72 |                 continue
 73 | 
 74 |             # skip assertions
 75 |             if line_stripped.startswith('assert(') or line_stripped.startswith('static_assert('):
 76 |                 continue
 77 | 
 78 |             # skip "private" or "protected" declaration
 79 |             if line_stripped.startswith('private:') or line_stripped.startswith('protected:'):
 80 |                 continue
 81 | 
 82 |             # recognize the end of a line comment
 83 |             if line_stripped.endswith('*/'):
 84 |                 in_comment = False
 85 |                 continue
 86 | 
 87 |             # return line to mutate
 88 |             if not in_comment:
 89 |                 yield line_number, line_raw
 90 | 
 91 |     def __create_patch(self, line_number: int, replacement: Replacement) -> str:
 92 |         # get file date in the format we need to write it to the patch
 93 |         original_file_date = datetime.fromtimestamp(os.path.getmtime(self.filename)).strftime('%Y-%m-%d %H:%M:%S.%f')
 94 | 
 95 |         # passed line_number is human-readable
 96 |         index_line_number = line_number - 1
 97 |         old_line = self.full_content[index_line_number]
 98 |         new_line = replacement.apply(old_line)
 99 | 
100 |         # number of lines before and after the changed line
101 |         context_lines = 3
102 |         context_before = self.full_content[max(0, index_line_number - context_lines):index_line_number]
103 |         context_after = self.full_content[
104 |                         index_line_number + 1:min(len(self.full_content), index_line_number + context_lines + 1)]
105 | 
106 |         patch_lines = []
107 | 
108 |         # first line: we want to change the source file
109 |         patch_lines.append('--- {filename} {date}'.format(filename=self.filename, date=original_file_date) + os.linesep)
110 |         # second line: the new file has the same name, but is changed now
111 |         patch_lines.append('+++ {filename} {date}'.format(filename=self.filename, date=datetime.now()) + os.linesep)
112 |         # third line: summarize the changes regarding to displayed lines
113 |         patch_lines.append('@@ -{lineno},{context_length} +{lineno},{context_length_shortened} @@'.format(
114 |             lineno=line_number - len(context_before),
115 |             context_length=len(context_before) + len(context_after) + 1,
116 |             context_length_shortened=len(context_before) + len(context_after) + (1 if new_line else 0)
117 |         ) + os.linesep)
118 | 
119 |         # lines: context before
120 |         patch_lines += [' ' + x + os.linesep for x in context_before]
121 |         # line: the old value
122 |         patch_lines.append('-' + old_line + os.linesep)
123 |         # line: the new value
124 |         if replacement.new_val is not None:
125 |             patch_lines.append('+' + new_line + os.linesep)
126 |         # lines: context after
127 |         patch_lines += [' ' + x + os.linesep for x in context_after]
128 | 
129 |         patch_text = ''.join(patch_lines)
130 |         return patch_text
131 | 


--------------------------------------------------------------------------------
/app/utils/Statistics.py:
--------------------------------------------------------------------------------
 1 | # coding=utf-8
 2 | 
 3 | from app.models import Patch, Run
 4 | from sqlalchemy.sql import func, and_
 5 | import datetime
 6 | 
 7 | 
 8 | class Statistics:
 9 |     @staticmethod
10 |     def run_stats(project_id=None):
11 |         patch_states = ['incomplete', 'killed', 'survived']
12 |         confirmation_states = ['confirmed', 'ignored', 'unknown']
13 |         run_commands = ['build_command', 'quickcheck_command', 'test_command']
14 |         run_logs = ['success', 'failure', 'timeout', 'nochange']
15 | 
16 |         # structure of the result dictionary
17 |         result = {
18 |             'patch': {
19 |                 'count': {
20 |                     patch_state: 0 for patch_state in patch_states + confirmation_states + ['_all_']
21 |                 }
22 |             },
23 |             'run': {
24 |                 'count': {
25 |                     command: {
26 |                         log: None for log in run_logs + ['_all_']
27 |                     } for command in run_commands + ['_all_']
28 |                 },
29 |                 'runtime': {
30 |                     aggregate: {
31 |                         command: {
32 |                             log: None for log in run_logs + ['_all_']
33 |                         } for command in run_commands + ['_all_']
34 |                     } for aggregate in ['sum', 'avg']
35 |                 }
36 |             },
37 |             'eta': None
38 |         }
39 | 
40 |         #############################################################################################
41 |         patch_base_query = Patch.query
42 | 
43 |         if project_id is not None:
44 |             patch_base_query = patch_base_query.filter(Patch.project_id == project_id)
45 | 
46 |         for patch_state in patch_states:
47 |             q = patch_base_query.filter(Patch.state == patch_state)
48 |             result['patch']['count'][patch_state] = q.count()
49 |         result['patch']['count']['_all_'] = patch_base_query.count()
50 | 
51 |         for confirmation_state in confirmation_states:
52 |             q = patch_base_query.filter(and_(Patch.state == 'survived', Patch.confirmation == confirmation_state))
53 |             result['patch']['count'][confirmation_state] = q.count()
54 | 
55 |         #############################################################################################
56 |         run_base_query = Run.query
57 | 
58 |         if project_id is not None:
59 |             run_base_query = run_base_query.filter(Run.project_id == project_id)
60 | 
61 |         for run_command in run_commands:
62 |             for run_log in run_logs:
63 |                 q = run_base_query.filter(Run.command == run_command).filter(Run.log == run_log)
64 |                 result['run']['count'][run_command][run_log] = q.count()
65 |                 result['run']['runtime']['sum'][run_command][run_log] = q.with_entities(func.sum(Run.duration)).scalar() or 0
66 |                 result['run']['runtime']['avg'][run_command][run_log] = q.with_entities(func.avg(Run.duration)).scalar() or 0
67 | 
68 |             q = run_base_query.filter(Run.command == run_command)
69 |             result['run']['count'][run_command]['_all_'] = q.count()
70 |             result['run']['runtime']['sum'][run_command]['_all_'] = q.with_entities(func.sum(Run.duration)).scalar() or 0
71 |             result['run']['runtime']['avg'][run_command]['_all_'] = q.with_entities(func.avg(Run.duration)).scalar() or 0
72 | 
73 |         for run_log in run_logs:
74 |             q = run_base_query.filter(Run.log == run_log)
75 |             result['run']['count']['_all_'][run_log] = q.count()
76 |             result['run']['runtime']['sum']['_all_'][run_log] = q.with_entities(func.sum(Run.duration)).scalar() or 0
77 |             result['run']['runtime']['avg']['_all_'][run_log] = q.with_entities(func.avg(Run.duration)).scalar() or 0
78 | 
79 |         result['run']['count']['_all_']['_all_'] = run_base_query.count()
80 |         result['run']['runtime']['sum']['_all_']['_all_'] = run_base_query.with_entities(func.sum(Run.duration)).scalar() or 0
81 |         result['run']['runtime']['avg']['_all_']['_all_'] = run_base_query.with_entities(func.avg(Run.duration)).scalar() or 0
82 | 
83 |         #############################################################################################
84 | 
85 |         result['eta'] = datetime.datetime.now() + datetime.timedelta(seconds=result['patch']['count']['incomplete'] * result['run']['runtime']['avg']['_all_']['_all_'])
86 | 
87 |         return result
88 | 


--------------------------------------------------------------------------------
/app/utils/__init__.py:
--------------------------------------------------------------------------------
1 | # coding=utf-8
2 | 


--------------------------------------------------------------------------------
/cli/add_files.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | # coding=utf-8
 3 | # PYTHON_ARGCOMPLETE_OK
 4 | 
 5 | import sys
 6 | from argparse import ArgumentParser
 7 | from pathlib import Path
 8 | 
 9 | # Allow this script to be used from the parent directory
10 | sys.path.append(".")
11 | 
12 | from app import db
13 | from app.models import Project, File
14 | 
15 | 
16 | def main():
17 |     # Parse arguments
18 |     argument_parser = ArgumentParser(description="Add files to a project.")
19 |     argument_parser.add_argument(
20 |         "--project", type=str, required=True,
21 |         help="The name of the project."
22 |     )
23 |     argument_parser.add_argument(
24 |         'files', type=str, metavar="FILE", nargs='+',
25 |         help="A file to be added to the project."
26 |     )
27 |     arguments = argument_parser.parse_args()
28 | 
29 |     # Verify that the project exists
30 |     project_query = Project.query.filter(Project.name == arguments.project)
31 |     if project_query.count() != 1:
32 |         print(f"Project '{arguments.project}' doesn't exist.", file=sys.stderr)
33 |         exit(1)
34 | 
35 |     # Retrieve project id
36 |     project_id = project_query.first().id
37 | 
38 |     for arg_filename in arguments.files:
39 |         file_path: Path = Path(arg_filename)
40 |         filename = file_path.absolute().as_posix()
41 | 
42 |         # Verify that the file exists
43 |         if not file_path.exists():
44 |             print(f"File '{file_path}' doesn't exist.", file=sys.stderr)
45 |             exit(2)
46 | 
47 |         # Verify that the file isn't already added to the project
48 |         file_contents = file_path.read_text()
49 | 
50 |         # Add the file to the db
51 |         file = File(
52 |             filename=filename,
53 |             content=file_contents,
54 |             project_id=project_id
55 |         )
56 | 
57 |         if File.query.filter(File.project_id == project_id).filter(File.filename == filename).count() > 0:
58 |             print(f"Skipping file '{file_path.name}' since it is already added to project '{arguments.project}'.")
59 |             continue
60 | 
61 |         db.session.add(file)
62 |         db.session.commit()
63 | 
64 |         print(f"File '{file_path.name}' added successfully.")
65 |     exit(0)
66 | 
67 | 
68 | if __name__ == "__main__":
69 |     main()
70 | 


--------------------------------------------------------------------------------
/cli/create_project.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | # coding=utf-8
 3 | # PYTHON_ARGCOMPLETE_OK
 4 | 
 5 | import sys
 6 | from argparse import ArgumentParser
 7 | 
 8 | # Allow this script to be used from the parent directory
 9 | sys.path.append(".")
10 | 
11 | from app import db
12 | from app.models import Project
13 | 
14 | 
15 | def main():
16 |     # Parse arguments
17 |     argument_parser = ArgumentParser(description="Create a new project.")
18 |     argument_parser.add_argument(
19 |         "--name", type=str, required=True,
20 |         help="The name of the project."
21 |     )
22 |     argument_parser.add_argument(
23 |         "--workdir", type=str, required=True,
24 |         help="The working directory in which all commands will be executed."
25 |     )
26 |     argument_parser.add_argument(
27 |         "--build-command", type=str, required=True,
28 |         help="The build command to use."
29 |     )
30 |     argument_parser.add_argument(
31 |         "--quickcheck-command", type=str, required=False, default='',
32 |         help="The quickcheck command to use."
33 |     )
34 |     argument_parser.add_argument(
35 |         "--quickcheck-timeout", type=int, required=False,
36 |         help="The timeout of the quickcheck command."
37 |     )
38 |     argument_parser.add_argument(
39 |         "--test-command", type=str, required=True,
40 |         help="The test command to use."
41 |     )
42 |     argument_parser.add_argument(
43 |         "--test-timeout", type=int, required=False,
44 |         help="The timeout of the test command."
45 |     )
46 |     argument_parser.add_argument(
47 |         "--clean-command", type=str, required=False, default='',
48 |         help="The clean command to use."
49 |     )
50 |     arguments = argument_parser.parse_args()
51 | 
52 |     # Verify that a project with the same name doesn't exist yet
53 |     if Project.query.filter(Project.name == arguments.name).count() > 0:
54 |         print(f"Project '{arguments.name}' already exists", file=sys.stderr)
55 |         exit(1)
56 | 
57 |     # Add the project to the DB
58 |     project = Project(
59 |         name=arguments.name,
60 |         workdir=arguments.workdir,
61 |         build_command=arguments.build_command,
62 |         quickcheck_command=arguments.quickcheck_command,
63 |         quickcheck_timeout=arguments.quickcheck_timeout,
64 |         test_command=arguments.test_command,
65 |         test_timeout=arguments.test_timeout,
66 |         clean_command=arguments.clean_command
67 |     )
68 |     db.session.add(project)
69 |     db.session.commit()
70 | 
71 |     print(f"Project '{project.name}' created successfully.")
72 |     exit(0)
73 | 
74 | 
75 | if __name__ == "__main__":
76 |     main()
77 | 


--------------------------------------------------------------------------------
/cli/delete_project.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python3
 2 | # coding=utf-8
 3 | # PYTHON_ARGCOMPLETE_OK
 4 | 
 5 | import sys
 6 | from argparse import ArgumentParser
 7 | 
 8 | # Allow this script to be used from the parent directory
 9 | sys.path.append(".")
10 | 
11 | from app import db
12 | from app.models import Project
13 | 
14 | 
15 | def main():
16 |     # Parse arguments
17 |     argument_parser = ArgumentParser(description="Delete a project.")
18 |     argument_parser.add_argument(
19 |         "--project", type=str, required=True,
20 |         help="The name of the project to delete."
21 |     )
22 |     arguments = argument_parser.parse_args()
23 | 
24 |     # Find that project
25 |     project_query = Project.query.filter(Project.name == arguments.project)
26 |     if project_query.count() == 0:
27 |         print(f"Project '{arguments.project}' does not exist", file=sys.stderr)
28 |         exit(1)
29 | 
30 |     # Delete the project from the DB
31 |     db.session.delete(project_query.first())
32 |     db.session.commit()
33 | 
34 |     print(f"Project '{arguments.project}' deleted successfully.")
35 |     exit(0)
36 | 
37 | 
38 | if __name__ == "__main__":
39 |     main()
40 | 


--------------------------------------------------------------------------------
/cli/generate_patches.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | # coding=utf-8
 3 | # PYTHON_ARGCOMPLETE_OK
 4 | 
 5 | import sys
 6 | from argparse import ArgumentParser
 7 | 
 8 | # Allow this script to be used from the parent directory
 9 | sys.path.append(".")
10 | 
11 | from app.models import Project, File
12 | from app.utils.SourceFile import SourceFile
13 | 
14 | 
15 | def main():
16 |     # Parse arguments
17 |     argument_parser = ArgumentParser(description="Generate patches.")
18 |     argument_parser.add_argument(
19 |         "--project", type=str, required=True,
20 |         help="The name of the project. If not provided, all projects will be processed."
21 |     )
22 |     # TODO allow selection of first/last line + which patches to generate
23 |     arguments = argument_parser.parse_args()
24 | 
25 |     # Verify that the project exists
26 |     project_query = Project.query.filter(Project.name == arguments.project)
27 |     if project_query.count() == 0:
28 |         print(f"Project '{arguments.project}' doesn't exist.", file=sys.stderr)
29 |         exit(1)
30 | 
31 |     # Retrieve all files
32 |     files = File.query.filter(File.project_id == project_query.first().id).all()
33 | 
34 |     if len(files) == 0:
35 |         print("No files found to process.")
36 |         exit(2)
37 | 
38 |     for file in files:
39 |         print(f"Generating patches for '{file.filename}'...")
40 |         source_file = SourceFile(file, 1, -1)
41 |         source_file.generate_patches()
42 | 
43 |     print("Done")
44 |     exit(0)
45 | 
46 | 
47 | if __name__ == "__main__":
48 |     main()
49 | 


--------------------------------------------------------------------------------
/cli/queue_control.py:
--------------------------------------------------------------------------------
 1 | #!/usr/bin/env python
 2 | # coding=utf-8
 3 | # PYTHON_ARGCOMPLETE_OK
 4 | 
 5 | import sys
 6 | from argparse import ArgumentParser
 7 | from urllib import request
 8 | 
 9 | # Allow this script to be used from the parent directory
10 | sys.path.append(".")
11 | 
12 | from app.models import Patch
13 | 
14 | 
15 | # TODO retrieve the actual server and port from the application
16 | 
17 | def main():
18 |     # Parse argument
19 |     argument_parser = ArgumentParser(description="Control the Mutate++ queue.")
20 |     argument_parser.add_argument(
21 |         "action", choices=['start', 'stop', 'status'],
22 |         help="The queue action to be done."
23 |     )
24 |     arguments = argument_parser.parse_args()
25 | 
26 |     if arguments.action == 'start':
27 |         request.urlopen("http://127.0.0.1:5000/queue/start")
28 |     elif arguments.action == 'stop':
29 |         request.urlopen("http://127.0.0.1:5000/queue/stop")
30 |     elif arguments.action == 'status':
31 |         incomplete_patches = Patch.query.filter(Patch.state == 'incomplete').count()
32 |         all_patches = Patch.query.count()
33 |         if all_patches == 0:
34 |             print("No patches generated.")
35 |             exit(0)
36 |         finished_patches = all_patches - incomplete_patches
37 |         percentage = 100 * ((all_patches - incomplete_patches) / all_patches)
38 |         print(f"Patch {finished_patches} / {all_patches} ({percentage:.0f}%)")
39 | 
40 | 
41 | if __name__ == "__main__":
42 |     main()
43 | 


--------------------------------------------------------------------------------
/db_create.py:
--------------------------------------------------------------------------------
 1 | # coding=utf-8
 2 | 
 3 | from migrate.versioning import api
 4 | from app.config import SQLALCHEMY_DATABASE_URI
 5 | from app.config import SQLALCHEMY_MIGRATE_REPO
 6 | from app import db
 7 | import os.path
 8 | 
 9 | if __name__ == '__main__':
10 |     db.create_all()
11 |     if not os.path.exists(SQLALCHEMY_MIGRATE_REPO):
12 |         api.create(SQLALCHEMY_MIGRATE_REPO, 'database repository')
13 |         api.version_control(SQLALCHEMY_DATABASE_URI, SQLALCHEMY_MIGRATE_REPO)
14 |     else:
15 |         api.version_control(SQLALCHEMY_DATABASE_URI, SQLALCHEMY_MIGRATE_REPO, api.version(SQLALCHEMY_MIGRATE_REPO))
16 | 


--------------------------------------------------------------------------------
/db_migrate.py:
--------------------------------------------------------------------------------
 1 | # coding=utf-8
 2 | 
 3 | import imp
 4 | from migrate.versioning import api
 5 | from app import db
 6 | from app.config import SQLALCHEMY_DATABASE_URI
 7 | from app.config import SQLALCHEMY_MIGRATE_REPO
 8 | 
 9 | if __name__ == '__main__':
10 |     v = api.db_version(SQLALCHEMY_DATABASE_URI, SQLALCHEMY_MIGRATE_REPO)
11 |     migration = SQLALCHEMY_MIGRATE_REPO + ('/versions/%03d_migration.py' % (v+1))
12 |     tmp_module = imp.new_module('old_model')
13 |     old_model = api.create_model(SQLALCHEMY_DATABASE_URI, SQLALCHEMY_MIGRATE_REPO)
14 |     exec(old_model, tmp_module.__dict__)
15 |     script = api.make_update_script_for_model(SQLALCHEMY_DATABASE_URI, SQLALCHEMY_MIGRATE_REPO, tmp_module.meta, db.metadata)
16 |     open(migration, "wt").write(script)
17 |     api.upgrade(SQLALCHEMY_DATABASE_URI, SQLALCHEMY_MIGRATE_REPO)
18 |     v = api.db_version(SQLALCHEMY_DATABASE_URI, SQLALCHEMY_MIGRATE_REPO)
19 |     print('New migration saved as ' + migration)
20 |     print('Current database version: ' + str(v))
21 | 


--------------------------------------------------------------------------------
/db_upgrade.py:
--------------------------------------------------------------------------------
 1 | # coding=utf-8
 2 | 
 3 | from migrate.versioning import api
 4 | from app.config import SQLALCHEMY_DATABASE_URI
 5 | from app.config import SQLALCHEMY_MIGRATE_REPO
 6 | 
 7 | if __name__ == '__main__':
 8 |     api.upgrade(SQLALCHEMY_DATABASE_URI, SQLALCHEMY_MIGRATE_REPO)
 9 |     v = api.db_version(SQLALCHEMY_DATABASE_URI, SQLALCHEMY_MIGRATE_REPO)
10 |     print('Current database version: ' + str(v))
11 | 


--------------------------------------------------------------------------------
/doc/1_create_project.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/1_create_project.png


--------------------------------------------------------------------------------
/doc/2_create_project_dialog.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/2_create_project_dialog.png


--------------------------------------------------------------------------------
/doc/3_project_overview.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/3_project_overview.png


--------------------------------------------------------------------------------
/doc/4_add_file.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/4_add_file.png


--------------------------------------------------------------------------------
/doc/5_generate_patches.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/5_generate_patches.png


--------------------------------------------------------------------------------
/doc/6_patch.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/6_patch.png


--------------------------------------------------------------------------------
/doc/7_queue.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/7_queue.png


--------------------------------------------------------------------------------
/doc/8_queue_running.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/8_queue_running.png


--------------------------------------------------------------------------------
/doc/9_patches_overview.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/9_patches_overview.png


--------------------------------------------------------------------------------
/doc/workflow.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/nlohmann/mutate_cpp/a7b264790ea0ad17b52a60d160079bb62cdd7121/doc/workflow.png


--------------------------------------------------------------------------------
/doc/workflow.puml:
--------------------------------------------------------------------------------
 1 | @startuml
 2 | (*) --> if "mutations exist" then
 3 | -->[yes] "mutate source code"
 4 | --> "execute build command"
 5 | 
 6 | if "build succeeds" then
 7 | -->[yes] "execute test command"
 8 |     if "tests succeeds" then
 9 |     -->[yes] "mutation survived"
10 |     --> "update status"
11 |     else
12 |     -->[no] "mutation killed"
13 |     endif
14 | else
15 | -->[no] "mutation killed"
16 | endif
17 | --> "update status"
18 | --> "mutate source code"
19 | else
20 | -->[no] (*)
21 | endif
22 | 
23 | @enduml


--------------------------------------------------------------------------------
/requirements.txt:
--------------------------------------------------------------------------------
 1 | appdirs>=1.4.4
 2 | Brotli>=1.0.9
 3 | click>=8.0.3
 4 | decorator>=5.1.1
 5 | Flask>=2.0.2
 6 | Flask-Compress>=1.10.1
 7 | Flask-Humanize>=0.3.0
 8 | Flask-SQLAlchemy>=2.5.1
 9 | Flask-WTF>=1.0.0
10 | humanize>=4.0.0
11 | itsdangerous>=2.0.1
12 | Jinja2>=3.0.3
13 | MarkupSafe>=2.0.1
14 | packaging>=21.3
15 | pbr>=5.8.1
16 | psutil>=5.9.0
17 | pyparsing>=3.0.7
18 | python-utils>=3.1.0
19 | six>=1.16.0
20 | SQLAlchemy>=1.4.31
21 | sqlalchemy-migrate>=0.13.0
22 | sqlparse>=0.4.2
23 | Tempita>=0.5.2
24 | Werkzeug>=2.0.3
25 | WTForms>=3.0.1
26 | 


--------------------------------------------------------------------------------
/run.py:
--------------------------------------------------------------------------------
1 | #!/usr/bin/env python
2 | # coding=utf-8
3 | 
4 | from app import app
5 | app.run(debug=True)
6 | 


--------------------------------------------------------------------------------