{"header":{"message":"Bump sass from 1.89.2 to 1.90.0 (#1124)","description":"Bumps [sass](https://github.com/sass/dart-sass) from 1.89.2 to 1.90.0.\n

Release notes

Sourced from sass's\nreleases.

\n
Dart Sass 1.90.0
\n
To install Sass 1.90.0, download one of the packages below and add it to your PATH, or\nsee the Sass website for\nfull installation instructions.
\n
Changes
\n
\n
Allow a @forwarded module to be loaded with a\nconfiguration when that module has already been loaded with a different\nconfiguration and the module doesn't define any variables that\nwould have been configured anyway.
\n
\n
See the full\nchangelog for changes in earlier releases.
\n

Changelog

Sourced from sass's\nchangelog.

\n
1.90.0
\n
\n
Allow a @forwarded module to be loaded with a\nconfiguration when that module\nhas already been loaded with a different configuration and the\nmodule\ndoesn't define any variables that would have been configured\nanyway.
\n
\n

Commits

d6f4f17\nAllow unused configurations to go past @forward (#2600)
02fa098\nBump @types/jest from 29.5.14 to 30.0.0 in\n/pkg/sass-parser (#2591)
008bbef\nUpdate embedded-host-node release pipeline (#2609)
d3e1abf\nBump jest from 29.7.0 to 30.0.4 in /pkg/sass-parser (#2603)
b27c3ae\nFix CI by pinning postcss version to 8.5.5 and disable app armor for\nbrowser ...
a42380f\nBump jest-extended from 5.0.3 to 6.0.0 in /pkg/sass-parser (#2587)
See full diff in compare\nview

\n
\n\n

Most Recent Ignore Conditions Applied to This Pull\nRequest

\n\n| Dependency Name | Ignore Conditions |\n| --- | --- |\n| sass | [< 1.55, > 1.54.0] |\n

\n\n\n[![Dependabot compatibility\nscore](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=sass&package-manager=npm_and_yarn&previous-version=1.89.2&new-version=1.90.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores)\n\nDependabot will resolve any conflicts with this PR as long as you don't\nalter it yourself. You can also trigger a rebase manually by commenting\n`@dependabot rebase`.\n\n[//]: # (dependabot-automerge-start)\n[//]: # (dependabot-automerge-end)\n\n---\n\n

Dependabot commands and options

\n
\n\nYou can trigger Dependabot actions by commenting on this PR:\n- `@dependabot rebase` will rebase this PR\n- `@dependabot recreate` will recreate this PR, overwriting any edits\nthat have been made to it\n- `@dependabot merge` will merge this PR after your CI passes on it\n- `@dependabot squash and merge` will squash and merge this PR after\nyour CI passes on it\n- `@dependabot cancel merge` will cancel a previously requested merge\nand block automerging\n- `@dependabot reopen` will reopen this PR if it is closed\n- `@dependabot close` will close this PR and stop Dependabot recreating\nit. You can achieve the same result by closing it manually\n- `@dependabot show ignore conditions` will show all\nof the ignore conditions of the specified dependency\n- `@dependabot ignore this major version` will close this PR and stop\nDependabot creating any more for this major version (unless you reopen\nthe PR or upgrade to it yourself)\n- `@dependabot ignore this minor version` will close this PR and stop\nDependabot creating any more for this minor version (unless you reopen\nthe PR or upgrade to it yourself)\n- `@dependabot ignore this dependency` will close this PR and stop\nDependabot creating any more for this dependency (unless you reopen the\nPR or upgrade to it yourself)\n\n\n

\n\nSigned-off-by: dependabot[bot] \nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>","timestamp":"2025-08-13T11:15:43Z","authors":[{"email":"49699333+dependabot[bot]@users.noreply.github.com","name":"dependabot[bot]"}]},"hash":"SHHLAOUJR4YNATSPEACPP56ITB6353COYJGUDEN47747EFPYJNQAC","authors":[],"deps":{"hashes":[["SHHLAOUJR4YNATSPEACPP56ITB6353COYJGUDEN47747EFPYJNQAC","Bump sass from 1.89.2 to 1.90.0 (#1124)"],["AA",null]],"deps":[],"known":[]},"hunks":[{"AddRoot":{"inode":{"change":1,"pos":0},"atom":{"NewVertex":{"up_context":[{"change":0,"pos":1}],"down_context":[],"flag":"BLOCK | FOLDER","start":2,"end":2,"inode":{"change":1,"pos":0}}},"name":{"NewVertex":{"up_context":[{"change":1,"pos":0}],"down_context":[],"flag":"BLOCK | FOLDER","start":1,"end":1,"inode":{"change":1,"pos":0}}}}},{"FileAdd":{"meta":{"basename":"web","metadata":576},"context":[{"change":0,"pos":2}],"contents":[]}},{"FileAdd":{"meta":{"basename":"templates","metadata":576},"context":[{"change":0,"pos":4}],"contents":[]}},{"FileAdd":{"meta":{"basename":"standalone.html","metadata":0},"context":[{"change":0,"pos":21}],"contents":[{"Add":""},{"Add":""},{"Add":" $^$${ head() }"},{"Add":" "},{"Add":"

"},{"Add":"

$pagetitle$

"},{"Add":" $for(author)$"},{"Add":"

$author$

"},{"Add":" $endfor$"},{"Add":"

$date$

"},{"Add":"

$rights$

"},{"Add":"

"},{"Add":"$body$"},{"Add":"

"},{"Add":"

"},{"Add":" $^$${ footer() }"},{"Add":" "},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"post.html","metadata":0},"context":[{"change":0,"pos":21}],"contents":[{"Add":"

"},{"Add":"

$title$

"},{"Add":"

"},{"Add":" "},{"Add":" $date$"},{"Add":" "},{"Add":"

"},{"Add":"

"},{"Add":"$body$"},{"Add":"

"},{"Add":" "},{"Add":"

"}]}},{"FileAdd":{"meta":{"basename":"page.html","metadata":0},"context":[{"change":0,"pos":21}],"contents":[{"Add":"

"},{"Add":" $^$${ next() }"},{"Add":"

"},{"Add":"

$title$

"},{"Add":"

"},{"Add":"$body$"},{"Add":"

"},{"Add":" $^$${ next() }"},{"Add":"

"}]}},{"FileAdd":{"meta":{"basename":"next.html","metadata":0},"context":[{"change":0,"pos":21}],"contents":[{"Add":""}]}},{"FileAdd":{"meta":{"basename":"header.html","metadata":0},"context":[{"change":0,"pos":21}],"contents":[{"Add":"

"},{"Add":"

"},{"Add":" $pagetitle$"},{"Add":"

"},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":"

"},{"Add":" The Book"},{"Add":" Announcements"},{"Add":" Getting Started"},{"Add":" Citing"},{"Add":" 中文"},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":"

"},{"Add":"

"}]}},{"FileAdd":{"meta":{"basename":"head.html","metadata":0},"context":[{"change":0,"pos":21}],"contents":[{"Add":""},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":" $for(stylesheet)$"},{"Add":" "},{"Add":" $endfor$"},{"Add":" "},{"Add":" $if(titlerunning)$"},{"Add":" $pagetitle$ – $titlerunning$"},{"Add":" $else$"},{"Add":" $if(title)$"},{"Add":" $pagetitle$ – $title$"},{"Add":" $else$"},{"Add":" $pagetitle$"},{"Add":" $endif$"},{"Add":" $endif$"},{"Add":" "},{"Add":" $for(script)$"},{"Add":" $if(script.url)$"},{"Add":" "},{"Add":" $else$"},{"Add":" $endif$"},{"Add":" $if(script.body)$"},{"Add":" "},{"Add":" $endif$"},{"Add":" $endfor$"},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"footer.html","metadata":0},"context":[{"change":0,"pos":21}],"contents":[{"Add":""}]}},{"FileAdd":{"meta":{"basename":"default.html","metadata":0},"context":[{"change":0,"pos":21}],"contents":[{"Add":""},{"Add":""},{"Add":" $^$${ head() }"},{"Add":" "},{"Add":" $^$${ header() }"},{"Add":"

"},{"Add":"

"},{"Add":"$body$"},{"Add":"

"},{"Add":"

"},{"Add":" $^$${ footer() }"},{"Add":" "},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"sass","metadata":576},"context":[{"change":0,"pos":4}],"contents":[]}},{"FileAdd":{"meta":{"basename":"theme","metadata":576},"context":[{"change":0,"pos":7094}],"contents":[]}},{"FileAdd":{"meta":{"basename":"skins","metadata":576},"context":[{"change":0,"pos":7112}],"contents":[]}},{"FileAdd":{"meta":{"basename":"solarized.scss","metadata":0},"context":[{"change":0,"pos":7131}],"contents":[{"Add":"@charset \"utf-8\";"},{"Add":""},{"Add":"// Solarized skin"},{"Add":"// =============="},{"Add":"// Created by Sander Voerman using the Solarized"},{"Add":"// color scheme by Ethan Schoonover ."},{"Add":""},{"Add":"// This style sheet implements two options for the minima.skin setting:"},{"Add":"// \"solarized\" for light mode and \"solarized-dark\" for dark mode."},{"Add":"$sol-is-dark: false !default;"},{"Add":""},{"Add":""},{"Add":"// Color scheme"},{"Add":"// ------------"},{"Add":"// The inline comments show the canonical L*a*b values for each color."},{"Add":""},{"Add":"$sol-base03: #002b36; // 15 -12 -12"},{"Add":"$sol-base02: #073642; // 20 -12 -12"},{"Add":"$sol-base01: #586e75; // 45 -07 -07"},{"Add":"$sol-base00: #657b83; // 50 -07 -07"},{"Add":"$sol-base0: #839496; // 60 -06 -03"},{"Add":"$sol-base1: #93a1a1; // 65 -05 -02"},{"Add":"$sol-base2: #eee8d5; // 92 -00 10"},{"Add":"$sol-base3: #fdf6e3; // 97 00 10"},{"Add":"$sol-yellow: #b58900; // 60 10 65"},{"Add":"$sol-orange: #cb4b16; // 50 50 55"},{"Add":"$sol-red: #dc322f; // 50 65 45"},{"Add":"$sol-magenta: #d33682; // 50 65 -05"},{"Add":"$sol-violet: #6c71c4; // 50 15 -45"},{"Add":"$sol-blue: #268bd2; // 55 -10 -45"},{"Add":"$sol-cyan: #2aa198; // 60 -35 -05"},{"Add":"$sol-green: #859900; // 60 -20 65"},{"Add":""},{"Add":"$sol-mono3: $sol-base3;"},{"Add":"$sol-mono2: $sol-base2;"},{"Add":"$sol-mono1: $sol-base1;"},{"Add":"$sol-mono00: $sol-base00;"},{"Add":"$sol-mono01: $sol-base01;"},{"Add":""},{"Add":"@if $sol-is-dark {"},{"Add":" $sol-mono3: $sol-base03;"},{"Add":" $sol-mono2: $sol-base02;"},{"Add":" $sol-mono1: $sol-base01;"},{"Add":" $sol-mono00: $sol-base0;"},{"Add":" $sol-mono01: $sol-base1;"},{"Add":"}"},{"Add":""},{"Add":""},{"Add":"// Minima color variables"},{"Add":"// ----------------------"},{"Add":""},{"Add":"$brand-color: $sol-mono1 !default;"},{"Add":"$brand-color-light: mix($sol-mono1, $sol-mono3) !default;"},{"Add":"$brand-color-dark: $sol-mono00 !default;"},{"Add":""},{"Add":"$site-title-color: $sol-mono00 !default;"},{"Add":""},{"Add":"$text-color: $sol-mono01 !default;"},{"Add":"$background-color: $sol-mono3 !default;"},{"Add":"$code-background-color: $sol-mono2 !default;"},{"Add":""},{"Add":"$link-base-color: $sol-blue !default;"},{"Add":"$link-visited-color: mix($sol-blue, $sol-mono00) !default;"},{"Add":"$link-hover-color: $sol-mono00 !default;"},{"Add":""},{"Add":"$border-color-01: $brand-color-light !default;"},{"Add":"$border-color-02: $sol-mono1 !default;"},{"Add":"$border-color-03: $sol-mono00 !default;"},{"Add":""},{"Add":"$table-text-color: $sol-mono00 !default;"},{"Add":"$table-zebra-color: mix($sol-mono2, $sol-mono3) !default;"},{"Add":"$table-header-bg-color: $sol-mono2 !default;"},{"Add":"$table-header-border: $sol-mono1 !default;"},{"Add":"$table-border-color: $sol-mono1 !default;"},{"Add":""},{"Add":""},{"Add":"// Syntax highlighting styles"},{"Add":"// --------------------------"},{"Add":""},{"Add":".highlight {"},{"Add":" .c { color: $sol-mono1; font-style: italic } // Comment"},{"Add":" .err { color: $sol-red } // Error"},{"Add":" .k { color: $sol-mono01; font-weight: bold } // Keyword"},{"Add":" .o { color: $sol-mono01; font-weight: bold } // Operator"},{"Add":" .cm { color: $sol-mono1; font-style: italic } // Comment.Multiline"},{"Add":" .cp { color: $sol-mono1; font-weight: bold } // Comment.Preproc"},{"Add":" .c1 { color: $sol-mono1; font-style: italic } // Comment.Single"},{"Add":" .cs { color: $sol-mono1; font-weight: bold; font-style: italic } // Comment.Special"},{"Add":" .gd { color: $sol-red } // Generic.Deleted"},{"Add":" .gd .x { color: $sol-red } // Generic.Deleted.Specific"},{"Add":" .ge { color: $sol-mono00; font-style: italic } // Generic.Emph"},{"Add":" .gr { color: $sol-red } // Generic.Error"},{"Add":" .gh { color: $sol-mono1 } // Generic.Heading"},{"Add":" .gi { color: $sol-green } // Generic.Inserted"},{"Add":" .gi .x { color: $sol-green } // Generic.Inserted.Specific"},{"Add":" .go { color: $sol-mono00 } // Generic.Output"},{"Add":" .gp { color: $sol-mono00 } // Generic.Prompt"},{"Add":" .gs { color: $sol-mono01; font-weight: bold } // Generic.Strong"},{"Add":" .gu { color: $sol-mono1 } // Generic.Subheading"},{"Add":" .gt { color: $sol-red } // Generic.Traceback"},{"Add":" .kc { color: $sol-mono01; font-weight: bold } // Keyword.Constant"},{"Add":" .kd { color: $sol-mono01; font-weight: bold } // Keyword.Declaration"},{"Add":" .kp { color: $sol-mono01; font-weight: bold } // Keyword.Pseudo"},{"Add":" .kr { color: $sol-mono01; font-weight: bold } // Keyword.Reserved"},{"Add":" .kt { color: $sol-violet; font-weight: bold } // Keyword.Type"},{"Add":" .m { color: $sol-cyan } // Literal.Number"},{"Add":" .s { color: $sol-magenta } // Literal.String"},{"Add":" .na { color: $sol-cyan } // Name.Attribute"},{"Add":" .nb { color: $sol-blue } // Name.Builtin"},{"Add":" .nc { color: $sol-violet; font-weight: bold } // Name.Class"},{"Add":" .no { color: $sol-cyan } // Name.Constant"},{"Add":" .ni { color: $sol-violet } // Name.Entity"},{"Add":" .ne { color: $sol-violet; font-weight: bold } // Name.Exception"},{"Add":" .nf { color: $sol-blue; font-weight: bold } // Name.Function"},{"Add":" .nn { color: $sol-mono00 } // Name.Namespace"},{"Add":" .nt { color: $sol-blue } // Name.Tag"},{"Add":" .nv { color: $sol-cyan } // Name.Variable"},{"Add":" .ow { color: $sol-mono01; font-weight: bold } // Operator.Word"},{"Add":" .w { color: $sol-mono1 } // Text.Whitespace"},{"Add":" .mf { color: $sol-cyan } // Literal.Number.Float"},{"Add":" .mh { color: $sol-cyan } // Literal.Number.Hex"},{"Add":" .mi { color: $sol-cyan } // Literal.Number.Integer"},{"Add":" .mo { color: $sol-cyan } // Literal.Number.Oct"},{"Add":" .sb { color: $sol-magenta } // Literal.String.Backtick"},{"Add":" .sc { color: $sol-magenta } // Literal.String.Char"},{"Add":" .sd { color: $sol-magenta } // Literal.String.Doc"},{"Add":" .s2 { color: $sol-magenta } // Literal.String.Double"},{"Add":" .se { color: $sol-magenta } // Literal.String.Escape"},{"Add":" .sh { color: $sol-magenta } // Literal.String.Heredoc"},{"Add":" .si { color: $sol-magenta } // Literal.String.Interpol"},{"Add":" .sx { color: $sol-magenta } // Literal.String.Other"},{"Add":" .sr { color: $sol-green } // Literal.String.Regex"},{"Add":" .s1 { color: $sol-magenta } // Literal.String.Single"},{"Add":" .ss { color: $sol-magenta } // Literal.String.Symbol"},{"Add":" .bp { color: $sol-mono1 } // Name.Builtin.Pseudo"},{"Add":" .vc { color: $sol-cyan } // Name.Variable.Class"},{"Add":" .vg { color: $sol-cyan } // Name.Variable.Global"},{"Add":" .vi { color: $sol-cyan } // Name.Variable.Instance"},{"Add":" .il { color: $sol-cyan } // Literal.Number.Integer.Long"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"solarized-dark.scss","metadata":0},"context":[{"change":0,"pos":7131}],"contents":[{"Add":"@charset \"utf-8\";"},{"Add":""},{"Add":"$sol-is-dark: true;"},{"Add":"@import \"theme/skins/solarized\";"}]}},{"FileAdd":{"meta":{"basename":"dark.scss","metadata":0},"context":[{"change":0,"pos":7131}],"contents":[{"Add":"@charset \"utf-8\";"},{"Add":""},{"Add":"@use 'sass:color';"},{"Add":""},{"Add":"$brand-color: #999999 !default;"},{"Add":"$brand-color-light: color.scale($brand-color, $lightness: 5%) !default;"},{"Add":"$brand-color-dark: color.scale($brand-color, $lightness: -35%) !default;"},{"Add":""},{"Add":"$site-title-color: $brand-color-light !default;"},{"Add":""},{"Add":"$text-color: #bbbbbb !default;"},{"Add":"$background-color: #181818 !default;"},{"Add":"$code-background-color: #212121 !default;"},{"Add":""},{"Add":"$link-base-color: #79b8ff !default;"},{"Add":"$link-visited-color: $link-base-color !default;"},{"Add":"$link-hover-color: $text-color !default;"},{"Add":""},{"Add":"$border-color-01: $brand-color-dark !default;"},{"Add":"$border-color-02: $brand-color-light !default;"},{"Add":"$border-color-03: $brand-color !default;"},{"Add":""},{"Add":"$table-text-color: $text-color !default;"},{"Add":"$table-zebra-color: color.scale($background-color, $lightness: 4%) !default;"},{"Add":"$table-header-bg-color: color.scale($background-color, $lightness: 10%) !default;"},{"Add":"$table-header-border: color.scale($background-color, $lightness: 21%) !default;"},{"Add":"$table-border-color: $border-color-01 !default;"},{"Add":""},{"Add":""},{"Add":"// Syntax highlighting styles should be adjusted appropriately for every \"skin\""},{"Add":"// List of tokens: https://github.com/rouge-ruby/rouge/wiki/List-of-tokens"},{"Add":"// Some colors come from Material Theme Darker:"},{"Add":"// https://github.com/material-theme/vsc-material-theme/blob/master/scripts/generator/settings/specific/darker-hc.ts"},{"Add":"// https://github.com/material-theme/vsc-material-theme/blob/master/scripts/generator/color-set.ts"},{"Add":"// ----------------------------------------------------------------------------"},{"Add":""},{"Add":".highlight {"},{"Add":" .c { color: #545454; font-style: italic } // Comment"},{"Add":" .err { color: #f07178; background-color: #e3d2d2 } // Error"},{"Add":" .k { color: #89DDFF; font-weight: bold } // Keyword"},{"Add":" .o { font-weight: bold } // Operator"},{"Add":" .cm { color: #545454; font-style: italic } // Comment.Multiline"},{"Add":" .cp { color: #545454; font-weight: bold } // Comment.Preproc"},{"Add":" .c1 { color: #545454; font-style: italic } // Comment.Single"},{"Add":" .cs { color: #545454; font-weight: bold; font-style: italic } // Comment.Special"},{"Add":" .gd { color: #000; background-color: #fdd } // Generic.Deleted"},{"Add":" .gd .x { color: #000; background-color: #faa } // Generic.Deleted.Specific"},{"Add":" .ge { font-style: italic } // Generic.Emph"},{"Add":" .gr { color: #f07178 } // Generic.Error"},{"Add":" .gh { color: #999 } // Generic.Heading"},{"Add":" .gi { color: #000; background-color: #dfd } // Generic.Inserted"},{"Add":" .gi .x { color: #000; background-color: #afa } // Generic.Inserted.Specific"},{"Add":" .go { color: #888 } // Generic.Output"},{"Add":" .gp { color: #555 } // Generic.Prompt"},{"Add":" .gs { font-weight: bold } // Generic.Strong"},{"Add":" .gu { color: #aaa } // Generic.Subheading"},{"Add":" .gt { color: #f07178 } // Generic.Traceback"},{"Add":" .kc { font-weight: bold } // Keyword.Constant"},{"Add":" .kd { font-weight: bold } // Keyword.Declaration"},{"Add":" .kp { font-weight: bold } // Keyword.Pseudo"},{"Add":" .kr { font-weight: bold } // Keyword.Reserved"},{"Add":" .kt { color: #FFCB6B; font-weight: bold } // Keyword.Type"},{"Add":" .m { color: #F78C6C } // Literal.Number"},{"Add":" .s { color: #C3E88D } // Literal.String"},{"Add":" .na { color: #008080 } // Name.Attribute"},{"Add":" .nb { color: #EEFFFF } // Name.Builtin"},{"Add":" .nc { color: #FFCB6B; font-weight: bold } // Name.Class"},{"Add":" .no { color: #008080 } // Name.Constant"},{"Add":" .ni { color: #800080 } // Name.Entity"},{"Add":" .ne { color: #900; font-weight: bold } // Name.Exception"},{"Add":" .nf { color: #82AAFF; font-weight: bold } // Name.Function"},{"Add":" .nn { color: #555 } // Name.Namespace"},{"Add":" .nt { color: #FFCB6B } // Name.Tag"},{"Add":" .nv { color: #EEFFFF } // Name.Variable"},{"Add":" .ow { font-weight: bold } // Operator.Word"},{"Add":" .w { color: #EEFFFF } // Text.Whitespace"},{"Add":" .mf { color: #F78C6C } // Literal.Number.Float"},{"Add":" .mh { color: #F78C6C } // Literal.Number.Hex"},{"Add":" .mi { color: #F78C6C } // Literal.Number.Integer"},{"Add":" .mo { color: #F78C6C } // Literal.Number.Oct"},{"Add":" .sb { color: #C3E88D } // Literal.String.Backtick"},{"Add":" .sc { color: #C3E88D } // Literal.String.Char"},{"Add":" .sd { color: #C3E88D } // Literal.String.Doc"},{"Add":" .s2 { color: #C3E88D } // Literal.String.Double"},{"Add":" .se { color: #EEFFFF } // Literal.String.Escape"},{"Add":" .sh { color: #C3E88D } // Literal.String.Heredoc"},{"Add":" .si { color: #C3E88D } // Literal.String.Interpol"},{"Add":" .sx { color: #C3E88D } // Literal.String.Other"},{"Add":" .sr { color: #C3E88D } // Literal.String.Regex"},{"Add":" .s1 { color: #C3E88D } // Literal.String.Single"},{"Add":" .ss { color: #C3E88D } // Literal.String.Symbol"},{"Add":" .bp { color: #999 } // Name.Builtin.Pseudo"},{"Add":" .vc { color: #FFCB6B } // Name.Variable.Class"},{"Add":" .vg { color: #EEFFFF } // Name.Variable.Global"},{"Add":" .vi { color: #EEFFFF } // Name.Variable.Instance"},{"Add":" .il { color: #F78C6C } // Literal.Number.Integer.Long"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"classic.scss","metadata":0},"context":[{"change":0,"pos":7131}],"contents":[{"Add":"@charset \"utf-8\";"},{"Add":""},{"Add":"@use 'sass:color';"},{"Add":""},{"Add":"$brand-color: hsl(0, 0%, 51%) !default;"},{"Add":"$brand-color-light: color.scale($brand-color, $lightness: 40%) !default;"},{"Add":"$brand-color-dark: color.scale($brand-color, $lightness: -25%) !default;"},{"Add":""},{"Add":"$site-title-color: $brand-color-dark !default;"},{"Add":""},{"Add":"$text-color: #111111 !default;"},{"Add":"$background-color: #fdfdfd !default;"},{"Add":"$code-background-color: #eeeeff !default;"},{"Add":""},{"Add":"$link-base-color: #2a7ae2 !default;"},{"Add":"$link-visited-color: color.scale($link-base-color, $lightness: -15%) !default;"},{"Add":"$link-hover-color: $text-color !default;"},{"Add":""},{"Add":"$border-color-01: $brand-color-light !default;"},{"Add":"$border-color-02: color.scale($brand-color, $lightness: 35%) !default;"},{"Add":"$border-color-03: $brand-color-dark !default;"},{"Add":""},{"Add":"$table-text-color: color.scale($text-color, $lightness: 18%) !default;"},{"Add":"$table-zebra-color: color.scale($brand-color, $lightness: 46%) !default;"},{"Add":"$table-header-bg-color: color.scale($brand-color, $lightness: 43%) !default;"},{"Add":"$table-header-border: color.scale($brand-color, $lightness: 37%) !default;"},{"Add":"$table-border-color: $border-color-01 !default;"},{"Add":""},{"Add":""},{"Add":"// Syntax highlighting styles should be adjusted appropriately for every \"skin\""},{"Add":"// ----------------------------------------------------------------------------"},{"Add":""},{"Add":".highlight {"},{"Add":" .c { color: #998; font-style: italic } // Comment"},{"Add":" .err { color: #a61717; background-color: #e3d2d2 } // Error"},{"Add":" .k { font-weight: bold } // Keyword"},{"Add":" .o { font-weight: bold } // Operator"},{"Add":" .cm { color: #998; font-style: italic } // Comment.Multiline"},{"Add":" .cp { color: #999; font-weight: bold } // Comment.Preproc"},{"Add":" .c1 { color: #998; font-style: italic } // Comment.Single"},{"Add":" .cs { color: #999; font-weight: bold; font-style: italic } // Comment.Special"},{"Add":" .gd { color: #000; background-color: #fdd } // Generic.Deleted"},{"Add":" .gd .x { color: #000; background-color: #faa } // Generic.Deleted.Specific"},{"Add":" .ge { font-style: italic } // Generic.Emph"},{"Add":" .gr { color: #a00 } // Generic.Error"},{"Add":" .gh { color: #999 } // Generic.Heading"},{"Add":" .gi { color: #000; background-color: #dfd } // Generic.Inserted"},{"Add":" .gi .x { color: #000; background-color: #afa } // Generic.Inserted.Specific"},{"Add":" .go { color: #888 } // Generic.Output"},{"Add":" .gp { color: #555 } // Generic.Prompt"},{"Add":" .gs { font-weight: bold } // Generic.Strong"},{"Add":" .gu { color: #aaa } // Generic.Subheading"},{"Add":" .gt { color: #a00 } // Generic.Traceback"},{"Add":" .kc { font-weight: bold } // Keyword.Constant"},{"Add":" .kd { font-weight: bold } // Keyword.Declaration"},{"Add":" .kp { font-weight: bold } // Keyword.Pseudo"},{"Add":" .kr { font-weight: bold } // Keyword.Reserved"},{"Add":" .kt { color: #458; font-weight: bold } // Keyword.Type"},{"Add":" .m { color: #099 } // Literal.Number"},{"Add":" .s { color: #d14 } // Literal.String"},{"Add":" .na { color: #008080 } // Name.Attribute"},{"Add":" .nb { color: #0086B3 } // Name.Builtin"},{"Add":" .nc { color: #458; font-weight: bold } // Name.Class"},{"Add":" .no { color: #008080 } // Name.Constant"},{"Add":" .ni { color: #800080 } // Name.Entity"},{"Add":" .ne { color: #900; font-weight: bold } // Name.Exception"},{"Add":" .nf { color: #900; font-weight: bold } // Name.Function"},{"Add":" .nn { color: #555 } // Name.Namespace"},{"Add":" .nt { color: #000080 } // Name.Tag"},{"Add":" .nv { color: #008080 } // Name.Variable"},{"Add":" .ow { font-weight: bold } // Operator.Word"},{"Add":" .w { color: #bbb } // Text.Whitespace"},{"Add":" .mf { color: #099 } // Literal.Number.Float"},{"Add":" .mh { color: #099 } // Literal.Number.Hex"},{"Add":" .mi { color: #099 } // Literal.Number.Integer"},{"Add":" .mo { color: #099 } // Literal.Number.Oct"},{"Add":" .sb { color: #d14 } // Literal.String.Backtick"},{"Add":" .sc { color: #d14 } // Literal.String.Char"},{"Add":" .sd { color: #d14 } // Literal.String.Doc"},{"Add":" .s2 { color: #d14 } // Literal.String.Double"},{"Add":" .se { color: #d14 } // Literal.String.Escape"},{"Add":" .sh { color: #d14 } // Literal.String.Heredoc"},{"Add":" .si { color: #d14 } // Literal.String.Interpol"},{"Add":" .sx { color: #d14 } // Literal.String.Other"},{"Add":" .sr { color: #009926 } // Literal.String.Regex"},{"Add":" .s1 { color: #d14 } // Literal.String.Single"},{"Add":" .ss { color: #990073 } // Literal.String.Symbol"},{"Add":" .bp { color: #999 } // Name.Builtin.Pseudo"},{"Add":" .vc { color: #008080 } // Name.Variable.Class"},{"Add":" .vg { color: #008080 } // Name.Variable.Global"},{"Add":" .vi { color: #008080 } // Name.Variable.Instance"},{"Add":" .il { color: #099 } // Literal.Number.Integer.Long"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"initialize.scss","metadata":0},"context":[{"change":0,"pos":7112}],"contents":[{"Add":"@charset \"utf-8\";"},{"Add":""},{"Add":"// Define defaults for each variable."},{"Add":""},{"Add":"$base-font-family: -apple-system, BlinkMacSystemFont, \"Segoe UI\", \"Segoe UI Symbol\", \"Segoe UI Emoji\", \"Apple Color Emoji\", Roboto, Helvetica, Arial, sans-serif !default;"},{"Add":"$code-font-family: \"Menlo\", \"Inconsolata\", \"Consolas\", \"Roboto Mono\", \"Ubuntu Mono\", \"Liberation Mono\", \"Courier New\", monospace;"},{"Add":"$base-font-size: 16px !default;"},{"Add":"$base-font-weight: 400 !default;"},{"Add":"$small-font-size: $base-font-size * 0.875 !default;"},{"Add":"$base-line-height: 1.5 !default;"},{"Add":""},{"Add":"$spacing-unit: 15px !default;"},{"Add":""},{"Add":"$table-text-align: left !default;"},{"Add":""},{"Add":"// Width of the content area"},{"Add":"$content-width: 800px !default;"},{"Add":""},{"Add":"$on-palm: 600px !default;"},{"Add":"$on-laptop: 800px !default;"},{"Add":""},{"Add":"$on-medium: $on-palm !default;"},{"Add":"$on-large: $on-laptop !default;"},{"Add":""},{"Add":"// Use media queries like this:"},{"Add":"// @include media-query($on-palm) {"},{"Add":"// .wrapper {"},{"Add":"// padding-right: math.div($spacing-unit, 2);"},{"Add":"// padding-left: math.div($spacing-unit, 2);"},{"Add":"// }"},{"Add":"// }"},{"Add":"// Notice the following mixin uses max-width, in a deprecated, desktop-first"},{"Add":"// approach, whereas media queries used elsewhere now use min-width."},{"Add":"@mixin media-query($device) {"},{"Add":" @media screen and (max-width: $device) {"},{"Add":" @content;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"@mixin relative-font-size($ratio) {"},{"Add":" font-size: #{$ratio}rem;"},{"Add":"}"},{"Add":""},{"Add":"// Import pre-styling-overrides hook and style-partials."},{"Add":"@import"},{"Add":" \"theme/custom-variables\", // Hook to override predefined variables."},{"Add":" \"theme/base\", // Defines element resets."},{"Add":" \"theme/layout\", // Defines structure and style based on CSS selectors."},{"Add":" \"theme/custom-styles\" // Hook to override existing styles."},{"Add":";"}]}},{"FileAdd":{"meta":{"basename":"fonts.scss","metadata":0},"context":[{"change":0,"pos":7112}],"contents":[{"Add":"// Frankenfont"},{"Add":"// A custom font made by combining glyphs from mononoki, DejaVu Sans Mono,"},{"Add":"// Symbola and Droid, and adjusting the width where necessary to get a"},{"Add":"// consistent fixed-width font."},{"Add":"@font-face {"},{"Add":" font-family: 'JuliaMono';"},{"Add":" src: url('../fonts/JuliaMono-Regular.woff2') format('woff2');"},{"Add":" font-weight: normal;"},{"Add":" font-style: normal;"},{"Add":"}"},{"Add":"@font-face {"},{"Add":" font-family: 'JuliaMono';"},{"Add":" src: url('../fonts/JuliaMono-Bold.woff2') format('woff2');"},{"Add":" font-weight: bold;"},{"Add":" font-style: normal;"},{"Add":"}"},{"Add":"@font-face {"},{"Add":" font-family: 'JuliaMono';"},{"Add":" src: url('../fonts/JuliaMono-RegularItalic.woff2') format('woff2');"},{"Add":" font-weight: normal;"},{"Add":" font-style: italic;"},{"Add":"}"},{"Add":"@font-face {"},{"Add":" font-family: 'JuliaMono';"},{"Add":" src: url('../fonts/JuliaMono-BoldItalic.woff2') format('woff2');"},{"Add":" font-weight: bold;"},{"Add":" font-style: italic;"},{"Add":"}"},{"Add":""},{"Add":""},{"Add":"@import"},{"Add":" \"fontawesome/fontawesome\","},{"Add":" \"fontawesome/regular\","},{"Add":" \"fontawesome/solid\","},{"Add":" \"fontawesome/brands\""},{"Add":";"}]}},{"FileAdd":{"meta":{"basename":"fontawesome","metadata":576},"context":[{"change":0,"pos":7112}],"contents":[]}},{"FileAdd":{"meta":{"basename":"solid.scss","metadata":0},"context":[{"change":0,"pos":24975}],"contents":[{"Add":"/*!"},{"Add":" * Font Awesome Free 5.14.0 by @fontawesome - https://fontawesome.com"},{"Add":" * License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License)"},{"Add":" */"},{"Add":"@font-face{font-family:\"Font Awesome 5 Free\";font-style:normal;font-weight:900;font-display:block;src:url(../fonts/fa-solid-900.eot);src:url(../fonts/fa-solid-900.eot?#iefix) format(\"embedded-opentype\"),url(../fonts/fa-solid-900.woff2) format(\"woff2\"),url(../fonts/fa-solid-900.woff) format(\"woff\"),url(../fonts/fa-solid-900.ttf) format(\"truetype\"),url(../fonts/fa-solid-900.svg#fontawesome) format(\"svg\")}.fa,.fas{font-family:\"Font Awesome 5 Free\";font-weight:900}"}]}},{"FileAdd":{"meta":{"basename":"regular.scss","metadata":0},"context":[{"change":0,"pos":24975}],"contents":[{"Add":"/*!"},{"Add":" * Font Awesome Free 5.14.0 by @fontawesome - https://fontawesome.com"},{"Add":" * License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License)"},{"Add":" */"},{"Add":"@font-face{font-family:\"Font Awesome 5 Free\";font-style:normal;font-weight:400;font-display:block;src:url(../fonts/fa-regular-400.eot);src:url(../fonts/fa-regular-400.eot?#iefix) format(\"embedded-opentype\"),url(../fonts/fa-regular-400.woff2) format(\"woff2\"),url(../fonts/fa-regular-400.woff) format(\"woff\"),url(../fonts/fa-regular-400.ttf) format(\"truetype\"),url(../fonts/fa-regular-400.svg#fontawesome) format(\"svg\")}.far{font-family:\"Font Awesome 5 Free\";font-weight:400}"}]}},{"FileAdd":{"meta":{"basename":"fontawesome.scss","metadata":0},"context":[{"change":0,"pos":24975}],"contents":[{"Add":"/*!"},{"Add":" * Font Awesome Free 5.14.0 by @fontawesome - https://fontawesome.com"},{"Add":" * License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License)"},{"Add":" */"},{"Add":".fa,.fab,.fad,.fal,.far,.fas{-moz-osx-font-smoothing:grayscale;-webkit-font-smoothing:antialiased;display:inline-block;font-style:normal;font-variant:normal;text-rendering:auto;line-height:1}.fa-lg{font-size:1.33333em;line-height:.75em;vertical-align:-.0667em}.fa-xs{font-size:.75em}.fa-sm{font-size:.875em}.fa-1x{font-size:1em}.fa-2x{font-size:2em}.fa-3x{font-size:3em}.fa-4x{font-size:4em}.fa-5x{font-size:5em}.fa-6x{font-size:6em}.fa-7x{font-size:7em}.fa-8x{font-size:8em}.fa-9x{font-size:9em}.fa-10x{font-size:10em}.fa-fw{text-align:center;width:1.25em}.fa-ul{list-style-type:none;margin-left:2.5em;padding-left:0}.fa-ul>li{position:relative}.fa-li{left:-2em;position:absolute;text-align:center;width:2em;line-height:inherit}.fa-border{border:.08em solid #eee;border-radius:.1em;padding:.2em .25em .15em}.fa-pull-left{float:left}.fa-pull-right{float:right}.fa.fa-pull-left,.fab.fa-pull-left,.fal.fa-pull-left,.far.fa-pull-left,.fas.fa-pull-left{margin-right:.3em}.fa.fa-pull-right,.fab.fa-pull-right,.fal.fa-pull-right,.far.fa-pull-right,.fas.fa-pull-right{margin-left:.3em}.fa-spin{-webkit-animation:fa-spin 2s linear infinite;animation:fa-spin 2s linear infinite}.fa-pulse{-webkit-animation:fa-spin 1s steps(8) infinite;animation:fa-spin 1s steps(8) infinite}@-webkit-keyframes fa-spin{0%{-webkit-transform:rotate(0deg);transform:rotate(0deg)}to{-webkit-transform:rotate(1turn);transform:rotate(1turn)}}@keyframes fa-spin{0%{-webkit-transform:rotate(0deg);transform:rotate(0deg)}to{-webkit-transform:rotate(1turn);transform:rotate(1turn)}}.fa-rotate-90{-ms-filter:\"progid:DXImageTransform.Microsoft.BasicImage(rotation=1)\";-webkit-transform:rotate(90deg);transform:rotate(90deg)}.fa-rotate-180{-ms-filter:\"progid:DXImageTransform.Microsoft.BasicImage(rotation=2)\";-webkit-transform:rotate(180deg);transform:rotate(180deg)}.fa-rotate-270{-ms-filter:\"progid:DXImageTransform.Microsoft.BasicImage(rotation=3)\";-webkit-transform:rotate(270deg);transform:rotate(270deg)}.fa-flip-horizontal{-ms-filter:\"progid:DXImageTransform.Microsoft.BasicImage(rotation=0, mirror=1)\";-webkit-transform:scaleX(-1);transform:scaleX(-1)}.fa-flip-vertical{-webkit-transform:scaleY(-1);transform:scaleY(-1)}.fa-flip-both,.fa-flip-horizontal.fa-flip-vertical,.fa-flip-vertical{-ms-filter:\"progid:DXImageTransform.Microsoft.BasicImage(rotation=2, mirror=1)\"}.fa-flip-both,.fa-flip-horizontal.fa-flip-vertical{-webkit-transform:scale(-1);transform:scale(-1)}:root .fa-flip-both,:root .fa-flip-horizontal,:root .fa-flip-vertical,:root .fa-rotate-90,:root .fa-rotate-180,:root .fa-rotate-270{-webkit-filter:none;filter:none}.fa-stack{display:inline-block;height:2em;line-height:2em;position:relative;vertical-align:middle;width:2.5em}.fa-stack-1x,.fa-stack-2x{left:0;position:absolute;text-align:center;width:100%}.fa-stack-1x{line-height:inherit}.fa-stack-2x{font-size:2em}.fa-inverse{color:#fff}.fa-500px:before{content:\"\\f26e\"}.fa-accessible-icon:before{content:\"\\f368\"}.fa-accusoft:before{content:\"\\f369\"}.fa-acquisitions-incorporated:before{content:\"\\f6af\"}.fa-ad:before{content:\"\\f641\"}.fa-address-book:before{content:\"\\f2b9\"}.fa-address-card:before{content:\"\\f2bb\"}.fa-adjust:before{content:\"\\f042\"}.fa-adn:before{content:\"\\f170\"}.fa-adobe:before{content:\"\\f778\"}.fa-adversal:before{content:\"\\f36a\"}.fa-affiliatetheme:before{content:\"\\f36b\"}.fa-air-freshener:before{content:\"\\f5d0\"}.fa-airbnb:before{content:\"\\f834\"}.fa-algolia:before{content:\"\\f36c\"}.fa-align-center:before{content:\"\\f037\"}.fa-align-justify:before{content:\"\\f039\"}.fa-align-left:before{content:\"\\f036\"}.fa-align-right:before{content:\"\\f038\"}.fa-alipay:before{content:\"\\f642\"}.fa-allergies:before{content:\"\\f461\"}.fa-amazon:before{content:\"\\f270\"}.fa-amazon-pay:before{content:\"\\f42c\"}.fa-ambulance:before{content:\"\\f0f9\"}.fa-american-sign-language-interpreting:before{content:\"\\f2a3\"}.fa-amilia:before{content:\"\\f36d\"}.fa-anchor:before{content:\"\\f13d\"}.fa-android:before{content:\"\\f17b\"}.fa-angellist:before{content:\"\\f209\"}.fa-angle-double-down:before{content:\"\\f103\"}.fa-angle-double-left:before{content:\"\\f100\"}.fa-angle-double-right:before{content:\"\\f101\"}.fa-angle-double-up:before{content:\"\\f102\"}.fa-angle-down:before{content:\"\\f107\"}.fa-angle-left:before{content:\"\\f104\"}.fa-angle-right:before{content:\"\\f105\"}.fa-angle-up:before{content:\"\\f106\"}.fa-angry:before{content:\"\\f556\"}.fa-angrycreative:before{content:\"\\f36e\"}.fa-angular:before{content:\"\\f420\"}.fa-ankh:before{content:\"\\f644\"}.fa-app-store:before{content:\"\\f36f\"}.fa-app-store-ios:before{content:\"\\f370\"}.fa-apper:before{content:\"\\f371\"}.fa-apple:before{content:\"\\f179\"}.fa-apple-alt:before{content:\"\\f5d1\"}.fa-apple-pay:before{content:\"\\f415\"}.fa-archive:before{content:\"\\f187\"}.fa-archway:before{content:\"\\f557\"}.fa-arrow-alt-circle-down:before{content:\"\\f358\"}.fa-arrow-alt-circle-left:before{content:\"\\f359\"}.fa-arrow-alt-circle-right:before{content:\"\\f35a\"}.fa-arrow-alt-circle-up:before{content:\"\\f35b\"}.fa-arrow-circle-down:before{content:\"\\f0ab\"}.fa-arrow-circle-left:before{content:\"\\f0a8\"}.fa-arrow-circle-right:before{content:\"\\f0a9\"}.fa-arrow-circle-up:before{content:\"\\f0aa\"}.fa-arrow-down:before{content:\"\\f063\"}.fa-arrow-left:before{content:\"\\f060\"}.fa-arrow-right:before{content:\"\\f061\"}.fa-arrow-up:before{content:\"\\f062\"}.fa-arrows-alt:before{content:\"\\f0b2\"}.fa-arrows-alt-h:before{content:\"\\f337\"}.fa-arrows-alt-v:before{content:\"\\f338\"}.fa-artstation:before{content:\"\\f77a\"}.fa-assistive-listening-systems:before{content:\"\\f2a2\"}.fa-asterisk:before{content:\"\\f069\"}.fa-asymmetrik:before{content:\"\\f372\"}.fa-at:before{content:\"\\f1fa\"}.fa-atlas:before{content:\"\\f558\"}.fa-atlassian:before{content:\"\\f77b\"}.fa-atom:before{content:\"\\f5d2\"}.fa-audible:before{content:\"\\f373\"}.fa-audio-description:before{content:\"\\f29e\"}.fa-autoprefixer:before{content:\"\\f41c\"}.fa-avianex:before{content:\"\\f374\"}.fa-aviato:before{content:\"\\f421\"}.fa-award:before{content:\"\\f559\"}.fa-aws:before{content:\"\\f375\"}.fa-baby:before{content:\"\\f77c\"}.fa-baby-carriage:before{content:\"\\f77d\"}.fa-backspace:before{content:\"\\f55a\"}.fa-backward:before{content:\"\\f04a\"}.fa-bacon:before{content:\"\\f7e5\"}.fa-bacteria:before{content:\"\\e059\"}.fa-bacterium:before{content:\"\\e05a\"}.fa-bahai:before{content:\"\\f666\"}.fa-balance-scale:before{content:\"\\f24e\"}.fa-balance-scale-left:before{content:\"\\f515\"}.fa-balance-scale-right:before{content:\"\\f516\"}.fa-ban:before{content:\"\\f05e\"}.fa-band-aid:before{content:\"\\f462\"}.fa-bandcamp:before{content:\"\\f2d5\"}.fa-barcode:before{content:\"\\f02a\"}.fa-bars:before{content:\"\\f0c9\"}.fa-baseball-ball:before{content:\"\\f433\"}.fa-basketball-ball:before{content:\"\\f434\"}.fa-bath:before{content:\"\\f2cd\"}.fa-battery-empty:before{content:\"\\f244\"}.fa-battery-full:before{content:\"\\f240\"}.fa-battery-half:before{content:\"\\f242\"}.fa-battery-quarter:before{content:\"\\f243\"}.fa-battery-three-quarters:before{content:\"\\f241\"}.fa-battle-net:before{content:\"\\f835\"}.fa-bed:before{content:\"\\f236\"}.fa-beer:before{content:\"\\f0fc\"}.fa-behance:before{content:\"\\f1b4\"}.fa-behance-square:before{content:\"\\f1b5\"}.fa-bell:before{content:\"\\f0f3\"}.fa-bell-slash:before{content:\"\\f1f6\"}.fa-bezier-curve:before{content:\"\\f55b\"}.fa-bible:before{content:\"\\f647\"}.fa-bicycle:before{content:\"\\f206\"}.fa-biking:before{content:\"\\f84a\"}.fa-bimobject:before{content:\"\\f378\"}.fa-binoculars:before{content:\"\\f1e5\"}.fa-biohazard:before{content:\"\\f780\"}.fa-birthday-cake:before{content:\"\\f1fd\"}.fa-bitbucket:before{content:\"\\f171\"}.fa-bitcoin:before{content:\"\\f379\"}.fa-bity:before{content:\"\\f37a\"}.fa-black-tie:before{content:\"\\f27e\"}.fa-blackberry:before{content:\"\\f37b\"}.fa-blender:before{content:\"\\f517\"}.fa-blender-phone:before{content:\"\\f6b6\"}.fa-blind:before{content:\"\\f29d\"}.fa-blog:before{content:\"\\f781\"}.fa-blogger:before{content:\"\\f37c\"}.fa-blogger-b:before{content:\"\\f37d\"}.fa-bluetooth:before{content:\"\\f293\"}.fa-bluetooth-b:before{content:\"\\f294\"}.fa-bold:before{content:\"\\f032\"}.fa-bolt:before{content:\"\\f0e7\"}.fa-bomb:before{content:\"\\f1e2\"}.fa-bone:before{content:\"\\f5d7\"}.fa-bong:before{content:\"\\f55c\"}.fa-book:before{content:\"\\f02d\"}.fa-book-dead:before{content:\"\\f6b7\"}.fa-book-medical:before{content:\"\\f7e6\"}.fa-book-open:before{content:\"\\f518\"}.fa-book-reader:before{content:\"\\f5da\"}.fa-bookmark:before{content:\"\\f02e\"}.fa-bootstrap:before{content:\"\\f836\"}.fa-border-all:before{content:\"\\f84c\"}.fa-border-none:before{content:\"\\f850\"}.fa-border-style:before{content:\"\\f853\"}.fa-bowling-ball:before{content:\"\\f436\"}.fa-box:before{content:\"\\f466\"}.fa-box-open:before{content:\"\\f49e\"}.fa-box-tissue:before{content:\"\\e05b\"}.fa-boxes:before{content:\"\\f468\"}.fa-braille:before{content:\"\\f2a1\"}.fa-brain:before{content:\"\\f5dc\"}.fa-bread-slice:before{content:\"\\f7ec\"}.fa-briefcase:before{content:\"\\f0b1\"}.fa-briefcase-medical:before{content:\"\\f469\"}.fa-broadcast-tower:before{content:\"\\f519\"}.fa-broom:before{content:\"\\f51a\"}.fa-brush:before{content:\"\\f55d\"}.fa-btc:before{content:\"\\f15a\"}.fa-buffer:before{content:\"\\f837\"}.fa-bug:before{content:\"\\f188\"}.fa-building:before{content:\"\\f1ad\"}.fa-bullhorn:before{content:\"\\f0a1\"}.fa-bullseye:before{content:\"\\f140\"}.fa-burn:before{content:\"\\f46a\"}.fa-buromobelexperte:before{content:\"\\f37f\"}.fa-bus:before{content:\"\\f207\"}.fa-bus-alt:before{content:\"\\f55e\"}.fa-business-time:before{content:\"\\f64a\"}.fa-buy-n-large:before{content:\"\\f8a6\"}.fa-buysellads:before{content:\"\\f20d\"}.fa-calculator:before{content:\"\\f1ec\"}.fa-calendar:before{content:\"\\f133\"}.fa-calendar-alt:before{content:\"\\f073\"}.fa-calendar-check:before{content:\"\\f274\"}.fa-calendar-day:before{content:\"\\f783\"}.fa-calendar-minus:before{content:\"\\f272\"}.fa-calendar-plus:before{content:\"\\f271\"}.fa-calendar-times:before{content:\"\\f273\"}.fa-calendar-week:before{content:\"\\f784\"}.fa-camera:before{content:\"\\f030\"}.fa-camera-retro:before{content:\"\\f083\"}.fa-campground:before{content:\"\\f6bb\"}.fa-canadian-maple-leaf:before{content:\"\\f785\"}.fa-candy-cane:before{content:\"\\f786\"}.fa-cannabis:before{content:\"\\f55f\"}.fa-capsules:before{content:\"\\f46b\"}.fa-car:before{content:\"\\f1b9\"}.fa-car-alt:before{content:\"\\f5de\"}.fa-car-battery:before{content:\"\\f5df\"}.fa-car-crash:before{content:\"\\f5e1\"}.fa-car-side:before{content:\"\\f5e4\"}.fa-caravan:before{content:\"\\f8ff\"}.fa-caret-down:before{content:\"\\f0d7\"}.fa-caret-left:before{content:\"\\f0d9\"}.fa-caret-right:before{content:\"\\f0da\"}.fa-caret-square-down:before{content:\"\\f150\"}.fa-caret-square-left:before{content:\"\\f191\"}.fa-caret-square-right:before{content:\"\\f152\"}.fa-caret-square-up:before{content:\"\\f151\"}.fa-caret-up:before{content:\"\\f0d8\"}.fa-carrot:before{content:\"\\f787\"}.fa-cart-arrow-down:before{content:\"\\f218\"}.fa-cart-plus:before{content:\"\\f217\"}.fa-cash-register:before{content:\"\\f788\"}.fa-cat:before{content:\"\\f6be\"}.fa-cc-amazon-pay:before{content:\"\\f42d\"}.fa-cc-amex:before{content:\"\\f1f3\"}.fa-cc-apple-pay:before{content:\"\\f416\"}.fa-cc-diners-club:before{content:\"\\f24c\"}.fa-cc-discover:before{content:\"\\f1f2\"}.fa-cc-jcb:before{content:\"\\f24b\"}.fa-cc-mastercard:before{content:\"\\f1f1\"}.fa-cc-paypal:before{content:\"\\f1f4\"}.fa-cc-stripe:before{content:\"\\f1f5\"}.fa-cc-visa:before{content:\"\\f1f0\"}.fa-centercode:before{content:\"\\f380\"}.fa-centos:before{content:\"\\f789\"}.fa-certificate:before{content:\"\\f0a3\"}.fa-chair:before{content:\"\\f6c0\"}.fa-chalkboard:before{content:\"\\f51b\"}.fa-chalkboard-teacher:before{content:\"\\f51c\"}.fa-charging-station:before{content:\"\\f5e7\"}.fa-chart-area:before{content:\"\\f1fe\"}.fa-chart-bar:before{content:\"\\f080\"}.fa-chart-line:before{content:\"\\f201\"}.fa-chart-pie:before{content:\"\\f200\"}.fa-check:before{content:\"\\f00c\"}.fa-check-circle:before{content:\"\\f058\"}.fa-check-double:before{content:\"\\f560\"}.fa-check-square:before{content:\"\\f14a\"}.fa-cheese:before{content:\"\\f7ef\"}.fa-chess:before{content:\"\\f439\"}.fa-chess-bishop:before{content:\"\\f43a\"}.fa-chess-board:before{content:\"\\f43c\"}.fa-chess-king:before{content:\"\\f43f\"}.fa-chess-knight:before{content:\"\\f441\"}.fa-chess-pawn:before{content:\"\\f443\"}.fa-chess-queen:before{content:\"\\f445\"}.fa-chess-rook:before{content:\"\\f447\"}.fa-chevron-circle-down:before{content:\"\\f13a\"}.fa-chevron-circle-left:before{content:\"\\f137\"}.fa-chevron-circle-right:before{content:\"\\f138\"}.fa-chevron-circle-up:before{content:\"\\f139\"}.fa-chevron-down:before{content:\"\\f078\"}.fa-chevron-left:before{content:\"\\f053\"}.fa-chevron-right:before{content:\"\\f054\"}.fa-chevron-up:before{content:\"\\f077\"}.fa-child:before{content:\"\\f1ae\"}.fa-chrome:before{content:\"\\f268\"}.fa-chromecast:before{content:\"\\f838\"}.fa-church:before{content:\"\\f51d\"}.fa-circle:before{content:\"\\f111\"}.fa-circle-notch:before{content:\"\\f1ce\"}.fa-city:before{content:\"\\f64f\"}.fa-clinic-medical:before{content:\"\\f7f2\"}.fa-clipboard:before{content:\"\\f328\"}.fa-clipboard-check:before{content:\"\\f46c\"}.fa-clipboard-list:before{content:\"\\f46d\"}.fa-clock:before{content:\"\\f017\"}.fa-clone:before{content:\"\\f24d\"}.fa-closed-captioning:before{content:\"\\f20a\"}.fa-cloud:before{content:\"\\f0c2\"}.fa-cloud-download-alt:before{content:\"\\f381\"}.fa-cloud-meatball:before{content:\"\\f73b\"}.fa-cloud-moon:before{content:\"\\f6c3\"}.fa-cloud-moon-rain:before{content:\"\\f73c\"}.fa-cloud-rain:before{content:\"\\f73d\"}.fa-cloud-showers-heavy:before{content:\"\\f740\"}.fa-cloud-sun:before{content:\"\\f6c4\"}.fa-cloud-sun-rain:before{content:\"\\f743\"}.fa-cloud-upload-alt:before{content:\"\\f382\"}.fa-cloudscale:before{content:\"\\f383\"}.fa-cloudsmith:before{content:\"\\f384\"}.fa-cloudversify:before{content:\"\\f385\"}.fa-cocktail:before{content:\"\\f561\"}.fa-code:before{content:\"\\f121\"}.fa-code-branch:before{content:\"\\f126\"}.fa-codepen:before{content:\"\\f1cb\"}.fa-codiepie:before{content:\"\\f284\"}.fa-coffee:before{content:\"\\f0f4\"}.fa-cog:before{content:\"\\f013\"}.fa-cogs:before{content:\"\\f085\"}.fa-coins:before{content:\"\\f51e\"}.fa-columns:before{content:\"\\f0db\"}.fa-comment:before{content:\"\\f075\"}.fa-comment-alt:before{content:\"\\f27a\"}.fa-comment-dollar:before{content:\"\\f651\"}.fa-comment-dots:before{content:\"\\f4ad\"}.fa-comment-medical:before{content:\"\\f7f5\"}.fa-comment-slash:before{content:\"\\f4b3\"}.fa-comments:before{content:\"\\f086\"}.fa-comments-dollar:before{content:\"\\f653\"}.fa-compact-disc:before{content:\"\\f51f\"}.fa-compass:before{content:\"\\f14e\"}.fa-compress:before{content:\"\\f066\"}.fa-compress-alt:before{content:\"\\f422\"}.fa-compress-arrows-alt:before{content:\"\\f78c\"}.fa-concierge-bell:before{content:\"\\f562\"}.fa-confluence:before{content:\"\\f78d\"}.fa-connectdevelop:before{content:\"\\f20e\"}.fa-contao:before{content:\"\\f26d\"}.fa-cookie:before{content:\"\\f563\"}.fa-cookie-bite:before{content:\"\\f564\"}.fa-copy:before{content:\"\\f0c5\"}.fa-copyright:before{content:\"\\f1f9\"}.fa-cotton-bureau:before{content:\"\\f89e\"}.fa-couch:before{content:\"\\f4b8\"}.fa-cpanel:before{content:\"\\f388\"}.fa-creative-commons:before{content:\"\\f25e\"}.fa-creative-commons-by:before{content:\"\\f4e7\"}.fa-creative-commons-nc:before{content:\"\\f4e8\"}.fa-creative-commons-nc-eu:before{content:\"\\f4e9\"}.fa-creative-commons-nc-jp:before{content:\"\\f4ea\"}.fa-creative-commons-nd:before{content:\"\\f4eb\"}.fa-creative-commons-pd:before{content:\"\\f4ec\"}.fa-creative-commons-pd-alt:before{content:\"\\f4ed\"}.fa-creative-commons-remix:before{content:\"\\f4ee\"}.fa-creative-commons-sa:before{content:\"\\f4ef\"}.fa-creative-commons-sampling:before{content:\"\\f4f0\"}.fa-creative-commons-sampling-plus:before{content:\"\\f4f1\"}.fa-creative-commons-share:before{content:\"\\f4f2\"}.fa-creative-commons-zero:before{content:\"\\f4f3\"}.fa-credit-card:before{content:\"\\f09d\"}.fa-critical-role:before{content:\"\\f6c9\"}.fa-crop:before{content:\"\\f125\"}.fa-crop-alt:before{content:\"\\f565\"}.fa-cross:before{content:\"\\f654\"}.fa-crosshairs:before{content:\"\\f05b\"}.fa-crow:before{content:\"\\f520\"}.fa-crown:before{content:\"\\f521\"}.fa-crutch:before{content:\"\\f7f7\"}.fa-css3:before{content:\"\\f13c\"}.fa-css3-alt:before{content:\"\\f38b\"}.fa-cube:before{content:\"\\f1b2\"}.fa-cubes:before{content:\"\\f1b3\"}.fa-cut:before{content:\"\\f0c4\"}.fa-cuttlefish:before{content:\"\\f38c\"}.fa-d-and-d:before{content:\"\\f38d\"}.fa-d-and-d-beyond:before{content:\"\\f6ca\"}.fa-dailymotion:before{content:\"\\e052\"}.fa-dashcube:before{content:\"\\f210\"}.fa-database:before{content:\"\\f1c0\"}.fa-deaf:before{content:\"\\f2a4\"}.fa-deezer:before{content:\"\\e077\"}.fa-delicious:before{content:\"\\f1a5\"}.fa-democrat:before{content:\"\\f747\"}.fa-deploydog:before{content:\"\\f38e\"}.fa-deskpro:before{content:\"\\f38f\"}.fa-desktop:before{content:\"\\f108\"}.fa-dev:before{content:\"\\f6cc\"}.fa-deviantart:before{content:\"\\f1bd\"}.fa-dharmachakra:before{content:\"\\f655\"}.fa-dhl:before{content:\"\\f790\"}.fa-diagnoses:before{content:\"\\f470\"}.fa-diaspora:before{content:\"\\f791\"}.fa-dice:before{content:\"\\f522\"}.fa-dice-d20:before{content:\"\\f6cf\"}.fa-dice-d6:before{content:\"\\f6d1\"}.fa-dice-five:before{content:\"\\f523\"}.fa-dice-four:before{content:\"\\f524\"}.fa-dice-one:before{content:\"\\f525\"}.fa-dice-six:before{content:\"\\f526\"}.fa-dice-three:before{content:\"\\f527\"}.fa-dice-two:before{content:\"\\f528\"}.fa-digg:before{content:\"\\f1a6\"}.fa-digital-ocean:before{content:\"\\f391\"}.fa-digital-tachograph:before{content:\"\\f566\"}.fa-directions:before{content:\"\\f5eb\"}.fa-discord:before{content:\"\\f392\"}.fa-discourse:before{content:\"\\f393\"}.fa-disease:before{content:\"\\f7fa\"}.fa-divide:before{content:\"\\f529\"}.fa-dizzy:before{content:\"\\f567\"}.fa-dna:before{content:\"\\f471\"}.fa-dochub:before{content:\"\\f394\"}.fa-docker:before{content:\"\\f395\"}.fa-dog:before{content:\"\\f6d3\"}.fa-dollar-sign:before{content:\"\\f155\"}.fa-dolly:before{content:\"\\f472\"}.fa-dolly-flatbed:before{content:\"\\f474\"}.fa-donate:before{content:\"\\f4b9\"}.fa-door-closed:before{content:\"\\f52a\"}.fa-door-open:before{content:\"\\f52b\"}.fa-dot-circle:before{content:\"\\f192\"}.fa-dove:before{content:\"\\f4ba\"}.fa-download:before{content:\"\\f019\"}.fa-draft2digital:before{content:\"\\f396\"}.fa-drafting-compass:before{content:\"\\f568\"}.fa-dragon:before{content:\"\\f6d5\"}.fa-draw-polygon:before{content:\"\\f5ee\"}.fa-dribbble:before{content:\"\\f17d\"}.fa-dribbble-square:before{content:\"\\f397\"}.fa-dropbox:before{content:\"\\f16b\"}.fa-drum:before{content:\"\\f569\"}.fa-drum-steelpan:before{content:\"\\f56a\"}.fa-drumstick-bite:before{content:\"\\f6d7\"}.fa-drupal:before{content:\"\\f1a9\"}.fa-dumbbell:before{content:\"\\f44b\"}.fa-dumpster:before{content:\"\\f793\"}.fa-dumpster-fire:before{content:\"\\f794\"}.fa-dungeon:before{content:\"\\f6d9\"}.fa-dyalog:before{content:\"\\f399\"}.fa-earlybirds:before{content:\"\\f39a\"}.fa-ebay:before{content:\"\\f4f4\"}.fa-edge:before{content:\"\\f282\"}.fa-edge-legacy:before{content:\"\\e078\"}.fa-edit:before{content:\"\\f044\"}.fa-egg:before{content:\"\\f7fb\"}.fa-eject:before{content:\"\\f052\"}.fa-elementor:before{content:\"\\f430\"}.fa-ellipsis-h:before{content:\"\\f141\"}.fa-ellipsis-v:before{content:\"\\f142\"}.fa-ello:before{content:\"\\f5f1\"}.fa-ember:before{content:\"\\f423\"}.fa-empire:before{content:\"\\f1d1\"}.fa-envelope:before{content:\"\\f0e0\"}.fa-envelope-open:before{content:\"\\f2b6\"}.fa-envelope-open-text:before{content:\"\\f658\"}.fa-envelope-square:before{content:\"\\f199\"}.fa-envira:before{content:\"\\f299\"}.fa-equals:before{content:\"\\f52c\"}.fa-eraser:before{content:\"\\f12d\"}.fa-erlang:before{content:\"\\f39d\"}.fa-ethereum:before{content:\"\\f42e\"}.fa-ethernet:before{content:\"\\f796\"}.fa-etsy:before{content:\"\\f2d7\"}.fa-euro-sign:before{content:\"\\f153\"}.fa-evernote:before{content:\"\\f839\"}.fa-exchange-alt:before{content:\"\\f362\"}.fa-exclamation:before{content:\"\\f12a\"}.fa-exclamation-circle:before{content:\"\\f06a\"}.fa-exclamation-triangle:before{content:\"\\f071\"}.fa-expand:before{content:\"\\f065\"}.fa-expand-alt:before{content:\"\\f424\"}.fa-expand-arrows-alt:before{content:\"\\f31e\"}.fa-expeditedssl:before{content:\"\\f23e\"}.fa-external-link-alt:before{content:\"\\f35d\"}.fa-external-link-square-alt:before{content:\"\\f360\"}.fa-eye:before{content:\"\\f06e\"}.fa-eye-dropper:before{content:\"\\f1fb\"}.fa-eye-slash:before{content:\"\\f070\"}.fa-facebook:before{content:\"\\f09a\"}.fa-facebook-f:before{content:\"\\f39e\"}.fa-facebook-messenger:before{content:\"\\f39f\"}.fa-facebook-square:before{content:\"\\f082\"}.fa-fan:before{content:\"\\f863\"}.fa-fantasy-flight-games:before{content:\"\\f6dc\"}.fa-fast-backward:before{content:\"\\f049\"}.fa-fast-forward:before{content:\"\\f050\"}.fa-faucet:before{content:\"\\e005\"}.fa-fax:before{content:\"\\f1ac\"}.fa-feather:before{content:\"\\f52d\"}.fa-feather-alt:before{content:\"\\f56b\"}.fa-fedex:before{content:\"\\f797\"}.fa-fedora:before{content:\"\\f798\"}.fa-female:before{content:\"\\f182\"}.fa-fighter-jet:before{content:\"\\f0fb\"}.fa-figma:before{content:\"\\f799\"}.fa-file:before{content:\"\\f15b\"}.fa-file-alt:before{content:\"\\f15c\"}.fa-file-archive:before{content:\"\\f1c6\"}.fa-file-audio:before{content:\"\\f1c7\"}.fa-file-code:before{content:\"\\f1c9\"}.fa-file-contract:before{content:\"\\f56c\"}.fa-file-csv:before{content:\"\\f6dd\"}.fa-file-download:before{content:\"\\f56d\"}.fa-file-excel:before{content:\"\\f1c3\"}.fa-file-export:before{content:\"\\f56e\"}.fa-file-image:before{content:\"\\f1c5\"}.fa-file-import:before{content:\"\\f56f\"}.fa-file-invoice:before{content:\"\\f570\"}.fa-file-invoice-dollar:before{content:\"\\f571\"}.fa-file-medical:before{content:\"\\f477\"}.fa-file-medical-alt:before{content:\"\\f478\"}.fa-file-pdf:before{content:\"\\f1c1\"}.fa-file-powerpoint:before{content:\"\\f1c4\"}.fa-file-prescription:before{content:\"\\f572\"}.fa-file-signature:before{content:\"\\f573\"}.fa-file-upload:before{content:\"\\f574\"}.fa-file-video:before{content:\"\\f1c8\"}.fa-file-word:before{content:\"\\f1c2\"}.fa-fill:before{content:\"\\f575\"}.fa-fill-drip:before{content:\"\\f576\"}.fa-film:before{content:\"\\f008\"}.fa-filter:before{content:\"\\f0b0\"}.fa-fingerprint:before{content:\"\\f577\"}.fa-fire:before{content:\"\\f06d\"}.fa-fire-alt:before{content:\"\\f7e4\"}.fa-fire-extinguisher:before{content:\"\\f134\"}.fa-firefox:before{content:\"\\f269\"}.fa-firefox-browser:before{content:\"\\e007\"}.fa-first-aid:before{content:\"\\f479\"}.fa-first-order:before{content:\"\\f2b0\"}.fa-first-order-alt:before{content:\"\\f50a\"}.fa-firstdraft:before{content:\"\\f3a1\"}.fa-fish:before{content:\"\\f578\"}.fa-fist-raised:before{content:\"\\f6de\"}.fa-flag:before{content:\"\\f024\"}.fa-flag-checkered:before{content:\"\\f11e\"}.fa-flag-usa:before{content:\"\\f74d\"}.fa-flask:before{content:\"\\f0c3\"}.fa-flickr:before{content:\"\\f16e\"}.fa-flipboard:before{content:\"\\f44d\"}.fa-flushed:before{content:\"\\f579\"}.fa-fly:before{content:\"\\f417\"}.fa-folder:before{content:\"\\f07b\"}.fa-folder-minus:before{content:\"\\f65d\"}.fa-folder-open:before{content:\"\\f07c\"}.fa-folder-plus:before{content:\"\\f65e\"}.fa-font:before{content:\"\\f031\"}.fa-font-awesome:before{content:\"\\f2b4\"}.fa-font-awesome-alt:before{content:\"\\f35c\"}.fa-font-awesome-flag:before{content:\"\\f425\"}.fa-font-awesome-logo-full:before{content:\"\\f4e6\"}.fa-fonticons:before{content:\"\\f280\"}.fa-fonticons-fi:before{content:\"\\f3a2\"}.fa-football-ball:before{content:\"\\f44e\"}.fa-fort-awesome:before{content:\"\\f286\"}.fa-fort-awesome-alt:before{content:\"\\f3a3\"}.fa-forumbee:before{content:\"\\f211\"}.fa-forward:before{content:\"\\f04e\"}.fa-foursquare:before{content:\"\\f180\"}.fa-free-code-camp:before{content:\"\\f2c5\"}.fa-freebsd:before{content:\"\\f3a4\"}.fa-frog:before{content:\"\\f52e\"}.fa-frown:before{content:\"\\f119\"}.fa-frown-open:before{content:\"\\f57a\"}.fa-fulcrum:before{content:\"\\f50b\"}.fa-funnel-dollar:before{content:\"\\f662\"}.fa-futbol:before{content:\"\\f1e3\"}.fa-galactic-republic:before{content:\"\\f50c\"}.fa-galactic-senate:before{content:\"\\f50d\"}.fa-gamepad:before{content:\"\\f11b\"}.fa-gas-pump:before{content:\"\\f52f\"}.fa-gavel:before{content:\"\\f0e3\"}.fa-gem:before{content:\"\\f3a5\"}.fa-genderless:before{content:\"\\f22d\"}.fa-get-pocket:before{content:\"\\f265\"}.fa-gg:before{content:\"\\f260\"}.fa-gg-circle:before{content:\"\\f261\"}.fa-ghost:before{content:\"\\f6e2\"}.fa-gift:before{content:\"\\f06b\"}.fa-gifts:before{content:\"\\f79c\"}.fa-git:before{content:\"\\f1d3\"}.fa-git-alt:before{content:\"\\f841\"}.fa-git-square:before{content:\"\\f1d2\"}.fa-github:before{content:\"\\f09b\"}.fa-github-alt:before{content:\"\\f113\"}.fa-github-square:before{content:\"\\f092\"}.fa-gitkraken:before{content:\"\\f3a6\"}.fa-gitlab:before{content:\"\\f296\"}.fa-gitter:before{content:\"\\f426\"}.fa-glass-cheers:before{content:\"\\f79f\"}.fa-glass-martini:before{content:\"\\f000\"}.fa-glass-martini-alt:before{content:\"\\f57b\"}.fa-glass-whiskey:before{content:\"\\f7a0\"}.fa-glasses:before{content:\"\\f530\"}.fa-glide:before{content:\"\\f2a5\"}.fa-glide-g:before{content:\"\\f2a6\"}.fa-globe:before{content:\"\\f0ac\"}.fa-globe-africa:before{content:\"\\f57c\"}.fa-globe-americas:before{content:\"\\f57d\"}.fa-globe-asia:before{content:\"\\f57e\"}.fa-globe-europe:before{content:\"\\f7a2\"}.fa-gofore:before{content:\"\\f3a7\"}.fa-golf-ball:before{content:\"\\f450\"}.fa-goodreads:before{content:\"\\f3a8\"}.fa-goodreads-g:before{content:\"\\f3a9\"}.fa-google:before{content:\"\\f1a0\"}.fa-google-drive:before{content:\"\\f3aa\"}.fa-google-pay:before{content:\"\\e079\"}.fa-google-play:before{content:\"\\f3ab\"}.fa-google-plus:before{content:\"\\f2b3\"}.fa-google-plus-g:before{content:\"\\f0d5\"}.fa-google-plus-square:before{content:\"\\f0d4\"}.fa-google-wallet:before{content:\"\\f1ee\"}.fa-gopuram:before{content:\"\\f664\"}.fa-graduation-cap:before{content:\"\\f19d\"}.fa-gratipay:before{content:\"\\f184\"}.fa-grav:before{content:\"\\f2d6\"}.fa-greater-than:before{content:\"\\f531\"}.fa-greater-than-equal:before{content:\"\\f532\"}.fa-grimace:before{content:\"\\f57f\"}.fa-grin:before{content:\"\\f580\"}.fa-grin-alt:before{content:\"\\f581\"}.fa-grin-beam:before{content:\"\\f582\"}.fa-grin-beam-sweat:before{content:\"\\f583\"}.fa-grin-hearts:before{content:\"\\f584\"}.fa-grin-squint:before{content:\"\\f585\"}.fa-grin-squint-tears:before{content:\"\\f586\"}.fa-grin-stars:before{content:\"\\f587\"}.fa-grin-tears:before{content:\"\\f588\"}.fa-grin-tongue:before{content:\"\\f589\"}.fa-grin-tongue-squint:before{content:\"\\f58a\"}.fa-grin-tongue-wink:before{content:\"\\f58b\"}.fa-grin-wink:before{content:\"\\f58c\"}.fa-grip-horizontal:before{content:\"\\f58d\"}.fa-grip-lines:before{content:\"\\f7a4\"}.fa-grip-lines-vertical:before{content:\"\\f7a5\"}.fa-grip-vertical:before{content:\"\\f58e\"}.fa-gripfire:before{content:\"\\f3ac\"}.fa-grunt:before{content:\"\\f3ad\"}.fa-guitar:before{content:\"\\f7a6\"}.fa-gulp:before{content:\"\\f3ae\"}.fa-h-square:before{content:\"\\f0fd\"}.fa-hacker-news:before{content:\"\\f1d4\"}.fa-hacker-news-square:before{content:\"\\f3af\"}.fa-hackerrank:before{content:\"\\f5f7\"}.fa-hamburger:before{content:\"\\f805\"}.fa-hammer:before{content:\"\\f6e3\"}.fa-hamsa:before{content:\"\\f665\"}.fa-hand-holding:before{content:\"\\f4bd\"}.fa-hand-holding-heart:before{content:\"\\f4be\"}.fa-hand-holding-medical:before{content:\"\\e05c\"}.fa-hand-holding-usd:before{content:\"\\f4c0\"}.fa-hand-holding-water:before{content:\"\\f4c1\"}.fa-hand-lizard:before{content:\"\\f258\"}.fa-hand-middle-finger:before{content:\"\\f806\"}.fa-hand-paper:before{content:\"\\f256\"}.fa-hand-peace:before{content:\"\\f25b\"}.fa-hand-point-down:before{content:\"\\f0a7\"}.fa-hand-point-left:before{content:\"\\f0a5\"}.fa-hand-point-right:before{content:\"\\f0a4\"}.fa-hand-point-up:before{content:\"\\f0a6\"}.fa-hand-pointer:before{content:\"\\f25a\"}.fa-hand-rock:before{content:\"\\f255\"}.fa-hand-scissors:before{content:\"\\f257\"}.fa-hand-sparkles:before{content:\"\\e05d\"}.fa-hand-spock:before{content:\"\\f259\"}.fa-hands:before{content:\"\\f4c2\"}.fa-hands-helping:before{content:\"\\f4c4\"}.fa-hands-wash:before{content:\"\\e05e\"}.fa-handshake:before{content:\"\\f2b5\"}.fa-handshake-alt-slash:before{content:\"\\e05f\"}.fa-handshake-slash:before{content:\"\\e060\"}.fa-hanukiah:before{content:\"\\f6e6\"}.fa-hard-hat:before{content:\"\\f807\"}.fa-hashtag:before{content:\"\\f292\"}.fa-hat-cowboy:before{content:\"\\f8c0\"}.fa-hat-cowboy-side:before{content:\"\\f8c1\"}.fa-hat-wizard:before{content:\"\\f6e8\"}.fa-hdd:before{content:\"\\f0a0\"}.fa-head-side-cough:before{content:\"\\e061\"}.fa-head-side-cough-slash:before{content:\"\\e062\"}.fa-head-side-mask:before{content:\"\\e063\"}.fa-head-side-virus:before{content:\"\\e064\"}.fa-heading:before{content:\"\\f1dc\"}.fa-headphones:before{content:\"\\f025\"}.fa-headphones-alt:before{content:\"\\f58f\"}.fa-headset:before{content:\"\\f590\"}.fa-heart:before{content:\"\\f004\"}.fa-heart-broken:before{content:\"\\f7a9\"}.fa-heartbeat:before{content:\"\\f21e\"}.fa-helicopter:before{content:\"\\f533\"}.fa-highlighter:before{content:\"\\f591\"}.fa-hiking:before{content:\"\\f6ec\"}.fa-hippo:before{content:\"\\f6ed\"}.fa-hips:before{content:\"\\f452\"}.fa-hire-a-helper:before{content:\"\\f3b0\"}.fa-history:before{content:\"\\f1da\"}.fa-hockey-puck:before{content:\"\\f453\"}.fa-holly-berry:before{content:\"\\f7aa\"}.fa-home:before{content:\"\\f015\"}.fa-hooli:before{content:\"\\f427\"}.fa-hornbill:before{content:\"\\f592\"}.fa-horse:before{content:\"\\f6f0\"}.fa-horse-head:before{content:\"\\f7ab\"}.fa-hospital:before{content:\"\\f0f8\"}.fa-hospital-alt:before{content:\"\\f47d\"}.fa-hospital-symbol:before{content:\"\\f47e\"}.fa-hospital-user:before{content:\"\\f80d\"}.fa-hot-tub:before{content:\"\\f593\"}.fa-hotdog:before{content:\"\\f80f\"}.fa-hotel:before{content:\"\\f594\"}.fa-hotjar:before{content:\"\\f3b1\"}.fa-hourglass:before{content:\"\\f254\"}.fa-hourglass-end:before{content:\"\\f253\"}.fa-hourglass-half:before{content:\"\\f252\"}.fa-hourglass-start:before{content:\"\\f251\"}.fa-house-damage:before{content:\"\\f6f1\"}.fa-house-user:before{content:\"\\e065\"}.fa-houzz:before{content:\"\\f27c\"}.fa-hryvnia:before{content:\"\\f6f2\"}.fa-html5:before{content:\"\\f13b\"}.fa-hubspot:before{content:\"\\f3b2\"}.fa-i-cursor:before{content:\"\\f246\"}.fa-ice-cream:before{content:\"\\f810\"}.fa-icicles:before{content:\"\\f7ad\"}.fa-icons:before{content:\"\\f86d\"}.fa-id-badge:before{content:\"\\f2c1\"}.fa-id-card:before{content:\"\\f2c2\"}.fa-id-card-alt:before{content:\"\\f47f\"}.fa-ideal:before{content:\"\\e013\"}.fa-igloo:before{content:\"\\f7ae\"}.fa-image:before{content:\"\\f03e\"}.fa-images:before{content:\"\\f302\"}.fa-imdb:before{content:\"\\f2d8\"}.fa-inbox:before{content:\"\\f01c\"}.fa-indent:before{content:\"\\f03c\"}.fa-industry:before{content:\"\\f275\"}.fa-infinity:before{content:\"\\f534\"}.fa-info:before{content:\"\\f129\"}.fa-info-circle:before{content:\"\\f05a\"}.fa-instagram:before{content:\"\\f16d\"}.fa-instagram-square:before{content:\"\\e055\"}.fa-intercom:before{content:\"\\f7af\"}.fa-internet-explorer:before{content:\"\\f26b\"}.fa-invision:before{content:\"\\f7b0\"}.fa-ioxhost:before{content:\"\\f208\"}.fa-italic:before{content:\"\\f033\"}.fa-itch-io:before{content:\"\\f83a\"}.fa-itunes:before{content:\"\\f3b4\"}.fa-itunes-note:before{content:\"\\f3b5\"}.fa-java:before{content:\"\\f4e4\"}.fa-jedi:before{content:\"\\f669\"}.fa-jedi-order:before{content:\"\\f50e\"}.fa-jenkins:before{content:\"\\f3b6\"}.fa-jira:before{content:\"\\f7b1\"}.fa-joget:before{content:\"\\f3b7\"}.fa-joint:before{content:\"\\f595\"}.fa-joomla:before{content:\"\\f1aa\"}.fa-journal-whills:before{content:\"\\f66a\"}.fa-js:before{content:\"\\f3b8\"}.fa-js-square:before{content:\"\\f3b9\"}.fa-jsfiddle:before{content:\"\\f1cc\"}.fa-kaaba:before{content:\"\\f66b\"}.fa-kaggle:before{content:\"\\f5fa\"}.fa-key:before{content:\"\\f084\"}.fa-keybase:before{content:\"\\f4f5\"}.fa-keyboard:before{content:\"\\f11c\"}.fa-keycdn:before{content:\"\\f3ba\"}.fa-khanda:before{content:\"\\f66d\"}.fa-kickstarter:before{content:\"\\f3bb\"}.fa-kickstarter-k:before{content:\"\\f3bc\"}.fa-kiss:before{content:\"\\f596\"}.fa-kiss-beam:before{content:\"\\f597\"}.fa-kiss-wink-heart:before{content:\"\\f598\"}.fa-kiwi-bird:before{content:\"\\f535\"}.fa-korvue:before{content:\"\\f42f\"}.fa-landmark:before{content:\"\\f66f\"}.fa-language:before{content:\"\\f1ab\"}.fa-laptop:before{content:\"\\f109\"}.fa-laptop-code:before{content:\"\\f5fc\"}.fa-laptop-house:before{content:\"\\e066\"}.fa-laptop-medical:before{content:\"\\f812\"}.fa-laravel:before{content:\"\\f3bd\"}.fa-lastfm:before{content:\"\\f202\"}.fa-lastfm-square:before{content:\"\\f203\"}.fa-laugh:before{content:\"\\f599\"}.fa-laugh-beam:before{content:\"\\f59a\"}.fa-laugh-squint:before{content:\"\\f59b\"}.fa-laugh-wink:before{content:\"\\f59c\"}.fa-layer-group:before{content:\"\\f5fd\"}.fa-leaf:before{content:\"\\f06c\"}.fa-leanpub:before{content:\"\\f212\"}.fa-lemon:before{content:\"\\f094\"}.fa-less:before{content:\"\\f41d\"}.fa-less-than:before{content:\"\\f536\"}.fa-less-than-equal:before{content:\"\\f537\"}.fa-level-down-alt:before{content:\"\\f3be\"}.fa-level-up-alt:before{content:\"\\f3bf\"}.fa-life-ring:before{content:\"\\f1cd\"}.fa-lightbulb:before{content:\"\\f0eb\"}.fa-line:before{content:\"\\f3c0\"}.fa-link:before{content:\"\\f0c1\"}.fa-linkedin:before{content:\"\\f08c\"}.fa-linkedin-in:before{content:\"\\f0e1\"}.fa-linode:before{content:\"\\f2b8\"}.fa-linux:before{content:\"\\f17c\"}.fa-lira-sign:before{content:\"\\f195\"}.fa-list:before{content:\"\\f03a\"}.fa-list-alt:before{content:\"\\f022\"}.fa-list-ol:before{content:\"\\f0cb\"}.fa-list-ul:before{content:\"\\f0ca\"}.fa-location-arrow:before{content:\"\\f124\"}.fa-lock:before{content:\"\\f023\"}.fa-lock-open:before{content:\"\\f3c1\"}.fa-long-arrow-alt-down:before{content:\"\\f309\"}.fa-long-arrow-alt-left:before{content:\"\\f30a\"}.fa-long-arrow-alt-right:before{content:\"\\f30b\"}.fa-long-arrow-alt-up:before{content:\"\\f30c\"}.fa-low-vision:before{content:\"\\f2a8\"}.fa-luggage-cart:before{content:\"\\f59d\"}.fa-lungs:before{content:\"\\f604\"}.fa-lungs-virus:before{content:\"\\e067\"}.fa-lyft:before{content:\"\\f3c3\"}.fa-magento:before{content:\"\\f3c4\"}.fa-magic:before{content:\"\\f0d0\"}.fa-magnet:before{content:\"\\f076\"}.fa-mail-bulk:before{content:\"\\f674\"}.fa-mailchimp:before{content:\"\\f59e\"}.fa-male:before{content:\"\\f183\"}.fa-mandalorian:before{content:\"\\f50f\"}.fa-map:before{content:\"\\f279\"}.fa-map-marked:before{content:\"\\f59f\"}.fa-map-marked-alt:before{content:\"\\f5a0\"}.fa-map-marker:before{content:\"\\f041\"}.fa-map-marker-alt:before{content:\"\\f3c5\"}.fa-map-pin:before{content:\"\\f276\"}.fa-map-signs:before{content:\"\\f277\"}.fa-markdown:before{content:\"\\f60f\"}.fa-marker:before{content:\"\\f5a1\"}.fa-mars:before{content:\"\\f222\"}.fa-mars-double:before{content:\"\\f227\"}.fa-mars-stroke:before{content:\"\\f229\"}.fa-mars-stroke-h:before{content:\"\\f22b\"}.fa-mars-stroke-v:before{content:\"\\f22a\"}.fa-mask:before{content:\"\\f6fa\"}.fa-mastodon:before{content:\"\\f4f6\"}.fa-maxcdn:before{content:\"\\f136\"}.fa-mdb:before{content:\"\\f8ca\"}.fa-medal:before{content:\"\\f5a2\"}.fa-medapps:before{content:\"\\f3c6\"}.fa-medium:before{content:\"\\f23a\"}.fa-medium-m:before{content:\"\\f3c7\"}.fa-medkit:before{content:\"\\f0fa\"}.fa-medrt:before{content:\"\\f3c8\"}.fa-meetup:before{content:\"\\f2e0\"}.fa-megaport:before{content:\"\\f5a3\"}.fa-meh:before{content:\"\\f11a\"}.fa-meh-blank:before{content:\"\\f5a4\"}.fa-meh-rolling-eyes:before{content:\"\\f5a5\"}.fa-memory:before{content:\"\\f538\"}.fa-mendeley:before{content:\"\\f7b3\"}.fa-menorah:before{content:\"\\f676\"}.fa-mercury:before{content:\"\\f223\"}.fa-meteor:before{content:\"\\f753\"}.fa-microblog:before{content:\"\\e01a\"}.fa-microchip:before{content:\"\\f2db\"}.fa-microphone:before{content:\"\\f130\"}.fa-microphone-alt:before{content:\"\\f3c9\"}.fa-microphone-alt-slash:before{content:\"\\f539\"}.fa-microphone-slash:before{content:\"\\f131\"}.fa-microscope:before{content:\"\\f610\"}.fa-microsoft:before{content:\"\\f3ca\"}.fa-minus:before{content:\"\\f068\"}.fa-minus-circle:before{content:\"\\f056\"}.fa-minus-square:before{content:\"\\f146\"}.fa-mitten:before{content:\"\\f7b5\"}.fa-mix:before{content:\"\\f3cb\"}.fa-mixcloud:before{content:\"\\f289\"}.fa-mixer:before{content:\"\\e056\"}.fa-mizuni:before{content:\"\\f3cc\"}.fa-mobile:before{content:\"\\f10b\"}.fa-mobile-alt:before{content:\"\\f3cd\"}.fa-modx:before{content:\"\\f285\"}.fa-monero:before{content:\"\\f3d0\"}.fa-money-bill:before{content:\"\\f0d6\"}.fa-money-bill-alt:before{content:\"\\f3d1\"}.fa-money-bill-wave:before{content:\"\\f53a\"}.fa-money-bill-wave-alt:before{content:\"\\f53b\"}.fa-money-check:before{content:\"\\f53c\"}.fa-money-check-alt:before{content:\"\\f53d\"}.fa-monument:before{content:\"\\f5a6\"}.fa-moon:before{content:\"\\f186\"}.fa-mortar-pestle:before{content:\"\\f5a7\"}.fa-mosque:before{content:\"\\f678\"}.fa-motorcycle:before{content:\"\\f21c\"}.fa-mountain:before{content:\"\\f6fc\"}.fa-mouse:before{content:\"\\f8cc\"}.fa-mouse-pointer:before{content:\"\\f245\"}.fa-mug-hot:before{content:\"\\f7b6\"}.fa-music:before{content:\"\\f001\"}.fa-napster:before{content:\"\\f3d2\"}.fa-neos:before{content:\"\\f612\"}.fa-network-wired:before{content:\"\\f6ff\"}.fa-neuter:before{content:\"\\f22c\"}.fa-newspaper:before{content:\"\\f1ea\"}.fa-nimblr:before{content:\"\\f5a8\"}.fa-node:before{content:\"\\f419\"}.fa-node-js:before{content:\"\\f3d3\"}.fa-not-equal:before{content:\"\\f53e\"}.fa-notes-medical:before{content:\"\\f481\"}.fa-npm:before{content:\"\\f3d4\"}.fa-ns8:before{content:\"\\f3d5\"}.fa-nutritionix:before{content:\"\\f3d6\"}.fa-object-group:before{content:\"\\f247\"}.fa-object-ungroup:before{content:\"\\f248\"}.fa-odnoklassniki:before{content:\"\\f263\"}.fa-odnoklassniki-square:before{content:\"\\f264\"}.fa-oil-can:before{content:\"\\f613\"}.fa-old-republic:before{content:\"\\f510\"}.fa-om:before{content:\"\\f679\"}.fa-opencart:before{content:\"\\f23d\"}.fa-openid:before{content:\"\\f19b\"}.fa-opera:before{content:\"\\f26a\"}.fa-optin-monster:before{content:\"\\f23c\"}.fa-orcid:before{content:\"\\f8d2\"}.fa-osi:before{content:\"\\f41a\"}.fa-otter:before{content:\"\\f700\"}.fa-outdent:before{content:\"\\f03b\"}.fa-page4:before{content:\"\\f3d7\"}.fa-pagelines:before{content:\"\\f18c\"}.fa-pager:before{content:\"\\f815\"}.fa-paint-brush:before{content:\"\\f1fc\"}.fa-paint-roller:before{content:\"\\f5aa\"}.fa-palette:before{content:\"\\f53f\"}.fa-palfed:before{content:\"\\f3d8\"}.fa-pallet:before{content:\"\\f482\"}.fa-paper-plane:before{content:\"\\f1d8\"}.fa-paperclip:before{content:\"\\f0c6\"}.fa-parachute-box:before{content:\"\\f4cd\"}.fa-paragraph:before{content:\"\\f1dd\"}.fa-parking:before{content:\"\\f540\"}.fa-passport:before{content:\"\\f5ab\"}.fa-pastafarianism:before{content:\"\\f67b\"}.fa-paste:before{content:\"\\f0ea\"}.fa-patreon:before{content:\"\\f3d9\"}.fa-pause:before{content:\"\\f04c\"}.fa-pause-circle:before{content:\"\\f28b\"}.fa-paw:before{content:\"\\f1b0\"}.fa-paypal:before{content:\"\\f1ed\"}.fa-peace:before{content:\"\\f67c\"}.fa-pen:before{content:\"\\f304\"}.fa-pen-alt:before{content:\"\\f305\"}.fa-pen-fancy:before{content:\"\\f5ac\"}.fa-pen-nib:before{content:\"\\f5ad\"}.fa-pen-square:before{content:\"\\f14b\"}.fa-pencil-alt:before{content:\"\\f303\"}.fa-pencil-ruler:before{content:\"\\f5ae\"}.fa-penny-arcade:before{content:\"\\f704\"}.fa-people-arrows:before{content:\"\\e068\"}.fa-people-carry:before{content:\"\\f4ce\"}.fa-pepper-hot:before{content:\"\\f816\"}.fa-percent:before{content:\"\\f295\"}.fa-percentage:before{content:\"\\f541\"}.fa-periscope:before{content:\"\\f3da\"}.fa-person-booth:before{content:\"\\f756\"}.fa-phabricator:before{content:\"\\f3db\"}.fa-phoenix-framework:before{content:\"\\f3dc\"}.fa-phoenix-squadron:before{content:\"\\f511\"}.fa-phone:before{content:\"\\f095\"}.fa-phone-alt:before{content:\"\\f879\"}.fa-phone-slash:before{content:\"\\f3dd\"}.fa-phone-square:before{content:\"\\f098\"}.fa-phone-square-alt:before{content:\"\\f87b\"}.fa-phone-volume:before{content:\"\\f2a0\"}.fa-photo-video:before{content:\"\\f87c\"}.fa-php:before{content:\"\\f457\"}.fa-pied-piper:before{content:\"\\f2ae\"}.fa-pied-piper-alt:before{content:\"\\f1a8\"}.fa-pied-piper-hat:before{content:\"\\f4e5\"}.fa-pied-piper-pp:before{content:\"\\f1a7\"}.fa-pied-piper-square:before{content:\"\\e01e\"}.fa-piggy-bank:before{content:\"\\f4d3\"}.fa-pills:before{content:\"\\f484\"}.fa-pinterest:before{content:\"\\f0d2\"}.fa-pinterest-p:before{content:\"\\f231\"}.fa-pinterest-square:before{content:\"\\f0d3\"}.fa-pizza-slice:before{content:\"\\f818\"}.fa-place-of-worship:before{content:\"\\f67f\"}.fa-plane:before{content:\"\\f072\"}.fa-plane-arrival:before{content:\"\\f5af\"}.fa-plane-departure:before{content:\"\\f5b0\"}.fa-plane-slash:before{content:\"\\e069\"}.fa-play:before{content:\"\\f04b\"}.fa-play-circle:before{content:\"\\f144\"}.fa-playstation:before{content:\"\\f3df\"}.fa-plug:before{content:\"\\f1e6\"}.fa-plus:before{content:\"\\f067\"}.fa-plus-circle:before{content:\"\\f055\"}.fa-plus-square:before{content:\"\\f0fe\"}.fa-podcast:before{content:\"\\f2ce\"}.fa-poll:before{content:\"\\f681\"}.fa-poll-h:before{content:\"\\f682\"}.fa-poo:before{content:\"\\f2fe\"}.fa-poo-storm:before{content:\"\\f75a\"}.fa-poop:before{content:\"\\f619\"}.fa-portrait:before{content:\"\\f3e0\"}.fa-pound-sign:before{content:\"\\f154\"}.fa-power-off:before{content:\"\\f011\"}.fa-pray:before{content:\"\\f683\"}.fa-praying-hands:before{content:\"\\f684\"}.fa-prescription:before{content:\"\\f5b1\"}.fa-prescription-bottle:before{content:\"\\f485\"}.fa-prescription-bottle-alt:before{content:\"\\f486\"}.fa-print:before{content:\"\\f02f\"}.fa-procedures:before{content:\"\\f487\"}.fa-product-hunt:before{content:\"\\f288\"}.fa-project-diagram:before{content:\"\\f542\"}.fa-pump-medical:before{content:\"\\e06a\"}.fa-pump-soap:before{content:\"\\e06b\"}.fa-pushed:before{content:\"\\f3e1\"}.fa-puzzle-piece:before{content:\"\\f12e\"}.fa-python:before{content:\"\\f3e2\"}.fa-qq:before{content:\"\\f1d6\"}.fa-qrcode:before{content:\"\\f029\"}.fa-question:before{content:\"\\f128\"}.fa-question-circle:before{content:\"\\f059\"}.fa-quidditch:before{content:\"\\f458\"}.fa-quinscape:before{content:\"\\f459\"}.fa-quora:before{content:\"\\f2c4\"}.fa-quote-left:before{content:\"\\f10d\"}.fa-quote-right:before{content:\"\\f10e\"}.fa-quran:before{content:\"\\f687\"}.fa-r-project:before{content:\"\\f4f7\"}.fa-radiation:before{content:\"\\f7b9\"}.fa-radiation-alt:before{content:\"\\f7ba\"}.fa-rainbow:before{content:\"\\f75b\"}.fa-random:before{content:\"\\f074\"}.fa-raspberry-pi:before{content:\"\\f7bb\"}.fa-ravelry:before{content:\"\\f2d9\"}.fa-react:before{content:\"\\f41b\"}.fa-reacteurope:before{content:\"\\f75d\"}.fa-readme:before{content:\"\\f4d5\"}.fa-rebel:before{content:\"\\f1d0\"}.fa-receipt:before{content:\"\\f543\"}.fa-record-vinyl:before{content:\"\\f8d9\"}.fa-recycle:before{content:\"\\f1b8\"}.fa-red-river:before{content:\"\\f3e3\"}.fa-reddit:before{content:\"\\f1a1\"}.fa-reddit-alien:before{content:\"\\f281\"}.fa-reddit-square:before{content:\"\\f1a2\"}.fa-redhat:before{content:\"\\f7bc\"}.fa-redo:before{content:\"\\f01e\"}.fa-redo-alt:before{content:\"\\f2f9\"}.fa-registered:before{content:\"\\f25d\"}.fa-remove-format:before{content:\"\\f87d\"}.fa-renren:before{content:\"\\f18b\"}.fa-reply:before{content:\"\\f3e5\"}.fa-reply-all:before{content:\"\\f122\"}.fa-replyd:before{content:\"\\f3e6\"}.fa-republican:before{content:\"\\f75e\"}.fa-researchgate:before{content:\"\\f4f8\"}.fa-resolving:before{content:\"\\f3e7\"}.fa-restroom:before{content:\"\\f7bd\"}.fa-retweet:before{content:\"\\f079\"}.fa-rev:before{content:\"\\f5b2\"}.fa-ribbon:before{content:\"\\f4d6\"}.fa-ring:before{content:\"\\f70b\"}.fa-road:before{content:\"\\f018\"}.fa-robot:before{content:\"\\f544\"}.fa-rocket:before{content:\"\\f135\"}.fa-rocketchat:before{content:\"\\f3e8\"}.fa-rockrms:before{content:\"\\f3e9\"}.fa-route:before{content:\"\\f4d7\"}.fa-rss:before{content:\"\\f09e\"}.fa-rss-square:before{content:\"\\f143\"}.fa-ruble-sign:before{content:\"\\f158\"}.fa-ruler:before{content:\"\\f545\"}.fa-ruler-combined:before{content:\"\\f546\"}.fa-ruler-horizontal:before{content:\"\\f547\"}.fa-ruler-vertical:before{content:\"\\f548\"}.fa-running:before{content:\"\\f70c\"}.fa-rupee-sign:before{content:\"\\f156\"}.fa-rust:before{content:\"\\e07a\"}.fa-sad-cry:before{content:\"\\f5b3\"}.fa-sad-tear:before{content:\"\\f5b4\"}.fa-safari:before{content:\"\\f267\"}.fa-salesforce:before{content:\"\\f83b\"}.fa-sass:before{content:\"\\f41e\"}.fa-satellite:before{content:\"\\f7bf\"}.fa-satellite-dish:before{content:\"\\f7c0\"}.fa-save:before{content:\"\\f0c7\"}.fa-schlix:before{content:\"\\f3ea\"}.fa-school:before{content:\"\\f549\"}.fa-screwdriver:before{content:\"\\f54a\"}.fa-scribd:before{content:\"\\f28a\"}.fa-scroll:before{content:\"\\f70e\"}.fa-sd-card:before{content:\"\\f7c2\"}.fa-search:before{content:\"\\f002\"}.fa-search-dollar:before{content:\"\\f688\"}.fa-search-location:before{content:\"\\f689\"}.fa-search-minus:before{content:\"\\f010\"}.fa-search-plus:before{content:\"\\f00e\"}.fa-searchengin:before{content:\"\\f3eb\"}.fa-seedling:before{content:\"\\f4d8\"}.fa-sellcast:before{content:\"\\f2da\"}.fa-sellsy:before{content:\"\\f213\"}.fa-server:before{content:\"\\f233\"}.fa-servicestack:before{content:\"\\f3ec\"}.fa-shapes:before{content:\"\\f61f\"}.fa-share:before{content:\"\\f064\"}.fa-share-alt:before{content:\"\\f1e0\"}.fa-share-alt-square:before{content:\"\\f1e1\"}.fa-share-square:before{content:\"\\f14d\"}.fa-shekel-sign:before{content:\"\\f20b\"}.fa-shield-alt:before{content:\"\\f3ed\"}.fa-shield-virus:before{content:\"\\e06c\"}.fa-ship:before{content:\"\\f21a\"}.fa-shipping-fast:before{content:\"\\f48b\"}.fa-shirtsinbulk:before{content:\"\\f214\"}.fa-shoe-prints:before{content:\"\\f54b\"}.fa-shopify:before{content:\"\\e057\"}.fa-shopping-bag:before{content:\"\\f290\"}.fa-shopping-basket:before{content:\"\\f291\"}.fa-shopping-cart:before{content:\"\\f07a\"}.fa-shopware:before{content:\"\\f5b5\"}.fa-shower:before{content:\"\\f2cc\"}.fa-shuttle-van:before{content:\"\\f5b6\"}.fa-sign:before{content:\"\\f4d9\"}.fa-sign-in-alt:before{content:\"\\f2f6\"}.fa-sign-language:before{content:\"\\f2a7\"}.fa-sign-out-alt:before{content:\"\\f2f5\"}.fa-signal:before{content:\"\\f012\"}.fa-signature:before{content:\"\\f5b7\"}.fa-sim-card:before{content:\"\\f7c4\"}.fa-simplybuilt:before{content:\"\\f215\"}.fa-sink:before{content:\"\\e06d\"}.fa-sistrix:before{content:\"\\f3ee\"}.fa-sitemap:before{content:\"\\f0e8\"}.fa-sith:before{content:\"\\f512\"}.fa-skating:before{content:\"\\f7c5\"}.fa-sketch:before{content:\"\\f7c6\"}.fa-skiing:before{content:\"\\f7c9\"}.fa-skiing-nordic:before{content:\"\\f7ca\"}.fa-skull:before{content:\"\\f54c\"}.fa-skull-crossbones:before{content:\"\\f714\"}.fa-skyatlas:before{content:\"\\f216\"}.fa-skype:before{content:\"\\f17e\"}.fa-slack:before{content:\"\\f198\"}.fa-slack-hash:before{content:\"\\f3ef\"}.fa-slash:before{content:\"\\f715\"}.fa-sleigh:before{content:\"\\f7cc\"}.fa-sliders-h:before{content:\"\\f1de\"}.fa-slideshare:before{content:\"\\f1e7\"}.fa-smile:before{content:\"\\f118\"}.fa-smile-beam:before{content:\"\\f5b8\"}.fa-smile-wink:before{content:\"\\f4da\"}.fa-smog:before{content:\"\\f75f\"}.fa-smoking:before{content:\"\\f48d\"}.fa-smoking-ban:before{content:\"\\f54d\"}.fa-sms:before{content:\"\\f7cd\"}.fa-snapchat:before{content:\"\\f2ab\"}.fa-snapchat-ghost:before{content:\"\\f2ac\"}.fa-snapchat-square:before{content:\"\\f2ad\"}.fa-snowboarding:before{content:\"\\f7ce\"}.fa-snowflake:before{content:\"\\f2dc\"}.fa-snowman:before{content:\"\\f7d0\"}.fa-snowplow:before{content:\"\\f7d2\"}.fa-soap:before{content:\"\\e06e\"}.fa-socks:before{content:\"\\f696\"}.fa-solar-panel:before{content:\"\\f5ba\"}.fa-sort:before{content:\"\\f0dc\"}.fa-sort-alpha-down:before{content:\"\\f15d\"}.fa-sort-alpha-down-alt:before{content:\"\\f881\"}.fa-sort-alpha-up:before{content:\"\\f15e\"}.fa-sort-alpha-up-alt:before{content:\"\\f882\"}.fa-sort-amount-down:before{content:\"\\f160\"}.fa-sort-amount-down-alt:before{content:\"\\f884\"}.fa-sort-amount-up:before{content:\"\\f161\"}.fa-sort-amount-up-alt:before{content:\"\\f885\"}.fa-sort-down:before{content:\"\\f0dd\"}.fa-sort-numeric-down:before{content:\"\\f162\"}.fa-sort-numeric-down-alt:before{content:\"\\f886\"}.fa-sort-numeric-up:before{content:\"\\f163\"}.fa-sort-numeric-up-alt:before{content:\"\\f887\"}.fa-sort-up:before{content:\"\\f0de\"}.fa-soundcloud:before{content:\"\\f1be\"}.fa-sourcetree:before{content:\"\\f7d3\"}.fa-spa:before{content:\"\\f5bb\"}.fa-space-shuttle:before{content:\"\\f197\"}.fa-speakap:before{content:\"\\f3f3\"}.fa-speaker-deck:before{content:\"\\f83c\"}.fa-spell-check:before{content:\"\\f891\"}.fa-spider:before{content:\"\\f717\"}.fa-spinner:before{content:\"\\f110\"}.fa-splotch:before{content:\"\\f5bc\"}.fa-spotify:before{content:\"\\f1bc\"}.fa-spray-can:before{content:\"\\f5bd\"}.fa-square:before{content:\"\\f0c8\"}.fa-square-full:before{content:\"\\f45c\"}.fa-square-root-alt:before{content:\"\\f698\"}.fa-squarespace:before{content:\"\\f5be\"}.fa-stack-exchange:before{content:\"\\f18d\"}.fa-stack-overflow:before{content:\"\\f16c\"}.fa-stackpath:before{content:\"\\f842\"}.fa-stamp:before{content:\"\\f5bf\"}.fa-star:before{content:\"\\f005\"}.fa-star-and-crescent:before{content:\"\\f699\"}.fa-star-half:before{content:\"\\f089\"}.fa-star-half-alt:before{content:\"\\f5c0\"}.fa-star-of-david:before{content:\"\\f69a\"}.fa-star-of-life:before{content:\"\\f621\"}.fa-staylinked:before{content:\"\\f3f5\"}.fa-steam:before{content:\"\\f1b6\"}.fa-steam-square:before{content:\"\\f1b7\"}.fa-steam-symbol:before{content:\"\\f3f6\"}.fa-step-backward:before{content:\"\\f048\"}.fa-step-forward:before{content:\"\\f051\"}.fa-stethoscope:before{content:\"\\f0f1\"}.fa-sticker-mule:before{content:\"\\f3f7\"}.fa-sticky-note:before{content:\"\\f249\"}.fa-stop:before{content:\"\\f04d\"}.fa-stop-circle:before{content:\"\\f28d\"}.fa-stopwatch:before{content:\"\\f2f2\"}.fa-stopwatch-20:before{content:\"\\e06f\"}.fa-store:before{content:\"\\f54e\"}.fa-store-alt:before{content:\"\\f54f\"}.fa-store-alt-slash:before{content:\"\\e070\"}.fa-store-slash:before{content:\"\\e071\"}.fa-strava:before{content:\"\\f428\"}.fa-stream:before{content:\"\\f550\"}.fa-street-view:before{content:\"\\f21d\"}.fa-strikethrough:before{content:\"\\f0cc\"}.fa-stripe:before{content:\"\\f429\"}.fa-stripe-s:before{content:\"\\f42a\"}.fa-stroopwafel:before{content:\"\\f551\"}.fa-studiovinari:before{content:\"\\f3f8\"}.fa-stumbleupon:before{content:\"\\f1a4\"}.fa-stumbleupon-circle:before{content:\"\\f1a3\"}.fa-subscript:before{content:\"\\f12c\"}.fa-subway:before{content:\"\\f239\"}.fa-suitcase:before{content:\"\\f0f2\"}.fa-suitcase-rolling:before{content:\"\\f5c1\"}.fa-sun:before{content:\"\\f185\"}.fa-superpowers:before{content:\"\\f2dd\"}.fa-superscript:before{content:\"\\f12b\"}.fa-supple:before{content:\"\\f3f9\"}.fa-surprise:before{content:\"\\f5c2\"}.fa-suse:before{content:\"\\f7d6\"}.fa-swatchbook:before{content:\"\\f5c3\"}.fa-swift:before{content:\"\\f8e1\"}.fa-swimmer:before{content:\"\\f5c4\"}.fa-swimming-pool:before{content:\"\\f5c5\"}.fa-symfony:before{content:\"\\f83d\"}.fa-synagogue:before{content:\"\\f69b\"}.fa-sync:before{content:\"\\f021\"}.fa-sync-alt:before{content:\"\\f2f1\"}.fa-syringe:before{content:\"\\f48e\"}.fa-table:before{content:\"\\f0ce\"}.fa-table-tennis:before{content:\"\\f45d\"}.fa-tablet:before{content:\"\\f10a\"}.fa-tablet-alt:before{content:\"\\f3fa\"}.fa-tablets:before{content:\"\\f490\"}.fa-tachometer-alt:before{content:\"\\f3fd\"}.fa-tag:before{content:\"\\f02b\"}.fa-tags:before{content:\"\\f02c\"}.fa-tape:before{content:\"\\f4db\"}.fa-tasks:before{content:\"\\f0ae\"}.fa-taxi:before{content:\"\\f1ba\"}.fa-teamspeak:before{content:\"\\f4f9\"}.fa-teeth:before{content:\"\\f62e\"}.fa-teeth-open:before{content:\"\\f62f\"}.fa-telegram:before{content:\"\\f2c6\"}.fa-telegram-plane:before{content:\"\\f3fe\"}.fa-temperature-high:before{content:\"\\f769\"}.fa-temperature-low:before{content:\"\\f76b\"}.fa-tencent-weibo:before{content:\"\\f1d5\"}.fa-tenge:before{content:\"\\f7d7\"}.fa-terminal:before{content:\"\\f120\"}.fa-text-height:before{content:\"\\f034\"}.fa-text-width:before{content:\"\\f035\"}.fa-th:before{content:\"\\f00a\"}.fa-th-large:before{content:\"\\f009\"}.fa-th-list:before{content:\"\\f00b\"}.fa-the-red-yeti:before{content:\"\\f69d\"}.fa-theater-masks:before{content:\"\\f630\"}.fa-themeco:before{content:\"\\f5c6\"}.fa-themeisle:before{content:\"\\f2b2\"}.fa-thermometer:before{content:\"\\f491\"}.fa-thermometer-empty:before{content:\"\\f2cb\"}.fa-thermometer-full:before{content:\"\\f2c7\"}.fa-thermometer-half:before{content:\"\\f2c9\"}.fa-thermometer-quarter:before{content:\"\\f2ca\"}.fa-thermometer-three-quarters:before{content:\"\\f2c8\"}.fa-think-peaks:before{content:\"\\f731\"}.fa-thumbs-down:before{content:\"\\f165\"}.fa-thumbs-up:before{content:\"\\f164\"}.fa-thumbtack:before{content:\"\\f08d\"}.fa-ticket-alt:before{content:\"\\f3ff\"}.fa-tiktok:before{content:\"\\e07b\"}.fa-times:before{content:\"\\f00d\"}.fa-times-circle:before{content:\"\\f057\"}.fa-tint:before{content:\"\\f043\"}.fa-tint-slash:before{content:\"\\f5c7\"}.fa-tired:before{content:\"\\f5c8\"}.fa-toggle-off:before{content:\"\\f204\"}.fa-toggle-on:before{content:\"\\f205\"}.fa-toilet:before{content:\"\\f7d8\"}.fa-toilet-paper:before{content:\"\\f71e\"}.fa-toilet-paper-slash:before{content:\"\\e072\"}.fa-toolbox:before{content:\"\\f552\"}.fa-tools:before{content:\"\\f7d9\"}.fa-tooth:before{content:\"\\f5c9\"}.fa-torah:before{content:\"\\f6a0\"}.fa-torii-gate:before{content:\"\\f6a1\"}.fa-tractor:before{content:\"\\f722\"}.fa-trade-federation:before{content:\"\\f513\"}.fa-trademark:before{content:\"\\f25c\"}.fa-traffic-light:before{content:\"\\f637\"}.fa-trailer:before{content:\"\\e041\"}.fa-train:before{content:\"\\f238\"}.fa-tram:before{content:\"\\f7da\"}.fa-transgender:before{content:\"\\f224\"}.fa-transgender-alt:before{content:\"\\f225\"}.fa-trash:before{content:\"\\f1f8\"}.fa-trash-alt:before{content:\"\\f2ed\"}.fa-trash-restore:before{content:\"\\f829\"}.fa-trash-restore-alt:before{content:\"\\f82a\"}.fa-tree:before{content:\"\\f1bb\"}.fa-trello:before{content:\"\\f181\"}.fa-tripadvisor:before{content:\"\\f262\"}.fa-trophy:before{content:\"\\f091\"}.fa-truck:before{content:\"\\f0d1\"}.fa-truck-loading:before{content:\"\\f4de\"}.fa-truck-monster:before{content:\"\\f63b\"}.fa-truck-moving:before{content:\"\\f4df\"}.fa-truck-pickup:before{content:\"\\f63c\"}.fa-tshirt:before{content:\"\\f553\"}.fa-tty:before{content:\"\\f1e4\"}.fa-tumblr:before{content:\"\\f173\"}.fa-tumblr-square:before{content:\"\\f174\"}.fa-tv:before{content:\"\\f26c\"}.fa-twitch:before{content:\"\\f1e8\"}.fa-twitter:before{content:\"\\f099\"}.fa-twitter-square:before{content:\"\\f081\"}.fa-typo3:before{content:\"\\f42b\"}.fa-uber:before{content:\"\\f402\"}.fa-ubuntu:before{content:\"\\f7df\"}.fa-uikit:before{content:\"\\f403\"}.fa-umbraco:before{content:\"\\f8e8\"}.fa-umbrella:before{content:\"\\f0e9\"}.fa-umbrella-beach:before{content:\"\\f5ca\"}.fa-underline:before{content:\"\\f0cd\"}.fa-undo:before{content:\"\\f0e2\"}.fa-undo-alt:before{content:\"\\f2ea\"}.fa-uniregistry:before{content:\"\\f404\"}.fa-unity:before{content:\"\\e049\"}.fa-universal-access:before{content:\"\\f29a\"}.fa-university:before{content:\"\\f19c\"}.fa-unlink:before{content:\"\\f127\"}.fa-unlock:before{content:\"\\f09c\"}.fa-unlock-alt:before{content:\"\\f13e\"}.fa-unsplash:before{content:\"\\e07c\"}.fa-untappd:before{content:\"\\f405\"}.fa-upload:before{content:\"\\f093\"}.fa-ups:before{content:\"\\f7e0\"}.fa-usb:before{content:\"\\f287\"}.fa-user:before{content:\"\\f007\"}.fa-user-alt:before{content:\"\\f406\"}.fa-user-alt-slash:before{content:\"\\f4fa\"}.fa-user-astronaut:before{content:\"\\f4fb\"}.fa-user-check:before{content:\"\\f4fc\"}.fa-user-circle:before{content:\"\\f2bd\"}.fa-user-clock:before{content:\"\\f4fd\"}.fa-user-cog:before{content:\"\\f4fe\"}.fa-user-edit:before{content:\"\\f4ff\"}.fa-user-friends:before{content:\"\\f500\"}.fa-user-graduate:before{content:\"\\f501\"}.fa-user-injured:before{content:\"\\f728\"}.fa-user-lock:before{content:\"\\f502\"}.fa-user-md:before{content:\"\\f0f0\"}.fa-user-minus:before{content:\"\\f503\"}.fa-user-ninja:before{content:\"\\f504\"}.fa-user-nurse:before{content:\"\\f82f\"}.fa-user-plus:before{content:\"\\f234\"}.fa-user-secret:before{content:\"\\f21b\"}.fa-user-shield:before{content:\"\\f505\"}.fa-user-slash:before{content:\"\\f506\"}.fa-user-tag:before{content:\"\\f507\"}.fa-user-tie:before{content:\"\\f508\"}.fa-user-times:before{content:\"\\f235\"}.fa-users:before{content:\"\\f0c0\"}.fa-users-cog:before{content:\"\\f509\"}.fa-users-slash:before{content:\"\\e073\"}.fa-usps:before{content:\"\\f7e1\"}.fa-ussunnah:before{content:\"\\f407\"}.fa-utensil-spoon:before{content:\"\\f2e5\"}.fa-utensils:before{content:\"\\f2e7\"}.fa-vaadin:before{content:\"\\f408\"}.fa-vector-square:before{content:\"\\f5cb\"}.fa-venus:before{content:\"\\f221\"}.fa-venus-double:before{content:\"\\f226\"}.fa-venus-mars:before{content:\"\\f228\"}.fa-viacoin:before{content:\"\\f237\"}.fa-viadeo:before{content:\"\\f2a9\"}.fa-viadeo-square:before{content:\"\\f2aa\"}.fa-vial:before{content:\"\\f492\"}.fa-vials:before{content:\"\\f493\"}.fa-viber:before{content:\"\\f409\"}.fa-video:before{content:\"\\f03d\"}.fa-video-slash:before{content:\"\\f4e2\"}.fa-vihara:before{content:\"\\f6a7\"}.fa-vimeo:before{content:\"\\f40a\"}.fa-vimeo-square:before{content:\"\\f194\"}.fa-vimeo-v:before{content:\"\\f27d\"}.fa-vine:before{content:\"\\f1ca\"}.fa-virus:before{content:\"\\e074\"}.fa-virus-slash:before{content:\"\\e075\"}.fa-viruses:before{content:\"\\e076\"}.fa-vk:before{content:\"\\f189\"}.fa-vnv:before{content:\"\\f40b\"}.fa-voicemail:before{content:\"\\f897\"}.fa-volleyball-ball:before{content:\"\\f45f\"}.fa-volume-down:before{content:\"\\f027\"}.fa-volume-mute:before{content:\"\\f6a9\"}.fa-volume-off:before{content:\"\\f026\"}.fa-volume-up:before{content:\"\\f028\"}.fa-vote-yea:before{content:\"\\f772\"}.fa-vr-cardboard:before{content:\"\\f729\"}.fa-vuejs:before{content:\"\\f41f\"}.fa-walking:before{content:\"\\f554\"}.fa-wallet:before{content:\"\\f555\"}.fa-warehouse:before{content:\"\\f494\"}.fa-water:before{content:\"\\f773\"}.fa-wave-square:before{content:\"\\f83e\"}.fa-waze:before{content:\"\\f83f\"}.fa-weebly:before{content:\"\\f5cc\"}.fa-weibo:before{content:\"\\f18a\"}.fa-weight:before{content:\"\\f496\"}.fa-weight-hanging:before{content:\"\\f5cd\"}.fa-weixin:before{content:\"\\f1d7\"}.fa-whatsapp:before{content:\"\\f232\"}.fa-whatsapp-square:before{content:\"\\f40c\"}.fa-wheelchair:before{content:\"\\f193\"}.fa-whmcs:before{content:\"\\f40d\"}.fa-wifi:before{content:\"\\f1eb\"}.fa-wikipedia-w:before{content:\"\\f266\"}.fa-wind:before{content:\"\\f72e\"}.fa-window-close:before{content:\"\\f410\"}.fa-window-maximize:before{content:\"\\f2d0\"}.fa-window-minimize:before{content:\"\\f2d1\"}.fa-window-restore:before{content:\"\\f2d2\"}.fa-windows:before{content:\"\\f17a\"}.fa-wine-bottle:before{content:\"\\f72f\"}.fa-wine-glass:before{content:\"\\f4e3\"}.fa-wine-glass-alt:before{content:\"\\f5ce\"}.fa-wix:before{content:\"\\f5cf\"}.fa-wizards-of-the-coast:before{content:\"\\f730\"}.fa-wolf-pack-battalion:before{content:\"\\f514\"}.fa-won-sign:before{content:\"\\f159\"}.fa-wordpress:before{content:\"\\f19a\"}.fa-wordpress-simple:before{content:\"\\f411\"}.fa-wpbeginner:before{content:\"\\f297\"}.fa-wpexplorer:before{content:\"\\f2de\"}.fa-wpforms:before{content:\"\\f298\"}.fa-wpressr:before{content:\"\\f3e4\"}.fa-wrench:before{content:\"\\f0ad\"}.fa-x-ray:before{content:\"\\f497\"}.fa-xbox:before{content:\"\\f412\"}.fa-xing:before{content:\"\\f168\"}.fa-xing-square:before{content:\"\\f169\"}.fa-y-combinator:before{content:\"\\f23b\"}.fa-yahoo:before{content:\"\\f19e\"}.fa-yammer:before{content:\"\\f840\"}.fa-yandex:before{content:\"\\f413\"}.fa-yandex-international:before{content:\"\\f414\"}.fa-yarn:before{content:\"\\f7e3\"}.fa-yelp:before{content:\"\\f1e9\"}.fa-yen-sign:before{content:\"\\f157\"}.fa-yin-yang:before{content:\"\\f6ad\"}.fa-yoast:before{content:\"\\f2b1\"}.fa-youtube:before{content:\"\\f167\"}.fa-youtube-square:before{content:\"\\f431\"}.fa-zhihu:before{content:\"\\f63f\"}.sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}.sr-only-focusable:active,.sr-only-focusable:focus{clip:auto;height:auto;margin:0;overflow:visible;position:static;width:auto}"}]}},{"FileAdd":{"meta":{"basename":"brands.scss","metadata":0},"context":[{"change":0,"pos":24975}],"contents":[{"Add":"/*!"},{"Add":" * Font Awesome Free 5.14.0 by @fontawesome - https://fontawesome.com"},{"Add":" * License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License)"},{"Add":" */"},{"Add":"@font-face{font-family:\"Font Awesome 5 Brands\";font-style:normal;font-weight:400;font-display:block;src:url(../fonts/fa-brands-400.eot);src:url(../fonts/fa-brands-400.eot?#iefix) format(\"embedded-opentype\"),url(../fonts/fa-brands-400.woff2) format(\"woff2\"),url(../fonts/fa-brands-400.woff) format(\"woff\"),url(../fonts/fa-brands-400.ttf) format(\"truetype\"),url(../fonts/fa-brands-400.svg#fontawesome) format(\"svg\")}.fab{font-family:\"Font Awesome 5 Brands\";font-weight:400}"}]}},{"FileAdd":{"meta":{"basename":"custom-variables.scss","metadata":0},"context":[{"change":0,"pos":7112}],"contents":[{"Add":"// Placeholder to allow overriding predefined variables smoothly."},{"Add":"$code-font-family: 'JuliaMono';"}]}},{"FileAdd":{"meta":{"basename":"custom-styles.scss","metadata":0},"context":[{"change":0,"pos":7112}],"contents":[{"Add":"// Placeholder to allow defining custom styles that override everything else."},{"Add":"// (Use `_sass/minima/custom-variables.scss` to override variable defaults)"},{"Add":""},{"Add":".dedication {"},{"Add":" text-align: center;"},{"Add":"}"},{"Add":".xxx-large {"},{"Add":" font-size: 2rem;"},{"Add":"}"},{"Add":".xx-large {"},{"Add":" font-size: 1.5rem;"},{"Add":"}"},{"Add":".x-large {"},{"Add":" font-size: 1.25rem;"},{"Add":"}"},{"Add":".large {"},{"Add":" font-size: 1rem;"},{"Add":"}"},{"Add":".list-of-contributors ul {"},{"Add":" display: grid;"},{"Add":" grid-template-columns: repeat(3, 1fr);"},{"Add":" width: calc(100% - 2rem);"},{"Add":"}"},{"Add":".list-of-contributors ul li {"},{"Add":" margin-right: 2rem;"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"agda.scss","metadata":0},"context":[{"change":0,"pos":7112}],"contents":[{"Add":"@mixin code-font {"},{"Add":" font-family: 'JuliaMono';"},{"Add":" font-size: .85em;"},{"Add":"}"},{"Add":"@mixin code-container {"},{"Add":" padding: .4em .4em;"},{"Add":" background: #e8f2fb;"},{"Add":" border: 1px solid #c9e1f6;"},{"Add":" border-radius: 3px;"},{"Add":"}"},{"Add":""},{"Add":"/* Code. */"},{"Add":"pre {"},{"Add":" break-inside: avoid;"},{"Add":"}"},{"Add":"pre.highlight {"},{"Add":" @include code-container;"},{"Add":" border-style: dashed !important;"},{"Add":"}"},{"Add":"code {"},{"Add":" @include code-font;"},{"Add":" white-space: pre;"},{"Add":"}"},{"Add":""},{"Add":"/* Agda. */"},{"Add":"pre.Agda {"},{"Add":" @include code-font;"},{"Add":" @include code-container;"},{"Add":"}"},{"Add":""},{"Add":"pre.Spec {"},{"Add":" @include code-font;"},{"Add":" @include code-container;"},{"Add":" border-style: dashed !important;"},{"Add":" color: #B22222;"},{"Add":"}"},{"Add":""},{"Add":"/* Aspects. */"},{"Add":".Comment { color: #B22222 }"},{"Add":".Keyword { color: #CD6600 }"},{"Add":".String { color: #B22222 }"},{"Add":".Number { color: #A020F0 }"},{"Add":".Symbol { color: #404040 }"},{"Add":".PrimitiveType { color: #0000CD }"},{"Add":"// .Operator {}"},{"Add":""},{"Add":"/* NameKinds. */"},{"Add":".Bound { color: black }"},{"Add":".InductiveConstructor { color: #008B00 }"},{"Add":".CoinductiveConstructor { color: #8B7500 }"},{"Add":".Datatype { color: #0000CD }"},{"Add":".Field { color: #EE1289 }"},{"Add":".Function { color: #0000CD }"},{"Add":".Module { color: #A020F0 }"},{"Add":".Postulate { color: #0000CD }"},{"Add":".Primitive { color: #0000CD }"},{"Add":".Record { color: #0000CD }"},{"Add":""},{"Add":"/* OtherAspects. */"},{"Add":"// .DottedPattern {}"},{"Add":".UnsolvedMeta { color: black; background: yellow }"},{"Add":".UnsolvedConstraint { color: black; background: yellow }"},{"Add":".TerminationProblem { color: black; background: #FFA07A }"},{"Add":".IncompletePattern { color: black; background: #F5DEB3 }"},{"Add":".Error { color: red; text-decoration: underline }"},{"Add":".TypeChecks { color: black; background: #ADD8E6 }"},{"Add":""},{"Add":"/* Standard attributes. */"},{"Add":".Agda a { text-decoration: none }"},{"Add":".Agda a[href]:hover { background-color: #B4EEB4 }"}]}},{"FileAdd":{"meta":{"basename":"agda-dark.scss","metadata":0},"context":[{"change":0,"pos":7112}],"contents":[{"Add":"@mixin code-font {"},{"Add":" font-family: 'JuliaMono';"},{"Add":" font-size: .85em;"},{"Add":"}"},{"Add":"@mixin code-container {"},{"Add":" padding: .4em .4em;"},{"Add":" background: #212121;"},{"Add":" border: 1px solid #414141;"},{"Add":" border-radius: 3px;"},{"Add":"}"},{"Add":""},{"Add":"/* Code. */"},{"Add":"pre {"},{"Add":" break-inside: avoid;"},{"Add":"}"},{"Add":"pre.highlight {"},{"Add":" @include code-container;"},{"Add":" border-style: dashed !important;"},{"Add":"}"},{"Add":"code {"},{"Add":" @include code-font;"},{"Add":" white-space: pre;"},{"Add":"}"},{"Add":""},{"Add":"/* Agda. */"},{"Add":"pre.Agda {"},{"Add":" @include code-font;"},{"Add":" @include code-container;"},{"Add":"}"},{"Add":""},{"Add":"pre.Spec {"},{"Add":" @include code-font;"},{"Add":" @include code-container;"},{"Add":" border-style: dashed !important;"},{"Add":" color: #B22222;"},{"Add":"}"},{"Add":""},{"Add":"/* Aspects. */"},{"Add":".Comment { color: #b64343 }"},{"Add":".Keyword { color: #ce8133 }"},{"Add":".String { color: #B22222 }"},{"Add":".Number { color: #b051eb }"},{"Add":".Symbol { color: #8b8b8b }"},{"Add":".PrimitiveType { color: #4343ca }"},{"Add":"// .Operator {}"},{"Add":""},{"Add":"/* NameKinds. */"},{"Add":".Bound { color: #bbbbbb }"},{"Add":".InductiveConstructor { color: #3a833a }"},{"Add":".CoinductiveConstructor { color: #8B7500 }"},{"Add":".Datatype { color: #4343ca }"},{"Add":".Field { color: #EE1289 }"},{"Add":".Function { color: #4343ca }"},{"Add":".Module { color: #b051eb }"},{"Add":".Postulate { color: #4343ca }"},{"Add":".Primitive { color: #4343ca }"},{"Add":".Record { color: #4343ca }"},{"Add":""},{"Add":"/* OtherAspects. */"},{"Add":"// .DottedPattern {}"},{"Add":".UnsolvedMeta { color: #bbbbbb; background: yellow }"},{"Add":".UnsolvedConstraint { color: #bbbbbb; background: yellow }"},{"Add":".TerminationProblem { color: #bbbbbb; background: #FFA07A }"},{"Add":".IncompletePattern { color: #bbbbbb; background: #F5DEB3 }"},{"Add":".Error { color: #B22222; text-decoration: underline }"},{"Add":".TypeChecks { color: #bbbbbb; background: #ADD8E6 }"},{"Add":""},{"Add":"/* Standard attributes. */"},{"Add":".Agda a { text-decoration: none }"},{"Add":".Agda a[href]:hover { background-color: #377037 }"}]}},{"FileAdd":{"meta":{"basename":"_layout.scss","metadata":0},"context":[{"change":0,"pos":7112}],"contents":[{"Add":"/**"},{"Add":" * Site header"},{"Add":" */"},{"Add":".site-header {"},{"Add":" border-top: 5px solid $border-color-03;"},{"Add":" border-bottom: 1px solid $border-color-01;"},{"Add":" min-height: $spacing-unit * 1.865;"},{"Add":" line-height: $base-line-height * $base-font-size * 2.25;"},{"Add":""},{"Add":" // Positioning context for the mobile navigation icon"},{"Add":" position: relative;"},{"Add":"}"},{"Add":""},{"Add":".site-title {"},{"Add":" @include relative-font-size(1.625);"},{"Add":" font-weight: 300;"},{"Add":" letter-spacing: -1px;"},{"Add":" margin-bottom: 0;"},{"Add":" float: left;"},{"Add":""},{"Add":" @include media-query($on-palm) {"},{"Add":" padding-right: 45px;"},{"Add":" }"},{"Add":""},{"Add":" &,"},{"Add":" &:visited {"},{"Add":" color: $site-title-color;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":".site-nav {"},{"Add":" position: absolute;"},{"Add":" top: 9px;"},{"Add":" right: math.div($spacing-unit, 2);"},{"Add":" background-color: $background-color;"},{"Add":" border: 1px solid $border-color-01;"},{"Add":" border-radius: 5px;"},{"Add":" text-align: right;"},{"Add":""},{"Add":" .menu-icon {"},{"Add":" float: right;"},{"Add":" width: 36px;"},{"Add":" height: 26px;"},{"Add":" line-height: 0;"},{"Add":" padding-top: 10px;"},{"Add":" text-align: center;"},{"Add":""},{"Add":" > svg path {"},{"Add":" fill: $border-color-03;"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" .nav-trigger {"},{"Add":" display: none;"},{"Add":" }"},{"Add":""},{"Add":" label[for=\"nav-trigger\"] {"},{"Add":" display: block;"},{"Add":" float: right;"},{"Add":" width: 36px;"},{"Add":" height: 36px;"},{"Add":" z-index: 2;"},{"Add":" cursor: pointer;"},{"Add":" }"},{"Add":""},{"Add":" input.nav-trigger ~ .trigger {"},{"Add":" clear: both;"},{"Add":" display: none;"},{"Add":" }"},{"Add":""},{"Add":" input:checked.nav-trigger ~ .trigger {"},{"Add":" display: block;"},{"Add":" padding-bottom: 5px;"},{"Add":" }"},{"Add":""},{"Add":" .page-link {"},{"Add":" color: $text-color;"},{"Add":" line-height: $base-line-height;"},{"Add":" display: block;"},{"Add":" padding: 5px 10px;"},{"Add":""},{"Add":" // Gaps between nav items, but not on the last one"},{"Add":" margin-left: 20px;"},{"Add":" &:not(:last-child) {"},{"Add":" margin-right: 0;"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" @media screen and (min-width: $on-medium) {"},{"Add":" position: static;"},{"Add":" float: right;"},{"Add":" border: none;"},{"Add":" background-color: inherit;"},{"Add":""},{"Add":" label[for=\"nav-trigger\"] {"},{"Add":" display: none;"},{"Add":" }"},{"Add":""},{"Add":" input.nav-trigger ~ .trigger {"},{"Add":" display: block;"},{"Add":" }"},{"Add":""},{"Add":" .page-link {"},{"Add":" display: inline;"},{"Add":" padding: 0;"},{"Add":" margin-left: auto;"},{"Add":" &:not(:last-child) {"},{"Add":" margin-right: 20px;"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Site footer"},{"Add":" */"},{"Add":".site-footer {"},{"Add":" border-top: 1px solid $border-color-01;"},{"Add":" padding: $spacing-unit 0;"},{"Add":"}"},{"Add":""},{"Add":".footer-heading {"},{"Add":" @include relative-font-size(1.125);"},{"Add":" margin-bottom: math.div($spacing-unit, 2);"},{"Add":"}"},{"Add":""},{"Add":".feed-subscribe .svg-icon {"},{"Add":" padding: 5px 5px 2px 0;"},{"Add":"}"},{"Add":""},{"Add":".contact-list,"},{"Add":".social-media-list {"},{"Add":" list-style: none;"},{"Add":" margin-left: 0;"},{"Add":"}"},{"Add":""},{"Add":".corresponding {"},{"Add":" text-decoration: underline;"},{"Add":"}"},{"Add":""},{"Add":".footer-col-wrapper,"},{"Add":".social-links {"},{"Add":" @include relative-font-size(0.9375);"},{"Add":" color: $brand-color;"},{"Add":"}"},{"Add":""},{"Add":".footer-col {"},{"Add":" margin-bottom: math.div($spacing-unit, 2);"},{"Add":"}"},{"Add":""},{"Add":".footer-col-1,"},{"Add":".footer-col-2 {"},{"Add":" width: calc(50% - (#{$spacing-unit} / 2));"},{"Add":"}"},{"Add":""},{"Add":".footer-col-3 {"},{"Add":" width: calc(100% - (#{$spacing-unit} / 2));"},{"Add":"}"},{"Add":""},{"Add":"@media screen and (min-width: $on-large) {"},{"Add":" .footer-col-1 {"},{"Add":" width: calc(35% - (#{$spacing-unit} / 2));"},{"Add":" }"},{"Add":""},{"Add":" .footer-col-2 {"},{"Add":" width: calc(20% - (#{$spacing-unit} / 2));"},{"Add":" }"},{"Add":""},{"Add":" .footer-col-3 {"},{"Add":" width: calc(45% - (#{$spacing-unit} / 2));"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"@media screen and (min-width: $on-medium) {"},{"Add":" .footer-col-wrapper {"},{"Add":" display: flex;"},{"Add":" }"},{"Add":""},{"Add":" .footer-col {"},{"Add":" width: calc(100% - (#{$spacing-unit} / 2));"},{"Add":" padding: 0 (math.div($spacing-unit, 2));"},{"Add":""},{"Add":" &:first-child {"},{"Add":" padding-right: math.div($spacing-unit, 2);"},{"Add":" padding-left: 0;"},{"Add":" }"},{"Add":""},{"Add":" &:last-child {"},{"Add":" padding-right: 0;"},{"Add":" padding-left: math.div($spacing-unit, 2);"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Page content"},{"Add":" */"},{"Add":".page-content {"},{"Add":" padding: $spacing-unit 0;"},{"Add":" flex: 1 0 auto;"},{"Add":"}"},{"Add":""},{"Add":".page-heading {"},{"Add":" @include relative-font-size(2);"},{"Add":"}"},{"Add":""},{"Add":".post-list-heading {"},{"Add":" @include relative-font-size(1.75);"},{"Add":"}"},{"Add":""},{"Add":".post-list {"},{"Add":" margin-left: 0;"},{"Add":" list-style: none;"},{"Add":""},{"Add":" > li {"},{"Add":" margin-bottom: $spacing-unit;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":".post-meta {"},{"Add":" font-size: $small-font-size;"},{"Add":" color: $brand-color;"},{"Add":"}"},{"Add":""},{"Add":".post-link {"},{"Add":" display: block;"},{"Add":" @include relative-font-size(1.5);"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Posts"},{"Add":" */"},{"Add":".post-header {"},{"Add":" margin-bottom: $spacing-unit;"},{"Add":"}"},{"Add":""},{"Add":".post-title,"},{"Add":".post-content h1 {"},{"Add":" @include relative-font-size(2.625);"},{"Add":" letter-spacing: -1px;"},{"Add":" line-height: 1.15;"},{"Add":""},{"Add":" @media screen and (min-width: $on-large) {"},{"Add":" @include relative-font-size(2.625);"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":".post-content {"},{"Add":" margin-bottom: $spacing-unit;"},{"Add":""},{"Add":" h1,"},{"Add":" h2,"},{"Add":" h3 {"},{"Add":" margin-top: $spacing-unit * 2;"},{"Add":" }"},{"Add":" h4,"},{"Add":" h5,"},{"Add":" h6 {"},{"Add":" margin-top: $spacing-unit;"},{"Add":" }"},{"Add":""},{"Add":" h2 {"},{"Add":" @include relative-font-size(1.75);"},{"Add":""},{"Add":" @media screen and (min-width: $on-large) {"},{"Add":" @include relative-font-size(2);"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" h3 {"},{"Add":" @include relative-font-size(1.375);"},{"Add":""},{"Add":" @media screen and (min-width: $on-large) {"},{"Add":" @include relative-font-size(1.625);"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" h4 {"},{"Add":" @include relative-font-size(1.25);"},{"Add":" }"},{"Add":""},{"Add":" h5 {"},{"Add":" @include relative-font-size(1.125);"},{"Add":" }"},{"Add":" h6 {"},{"Add":" @include relative-font-size(1.0625);"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":".social-media-list {"},{"Add":" display: table;"},{"Add":" li {"},{"Add":" float: left;"},{"Add":" margin: 5px 10px 5px 0;"},{"Add":" &:last-of-type {"},{"Add":" margin-right: 0;"},{"Add":" }"},{"Add":" a {"},{"Add":" display: block;"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Pagination navbar"},{"Add":" */"},{"Add":".pager {"},{"Add":" .pagination {"},{"Add":" display: flex;"},{"Add":" justify-content: center;"},{"Add":" list-style: none;"},{"Add":" li {"},{"Add":" margin: 5px 10px 5px 0;"},{"Add":" }"},{"Add":" li.page-link:last-of-type {"},{"Add":" margin-right: 0;"},{"Add":" }"},{"Add":" li.separator:last-of-type {"},{"Add":" display: none;"},{"Add":" }"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Grid helpers"},{"Add":" */"},{"Add":"@media screen and (min-width: $on-large) {"},{"Add":" .one-half {"},{"Add":" width: calc(50% - (#{$spacing-unit} / 2));"},{"Add":" }"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"_base.scss","metadata":0},"context":[{"change":0,"pos":7112}],"contents":[{"Add":"html {"},{"Add":" font-size: $base-font-size;"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Reset some basic elements"},{"Add":" */"},{"Add":"body,"},{"Add":"h1,"},{"Add":"h2,"},{"Add":"h3,"},{"Add":"h4,"},{"Add":"h5,"},{"Add":"h6,"},{"Add":"p,"},{"Add":"blockquote,"},{"Add":"pre,"},{"Add":"hr,"},{"Add":"dl,"},{"Add":"dd,"},{"Add":"ol,"},{"Add":"ul,"},{"Add":"figure {"},{"Add":" margin: 0;"},{"Add":" padding: 0;"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Basic styling"},{"Add":" */"},{"Add":"body {"},{"Add":" font: $base-font-weight #{$base-font-size}/#{$base-line-height}"},{"Add":" $base-font-family;"},{"Add":" color: $text-color;"},{"Add":" background-color: $background-color;"},{"Add":" -webkit-text-size-adjust: 100%;"},{"Add":" -webkit-font-feature-settings: \"kern\" 1;"},{"Add":" -moz-font-feature-settings: \"kern\" 1;"},{"Add":" -o-font-feature-settings: \"kern\" 1;"},{"Add":" font-feature-settings: \"kern\" 1;"},{"Add":" font-kerning: normal;"},{"Add":" display: flex;"},{"Add":" min-height: 100vh;"},{"Add":" flex-direction: column;"},{"Add":" overflow-wrap: break-word;"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Set `margin-bottom` to maintain vertical rhythm"},{"Add":" */"},{"Add":"h1,"},{"Add":"h2,"},{"Add":"h3,"},{"Add":"h4,"},{"Add":"h5,"},{"Add":"h6,"},{"Add":"p,"},{"Add":"blockquote,"},{"Add":"pre,"},{"Add":"ul,"},{"Add":"ol,"},{"Add":"dl,"},{"Add":"figure,"},{"Add":"%vertical-rhythm {"},{"Add":" margin-bottom: math.div($spacing-unit, 2);"},{"Add":"}"},{"Add":""},{"Add":"hr {"},{"Add":" margin-top: $spacing-unit;"},{"Add":" margin-bottom: $spacing-unit;"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * `main` element"},{"Add":" */"},{"Add":"main {"},{"Add":" display: block; /* Default value of `display` of `main` element is 'inline' in IE 11. */"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Images"},{"Add":" */"},{"Add":"img {"},{"Add":" max-width: 100%;"},{"Add":" vertical-align: middle;"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Figures"},{"Add":" */"},{"Add":"figure > img {"},{"Add":" display: block;"},{"Add":"}"},{"Add":""},{"Add":"figcaption {"},{"Add":" font-size: $small-font-size;"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Lists"},{"Add":" */"},{"Add":"ul,"},{"Add":"ol {"},{"Add":" margin-left: $spacing-unit;"},{"Add":"}"},{"Add":""},{"Add":"li {"},{"Add":" > ul,"},{"Add":" > ol {"},{"Add":" margin-bottom: 0;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Headings"},{"Add":" */"},{"Add":"h1,"},{"Add":"h2,"},{"Add":"h3,"},{"Add":"h4,"},{"Add":"h5,"},{"Add":"h6 {"},{"Add":" font-weight: $base-font-weight;"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Links"},{"Add":" */"},{"Add":"a {"},{"Add":" color: $link-base-color;"},{"Add":" text-decoration: none;"},{"Add":""},{"Add":" &:visited {"},{"Add":" color: $link-visited-color;"},{"Add":" }"},{"Add":""},{"Add":" &:hover {"},{"Add":" color: $link-hover-color;"},{"Add":" text-decoration: underline;"},{"Add":" }"},{"Add":""},{"Add":" .social-media-list &:hover {"},{"Add":" text-decoration: none;"},{"Add":""},{"Add":" .username {"},{"Add":" text-decoration: underline;"},{"Add":" }"},{"Add":" }"},{"Add":""},{"Add":" &:has(> i) {"},{"Add":" text-decoration: none !important;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Blockquotes"},{"Add":" */"},{"Add":"blockquote {"},{"Add":" color: $brand-color;"},{"Add":" border-left: 4px solid $border-color-01;"},{"Add":" padding-left: math.div($spacing-unit, 2);"},{"Add":" @include relative-font-size(1.125);"},{"Add":" font-style: italic;"},{"Add":""},{"Add":" > :last-child {"},{"Add":" margin-bottom: 0;"},{"Add":" }"},{"Add":""},{"Add":" i,"},{"Add":" em {"},{"Add":" font-style: normal;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Code formatting"},{"Add":" */"},{"Add":"pre,"},{"Add":"code {"},{"Add":" font-family: $code-font-family;"},{"Add":" font-size: 0.9375em;"},{"Add":" border: 1px solid $border-color-01;"},{"Add":" border-radius: 3px;"},{"Add":" background-color: $code-background-color;"},{"Add":"}"},{"Add":""},{"Add":"code {"},{"Add":" padding: 1px 5px;"},{"Add":"}"},{"Add":""},{"Add":"pre {"},{"Add":" padding: 8px 12px;"},{"Add":" overflow-x: auto;"},{"Add":""},{"Add":" > code {"},{"Add":" border: 0;"},{"Add":" padding-right: 0;"},{"Add":" padding-left: 0;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":".highlight {"},{"Add":" border-radius: 3px;"},{"Add":" background: $code-background-color;"},{"Add":" @extend %vertical-rhythm;"},{"Add":""},{"Add":" .highlighter-rouge & {"},{"Add":" background: $code-background-color;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Wrapper"},{"Add":" */"},{"Add":".wrapper {"},{"Add":" max-width: calc(#{$content-width} - (#{$spacing-unit}));"},{"Add":" margin-right: auto;"},{"Add":" margin-left: auto;"},{"Add":" padding-right: math.div($spacing-unit, 2);"},{"Add":" padding-left: math.div($spacing-unit, 2);"},{"Add":" @extend %clearfix;"},{"Add":""},{"Add":" @media screen and (min-width: $on-large) {"},{"Add":" max-width: calc(#{$content-width} - (#{$spacing-unit} * 2));"},{"Add":" padding-right: $spacing-unit;"},{"Add":" padding-left: $spacing-unit;"},{"Add":" }"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Clearfix"},{"Add":" */"},{"Add":"%clearfix:after {"},{"Add":" content: \"\";"},{"Add":" display: table;"},{"Add":" clear: both;"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Icons"},{"Add":" */"},{"Add":""},{"Add":".orange {"},{"Add":" color: #f66a0a;"},{"Add":"}"},{"Add":""},{"Add":".grey {"},{"Add":" color: #828282;"},{"Add":"}"},{"Add":""},{"Add":".svg-icon {"},{"Add":" width: 16px;"},{"Add":" height: 16px;"},{"Add":" display: inline-block;"},{"Add":" fill: currentColor;"},{"Add":" padding: 5px 3px 2px 5px;"},{"Add":" vertical-align: text-bottom;"},{"Add":"}"},{"Add":""},{"Add":"/**"},{"Add":" * Tables"},{"Add":" */"},{"Add":"table {"},{"Add":" margin-bottom: $spacing-unit;"},{"Add":" width: 100%;"},{"Add":" text-align: $table-text-align;"},{"Add":" color: $table-text-color;"},{"Add":" border-collapse: collapse;"},{"Add":" border: 1px solid $table-border-color;"},{"Add":" tr {"},{"Add":" &:nth-child(even) {"},{"Add":" background-color: $table-zebra-color;"},{"Add":" }"},{"Add":" }"},{"Add":" th,"},{"Add":" td {"},{"Add":" padding: (math.div($spacing-unit, 3)) (math.div($spacing-unit, 2));"},{"Add":" }"},{"Add":" th {"},{"Add":" background-color: $table-header-bg-color;"},{"Add":" border: 1px solid $table-header-border;"},{"Add":" }"},{"Add":" td {"},{"Add":" border: 1px solid $table-border-color;"},{"Add":" }"},{"Add":""},{"Add":" @include media-query($on-laptop) {"},{"Add":" display: block;"},{"Add":" overflow-x: auto;"},{"Add":" -webkit-overflow-scrolling: touch;"},{"Add":" -ms-overflow-style: -ms-autohiding-scrollbar;"},{"Add":" }"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"light.scss","metadata":0},"context":[{"change":0,"pos":7094}],"contents":[{"Add":"@use \"sass:math\";"},{"Add":""},{"Add":"@import"},{"Add":" \"theme/skins/classic\","},{"Add":" \"theme/initialize\","},{"Add":" \"theme/fonts\","},{"Add":" \"theme/agda\""},{"Add":";"}]}},{"FileAdd":{"meta":{"basename":"dark.scss","metadata":0},"context":[{"change":0,"pos":7094}],"contents":[{"Add":"@use \"sass:math\";"},{"Add":""},{"Add":"@import"},{"Add":" \"theme/skins/dark\","},{"Add":" \"theme/initialize\","},{"Add":" \"theme/fonts\","},{"Add":" \"theme/agda-dark\""},{"Add":";"}]}},{"FileAdd":{"meta":{"basename":"rss.xml","metadata":0},"context":[{"change":0,"pos":4}],"contents":[{"Add":""},{"Add":""},{"Add":" "},{"Add":" $pagetitle$"},{"Add":" $baseurl$"},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":" $language$"},{"Add":" "},{"Add":" $build_date_rfc822$"},{"Add":" $for(post)$"},{"Add":" "},{"Add":" $post.title$"},{"Add":" $baseurl$$post.url$"},{"Add":" "},{"Add":" "},{"Add":" "},{"Add":" $post.date_rfc822$"},{"Add":" $baseurl$$post.url$"},{"Add":" $for(author)$"},{"Add":" $author.name$"},{"Add":" $endfor$"},{"Add":" "},{"Add":" $endfor$"},{"Add":" "},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"posts","metadata":576},"context":[{"change":0,"pos":4}],"contents":[]}},{"FileAdd":{"meta":{"basename":"2024-09-05-migration-to-agda-2-7-0.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Migration to Agda 2.7.0\""},{"Add":"---"},{"Add":""},{"Add":"We upgraded to [Agda 2.7.0][agda-2.7.0] and [version 2.1 of the standard library][agda-stdlib-v2.1]."},{"Add":"If you want to continue working with the book, you'll have to update your versions locally."},{"Add":"Please follow the instructions in [Getting Started](/GettingStarted/) to reinstall Agda and the standard library."},{"Add":""},{"Add":"In the past, we maintained compatibility with versions of Agda all the way back to [Agda 2.6.1.3][agda-2.6.1.3] and [version 1.6 of the standard library][agda-stdlib-v1.6]."},{"Add":"However, [version 2.0 of the standard library][agda-stdlib-v2.0] broke backwards compatibility with earlier versions of the standard library."},{"Add":"Consequently, starting with today's version of PLFA, the oldest supported versions of Agda and its standard library are [Agda 2.6.4.3][agda-2.6.4.3] and [version 2.0 of the standard library][agda-stdlib-v2.0]."},{"Add":""},{"Add":"[agda-stdlib-v1.6]: https://github.com/agda/agda-stdlib/releases/tag/v1.6"},{"Add":" \"Agda standard library version 1.6 on GitHub\""},{"Add":"[agda-stdlib-v2.0]: https://github.com/agda/agda-stdlib/releases/tag/v2.0"},{"Add":" \"Agda standard library version 2.0 on GitHub\""},{"Add":"[agda-stdlib-v2.1]: https://github.com/agda/agda-stdlib/releases/tag/v2.1"},{"Add":" \"Agda standard library version 2.1 on GitHub\""},{"Add":"[agda-2.6.1.3]: https://github.com/agda/agda/releases/tag/v2.6.1.3"},{"Add":" \"Agda version 2.6.1.3 on GitHub\""},{"Add":"[agda-2.6.4.3]: https://github.com/agda/agda/releases/tag/v2.6.4.3"},{"Add":" \"Agda version 2.6.4.3 on GitHub\""},{"Add":"[agda-2.7.0]: https://github.com/agda/agda/releases/tag/v2.7.0"},{"Add":" \"Agda version 2.7.0 on GitHub\""}]}},{"FileAdd":{"meta":{"basename":"2023-02-26-migration-to-agda-2-6-3.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Migration to Agda 2.6.3\""},{"Add":"---"},{"Add":""},{"Add":"We upgraded to [Agda 2.6.3][agda-2.6.3] and [version 1.7.2 of the standard library][agda-stdlib-v1.7.2]. If you want to continue working with the book, you'll have to update your versions locally. Please follow the instructions in [Getting Started](/GettingStarted/) to reinstall Agda and the standard library."},{"Add":""},{"Add":"[agda-stdlib-v1.7.2]: https://github.com/agda/agda-stdlib/releases/tag/v1.7.2"},{"Add":" \"Agda standard library version 1.7.2 on GitHub\""},{"Add":"[agda-2.6.3]: https://github.com/agda/agda/releases/tag/v2.6.3"},{"Add":" \"Agda version 2.6.3 on GitHub\""}]}},{"FileAdd":{"meta":{"basename":"2022-08-24-release-notes-v22-08.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Release Notes v22.08\""},{"Add":"---"},{"Add":""},{"Add":"We are pleased to announce the release of v22.08 of Programming Language Foundations in Agda."},{"Add":""},{"Add":"The release will be permanently available at:"},{"Add":""},{"Add":"- "},{"Add":"- "},{"Add":""},{"Add":""},{"Add":""},{"Add":"Changes:"},{"Add":""},{"Add":"- We have migrated to [Agda v2.6.2.2][agda] with [standard library v1.7.1][agda-stdlib]."},{"Add":"- Our contributors have contributed numerous fixes to the text."},{"Add":"- Support for dark mode was added by Wen Kokke."},{"Add":" To activate click or add `?dark=true` to the URL."},{"Add":""},{"Add":"We are grateful to the [many individuals who have made contributions](/Acknowledgements/),"},{"Add":"which have improved the book significantly."},{"Add":""},{"Add":"[agda]: https://github.com/agda/agda/releases/tag/v2.6.2.2"},{"Add":"[agda-stdlib]: https://github.com/agda/agda-stdlib/releases/tag/v1.7.1"}]}},{"FileAdd":{"meta":{"basename":"2021-08-24-plfa-as-pdf-and-epub.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"PLFA as PDF and EPUB\""},{"Add":"---"},{"Add":""},{"Add":"We’re pleased to announce that PLFA is now available as both ~~a PDF~~ and [an EPUB][EPUB]! Thanks to hard work by [Yuanting Mao][Altariarite], who did an internship with Phil at the University of Edinburgh, and a little elbow grease on our part, we're finally compiling to PDF!"},{"Add":""},{"Add":"In a double whammy, we’ve recently fixed compilation to EPUB as well! Compilation to EPUB never quite survived the move to Hakyll, and the EPUB available on the website was broken for quite a while. Fortunately, we’ve fixed the EPUB compilation, based on [Yuanting Mao][Altariarite] work on PDF compilation and [Michael Reed][mreed20]’s original work on EPUB compilation."},{"Add":""},{"Add":""},{"Add":""},{"Add":"There’s still several kinks to even out in the process:"},{"Add":""},{"Add":" - ([#577][issue577]) EPUB generation breaks internal links;"},{"Add":" - ([#578][issue578]) EPUB fragment identifier is not defined;"},{"Add":" - ([#579][issue579]) EPUB font cannot be found;"},{"Add":" - ([#580][issue580]) EPUB attribute \"name\" not allowed;"},{"Add":" - ([#581][issue581]) PDF code overflows margins;"},{"Add":""},{"Add":"And probably tons of other little bugs I've missed!"},{"Add":""},{"Add":"As always, bug reports and pull requests are very, very welcome!"},{"Add":""},{"Add":"[Altariarite]: https://github.com/Altariarite"},{"Add":"[mreed20]: https://github.com/mreed20"},{"Add":""},{"Add":"[EPUB]: https://plfa.github.io/plfa.epub"},{"Add":""},{"Add":"[issue577]: https://github.com/plfa/plfa.github.io/issues/577"},{"Add":"[issue578]: https://github.com/plfa/plfa.github.io/issues/578"},{"Add":"[issue579]: https://github.com/plfa/plfa.github.io/issues/579"},{"Add":"[issue580]: https://github.com/plfa/plfa.github.io/issues/580"},{"Add":"[issue581]: https://github.com/plfa/plfa.github.io/issues/581"}]}},{"FileAdd":{"meta":{"basename":"2020-07-20-migration-to-agda-2-6-1.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title : \"Migration to Agda 2.6.1\""},{"Add":"---"},{"Add":""},{"Add":"We upgraded to [Agda 2.6.1](https://github.com/agda/agda/releases/tag/v2.6.1) and [version 1.3 of the standard library](https://github.com/agda/agda-stdlib/releases/tag/v1.3). If you want to continue working with the latest version of the book, you'll have to update your versions locally. Please follow the instructions in [Getting Started](/GettingStarted/) to reinstall Agda and the standard library."},{"Add":""},{"Add":""},{"Add":""},{"Add":"### Changes to the termination checker"},{"Add":""},{"Add":"Agda 2.6.1 made several [changes to the termination checker][termination-checking]. As a result of these changes, Agda is no longer able to see that our evaluation functions, e.g., in [Properties][properties-eval], are terminating. In response, we changed the definition of `Gas` to be a record type, rather than a data type:"},{"Add":""},{"Add":"```diff"},{"Add":"- data Gas : Set where"},{"Add":"- gas : ℕ → Gas"},{"Add":"+ record Gas : Set where"},{"Add":"+ constructor gas"},{"Add":"+ field"},{"Add":"+ amount : ℕ"},{"Add":"```"},{"Add":""},{"Add":"The reason this works is that η-equality holds *by definition* for records. Agda uses this to see that unwrapping and rewrapping numbers as `Gas` is the identity, and hence the amount of gas is decreasing if that number is decreasing."},{"Add":""},{"Add":"[termination-checking]: https://github.com/agda/agda/blob/master/doc/release-notes/2.6.1.md#termination-checking"},{"Add":"[properties-eval]: https://plfa.github.io/Properties/#31408"},{"Add":""},{"Add":"### Changes to equational reasoning"},{"Add":""},{"Add":"The function `_≡⟨_⟩_`, part of the equational reasoning syntax, was renamed to `step-≡`, for [various reasons][step-≡]. The new function has the same semantics, but flips the order of the arguments. This does not mean you have to change your equational reasoning proofs, as the module also defines a syntax macro, which recovers the original argument order:"},{"Add":""},{"Add":"```"},{"Add":"infixr -2 step-≡"},{"Add":""},{"Add":"step-≡ : ∀ x {y z : A} → y ≡ z → x ≡ y → x ≡ z"},{"Add":"step-≡ y≡z x≡y = trans x≡y y≡z"},{"Add":""},{"Add":"syntax step-≡ x y≡z x≡y = x ≡⟨ x≡y ⟩ y≡z"},{"Add":"```"},{"Add":""},{"Add":"Syntax macros aren’t quite definitions in Agda, so you cannot import them by “name”. Instead, they’re imported together with the function for which they’re defined, i.e., as `step-≡`:"},{"Add":""},{"Add":"```diff"},{"Add":"- open Eq.≡-Reasoning using (begin_; _≡⟨⟩_; _≡⟨_⟩_; _∎)"},{"Add":"+ open Eq.≡-Reasoning using (begin_; _≡⟨⟩_; step-≡; _∎)"},{"Add":"```"},{"Add":""},{"Add":"If you’d like more details, there’s a lot of discussion of why this change was made in the [CHANGELOG][step-≡]. For PLFA, we make a note of the incongruence in the chapter on [Equality][equality-stdlib], but leave our definitions of equational reasoning unchanged."},{"Add":""},{"Add":"[step-≡]: https://github.com/agda/agda-stdlib/blob/master/CHANGELOG/v1.3.md#changes-to-how-equational-reasoning-is-implemented"},{"Add":"[equality-stdlib]: https://plfa.github.io/Equality/#standard-library"},{"Add":""},{"Add":"### Deprecation of `Data.List.{All,Any}`"},{"Add":""},{"Add":"The modules `Data.List.{All,Any}` were deprecated in v1.0,"},{"Add":"and were moved to `Data.List.Relation.Unary.{All,Any}`:"},{"Add":""},{"Add":"```diff"},{"Add":"- import Data.List.All using (All; []; _∷_)"},{"Add":"- import Data.List.Any using (Any; here; there)"},{"Add":"+ import Data.List.Relation.Unary.All using (All; []; _∷_)"},{"Add":"+ import Data.List.Relation.Unary.Any using (Any; here; there)"},{"Add":"```"}]}},{"FileAdd":{"meta":{"basename":"2020-07-14-versions-and-releases.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Versions and Releases\""},{"Add":"---"},{"Add":""},{"Add":"We’re adding stable releases to PLFA, which you can find [on GitHub][plfa-releases]!"},{"Add":""},{"Add":""},{"Add":""},{"Add":"For the past two years, we’ve tried to do major revisions of the book during winter break and early summer, to ensure that the text remains consistent throughout the teaching period… Inevitably, we fixed bugs, and make small changes here and there, perhaps resulting in a less-than-consistent experience."},{"Add":""},{"Add":"Starting today, you can be sure that PLFA will remain consistent, since we’re adding stable releases! You can find the releases [on GitHub][plfa-releases], and as tags in the Git repository. The releases are numbered using [calendar versioning][calver] using the `v0Y.0M` format, _e.g._, v20.07 was released in July 2020. Each release will be available indefinitely. For instance, if you’d like to browse PLFA version v20.07, just go to: "},{"Add":""},{"Add":"[calver]: https://calver.org/"},{"Add":"[plfa-releases]: https://github.com/plfa/plfa.github.io/releases"},{"Add":"[plfa-20.07]: https://plfa.github.io/20.07/"},{"Add":"[plfa-19.08]: https://plfa.github.io/19.08/"}]}},{"FileAdd":{"meta":{"basename":"2020-07-13-release-notes-v20-07.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Release Notes v20.07\""},{"Add":"---"},{"Add":""},{"Add":"We are pleased to announce the release of v20.07 of Programming Language Foundations in Agda."},{"Add":""},{"Add":"The release will be permanently available at:"},{"Add":""},{"Add":"- "},{"Add":"- "}]}},{"FileAdd":{"meta":{"basename":"2020-07-13-denotational-semantics.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Introducing Part 3: Denotational Semantics\""},{"Add":"---"},{"Add":""},{"Add":"We’re pleased to announce an entirely new part of the book, contributed by Jeremy G. Siek! You may have noticed his name appearing on the list of authors some months ago, or the chapters that make up Part 3 slowly making their appearance. Well, that’s all Jeremy’s work!"},{"Add":""},{"Add":""},{"Add":""},{"Add":"Part 3 introduces denotational semantics, presenting the denotational semantics of the untyped lambda calculus. Our development is unusual in that emphasizes the use of intersection type systems as denotational models instead of the more traditional domain theory, but this choice allows us to build upon the simple type systems studied in Part 2."},{"Add":"Part 3 also proves the basic properties of the denotational semantics using techniques and variations of the techniques introduced in Part 2. We prove the *soundness* of reduction with respect to the denotational semantics by showing that reduction preserves and reflects denotations. We prove *adequacy* of the denotational semantics using a logical-relations style proof with respect to a big-step semantics of the untyped calculus. Finally, with these results in hand, we prove a standardisation theorem, that reduction to weak-head normal form implies the termination of call-by-name evaluation."},{"Add":""},{"Add":"To better prepare the reader for Part 3, we made some changes and updates to Part 2. We’ve changed the reduction semantics for the untyped lambda calculus to be the standard one, with unconstrained beta reduction. We also added two new chapters to Part 2. The first proves confluence—a.k.a. the Church-Rosser property—for the untyped lambda calculus. The second presents big-step semantics for call-by-name evaluation, and proves that call-by-name termination implies the reduction to weak-head normal form."},{"Add":""},{"Add":"Finally, we also include an Appendix with a single chapter, which proves the substitution lemma for the untyped lambda calculus. We opted to place this chapter an Appendix, and not in Part 2, because we already discuss substitution for the simply-typed lambda calculus, and we feel it would not be particularly enlightening for students to work through the proofs, especially since the ratio of insight to lines of code is rather low."}]}},{"FileAdd":{"meta":{"basename":"2020-06-23-talking-about-plfa.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Talking about PLFA…\""},{"Add":"---"},{"Add":""},{"Add":"We published a paper about PLFA at the [Brazilian Symposium on Formal Methods][SBMF] and in the [Science of Computer Programming][SCP] (extended version). In them, we describe our experiences writing the book, and compare it to [Software Foundations][SF]."},{"Add":""},{"Add":"[SBMF]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf \"The PDF version of the paper\""},{"Add":"[SCP]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#scp \"The PDF version of the paper\""},{"Add":"[SF]: https://softwarefoundations.cis.upenn.edu/ \"Software Foundations\""}]}},{"FileAdd":{"meta":{"basename":"2020-06-02-plfa-as-epub.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"PLFA as EPUB\""},{"Add":"---"},{"Add":""},{"Add":"It has been just over a year and a half since this feature was first requested in [#112][issue112]… Thanks to hard work by [Michael Reed][mreed20], and a little elbow grease on our part, it is finally here! [An EPUB version of PLFA!][EPUB]"},{"Add":""},{"Add":"[EPUB]: https://plfa.github.io/plfa.epub"},{"Add":"[issue112]: https://github.com/plfa/plfa.github.io/issues/112"},{"Add":"[mreed20]: https://github.com/mreed20"}]}},{"FileAdd":{"meta":{"basename":"2020-04-30-praise-for-plfa.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Praise for PLFA\""},{"Add":"---"},{"Add":""},{"Add":"[*Types and Semantics for Programming Languages*][TSPL-2019], the course we teach in Edinburgh, was shortlisted as an Outstanding Course by the [Edinburgh University Student Association][EUSA-2020] (Runner Up)!"},{"Add":""},{"Add":"> “Types and Semantics for Programming Languages was the single best course I took throughout my time at the University of Edinburgh. Philip Wadler clearly poured his heart into teaching it, including writing a whole textbook including exercises specifically for the course.”"},{"Add":""},{"Add":"> “One of the most inspiring courses. Philip designed a course that is both very theoretical and very practical.”"},{"Add":""},{"Add":"[TSPL-2019]: https://plfa.github.io/20.07/TSPL/2019/"},{"Add":"[EUSA-2020]: https://web.archive.org/web/20201130051416/https://www.eusa.ed.ac.uk/representation/campaigns/teachingawards2020/"}]}},{"FileAdd":{"meta":{"basename":"2020-01-10-plfa-as-a-notebook.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"PLFA as a Notebook\""},{"Add":"---"},{"Add":""},{"Add":"NextJournal has created [a notebook version of PLFA][NextJournal-PLFA], which lets you edit and run the code samples from the book online! The notebook is based on [PLFA version 19.08][PLFA-19.08], with some minor changes to adapt the contents to NextJournal."},{"Add":""},{"Add":"[PLFA-19.08]: https://plfa.github.io/19.08/"},{"Add":"[NextJournal-PLFA]: https://nextjournal.com/plfa/ToC"}]}},{"FileAdd":{"meta":{"basename":"2019-08-31-release-notes-v19-08.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Release Notes v19.08\""},{"Add":"---"},{"Add":""},{"Add":"We are pleased to announce the release of v19.08 of Programming Language Foundations in Agda."},{"Add":""},{"Add":"The release will be permanently available at:"},{"Add":""},{"Add":"- "},{"Add":"- "}]}},{"FileAdd":{"meta":{"basename":"2019-07-12-migration-to-agda-2-6-0-1.md","metadata":0},"context":[{"change":0,"pos":99794}],"contents":[{"Add":"---"},{"Add":"title: \"Migration to Agda 2.6.0.1\""},{"Add":"---"},{"Add":""},{"Add":"We upgraded to [Agda 2.6.0.1][agda-2.6.0.1] and [version 1.1 of the standard library][agda-stdlib-v1.1]. If you want to continue working with the book, you'll have to update your versions locally. Please follow the instructions in [Getting Started](/GettingStarted/) to reinstall Agda and the standard library."},{"Add":""},{"Add":""},{"Add":""},{"Add":"For this upgrade, we made several major changes to the PLFA infrastructure."},{"Add":""},{"Add":"We deprecated [agda2html][agda2html]. In version 2.6, Agda has added support for the `--html-highlight` flag. Using this command, Agda will highlight only the code in a file, and leave the rest untouched:"},{"Add":"```bash"},{"Add":"agda --html --html-highlight=code FILE.lagda.md"},{"Add":"```"},{"Add":"Of course, [agda2html][agda2html] offered support for more than just inline highlighting of code in Markdown files. We have written a bash script, [`highlight.sh`][highlight.sh] (*deprecated*) which supports much of the same functionality. In particular, it uses sed to redirect links to the standard library to [the online version](https://agda.github.io/agda-stdlib/README.html). For the time being, we dropped support for module references, e.g., linking to the chapter on Naturals by writing `[Naturals][plfa.Naturals]`, and removed all module references from the text."},{"Add":""},{"Add":"Lastly, to use Agda 2.6 with Markdown, we updated all literal Agda files. We replaced LaTeX code fences, i.e., `\\begin{code}` and `\\end{code}`, with Markdown backtick fences ```` ``` ````, and changed the file extensions `.lagda` to `.lagda.md`. As a consequence, when you open up a literate Agda file in Emacs, it will open the file in Markdown mode -- if you have it installed -- or in fundamental mode. To switch to Agda mode, you will have to invoke `M-x agda2-mode`."},{"Add":""},{"Add":"[agda-stdlib-v1.1]: https://github.com/agda/agda-stdlib/releases/tag/v1.1"},{"Add":" \"Agda standard library version 1.1 on GitHub\""},{"Add":"[agda-2.6.0.1]: https://github.com/agda/agda/releases/tag/v2.6.0.1"},{"Add":" \"Agda version 2.6.0.1 on GitHub\""},{"Add":"[highlight.sh]: https://github.com/plfa/plfa.github.io/blob/ea8bee4461e2e43891605d7f694dfce8a2b1923f/highlight.sh"},{"Add":" \"The deprecated shell script used for highlighting Agda code\""},{"Add":"[agda2html]: https://github.com/wenkokke/agda2html"},{"Add":" \"The deprecated Haskell library used for highlighting Agda code\""}]}},{"FileAdd":{"meta":{"basename":"assets","metadata":576},"context":[{"change":0,"pos":4}],"contents":[]}},{"FileAdd":{"meta":{"basename":"js","metadata":576},"context":[{"change":0,"pos":116789}],"contents":[]}},{"FileAdd":{"meta":{"basename":"main.js","metadata":0},"context":[{"change":0,"pos":116809}],"contents":[{"Add":"document.addEventListener('DOMContentLoaded', function(event) {"},{"Add":" anchors.add('h1').add('h2').add('h3').add('h4');"},{"Add":" darkmode('stylesheet-light', 'stylesheet-dark');"},{"Add":"});"}]}},{"FileAdd":{"meta":{"basename":"darkmode.js","metadata":0},"context":[{"change":0,"pos":116809}],"contents":[{"Add":"function darkmode(lightId, darkId) {"},{"Add":" const stylesheetLight = document.getElementById(lightId);"},{"Add":" const stylesheetDark = document.getElementById(darkId);"},{"Add":" const darkmodeTrigger = document.getElementById(\"darkmode-trigger\");"},{"Add":" // Function to set darkmode in document"},{"Add":" const set = function (enabled) {"},{"Add":" window.darkmode.enabled = enabled;"},{"Add":" // Set 'dark' parameter on internal anchor links"},{"Add":" const base = window.location.protocol + window.location.host;"},{"Add":" const anchors = document.getElementsByTagName(\"a\");"},{"Add":" for (var i = 0; i < anchors.length; i++) {"},{"Add":" if (anchors[i].hasAttribute(\"href\")) {"},{"Add":" const url = new URL(anchors[i].href, base);"},{"Add":" if (url.host === window.location.host) {"},{"Add":" if (enabled) {"},{"Add":" url.searchParams.set(\"dark\", \"true\");"},{"Add":" } else {"},{"Add":" url.searchParams.delete(\"dark\");"},{"Add":" }"},{"Add":" anchors[i].href = url.href;"},{"Add":" }"},{"Add":" }"},{"Add":" }"},{"Add":" // Set or remove 'disabled' attribute on stylesheets"},{"Add":" // Set the dark mode trigger"},{"Add":" if (enabled) {"},{"Add":" stylesheetDark.disabled = false;"},{"Add":" darkmodeTrigger.classList.remove(\"fa-moon\");"},{"Add":" stylesheetLight.disabled = true;"},{"Add":" darkmodeTrigger.classList.add(\"fa-sun\");"},{"Add":" } else {"},{"Add":" stylesheetLight.disabled = false;"},{"Add":" darkmodeTrigger.classList.remove(\"fa-sun\");"},{"Add":" stylesheetDark.disabled = true;"},{"Add":" darkmodeTrigger.classList.add(\"fa-moon\");"},{"Add":" }"},{"Add":" };"},{"Add":" // Create top-level function to toggle dark mode"},{"Add":" window.darkmode.toggle = function () {"},{"Add":" set(!window.darkmode.enabled);"},{"Add":" };"},{"Add":" // Initialise darkmode"},{"Add":" const initialise = function () {"},{"Add":" const params = new URLSearchParams(window.location.search);"},{"Add":" window.darkmode.enabled ="},{"Add":" params.has(\"dark\") && params.get(\"dark\") == \"true\";"},{"Add":" if (window.darkmode.enabled) {"},{"Add":" set(window.darkmode.enabled);"},{"Add":" }"},{"Add":" };"},{"Add":" initialise();"},{"Add":"}"}]}},{"FileAdd":{"meta":{"basename":"anchor.js","metadata":0},"context":[{"change":0,"pos":116809}],"contents":[{"Add":"// @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt Expat"},{"Add":"//"},{"Add":"// AnchorJS - v4.3.1 - 2021-04-17"},{"Add":"// https://www.bryanbraun.com/anchorjs/"},{"Add":"// Copyright (c) 2021 Bryan Braun; Licensed MIT"},{"Add":"//"},{"Add":"// @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt Expat"},{"Add":"!function(A,e){\"use strict\";\"function\"==typeof define&&define.amd?define([],e):\"object\"==typeof module&&module.exports?module.exports=e():(A.AnchorJS=e(),A.anchors=new A.AnchorJS)}(this,function(){\"use strict\";return function(A){function d(A){A.icon=Object.prototype.hasOwnProperty.call(A,\"icon\")?A.icon:\"\",A.visible=Object.prototype.hasOwnProperty.call(A,\"visible\")?A.visible:\"hover\",A.placement=Object.prototype.hasOwnProperty.call(A,\"placement\")?A.placement:\"right\",A.ariaLabel=Object.prototype.hasOwnProperty.call(A,\"ariaLabel\")?A.ariaLabel:\"Anchor\",A.class=Object.prototype.hasOwnProperty.call(A,\"class\")?A.class:\"\",A.base=Object.prototype.hasOwnProperty.call(A,\"base\")?A.base:\"\",A.truncate=Object.prototype.hasOwnProperty.call(A,\"truncate\")?Math.floor(A.truncate):64,A.titleText=Object.prototype.hasOwnProperty.call(A,\"titleText\")?A.titleText:\"\"}function w(A){var e;if(\"string\"==typeof A||A instanceof String)e=[].slice.call(document.querySelectorAll(A));else{if(!(Array.isArray(A)||A instanceof NodeList))throw new TypeError(\"The selector provided to AnchorJS was invalid.\");e=[].slice.call(A)}return e}this.options=A||{},this.elements=[],d(this.options),this.isTouchDevice=function(){return Boolean(\"ontouchstart\"in window||window.TouchEvent||window.DocumentTouch&&document instanceof DocumentTouch)},this.add=function(A){var e,t,o,i,n,s,a,c,r,l,h,u,p=[];if(d(this.options),\"touch\"===(l=this.options.visible)&&(l=this.isTouchDevice()?\"always\":\"hover\"),0===(e=w(A=A||\"h2, h3, h4, h5, h6\")).length)return this;for(null===document.head.querySelector(\"style.anchorjs\")&&((u=document.createElement(\"style\")).className=\"anchorjs\",u.appendChild(document.createTextNode(\"\")),void 0===(A=document.head.querySelector('[rel=\"stylesheet\"],style'))?document.head.appendChild(u):document.head.insertBefore(u,A),u.sheet.insertRule(\".anchorjs-link{opacity:0;text-decoration:none;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}\",u.sheet.cssRules.length),u.sheet.insertRule(\":hover>.anchorjs-link,.anchorjs-link:focus{opacity:1}\",u.sheet.cssRules.length),u.sheet.insertRule(\"[data-anchorjs-icon]::after{content:attr(data-anchorjs-icon)}\",u.sheet.cssRules.length),u.sheet.insertRule('@font-face{font-family:anchorjs-icons;src:url(data:n/a;base64,AAEAAAALAIAAAwAwT1MvMg8yG2cAAAE4AAAAYGNtYXDp3gC3AAABpAAAAExnYXNwAAAAEAAAA9wAAAAIZ2x5ZlQCcfwAAAH4AAABCGhlYWQHFvHyAAAAvAAAADZoaGVhBnACFwAAAPQAAAAkaG10eASAADEAAAGYAAAADGxvY2EACACEAAAB8AAAAAhtYXhwAAYAVwAAARgAAAAgbmFtZQGOH9cAAAMAAAAAunBvc3QAAwAAAAADvAAAACAAAQAAAAEAAHzE2p9fDzz1AAkEAAAAAADRecUWAAAAANQA6R8AAAAAAoACwAAAAAgAAgAAAAAAAAABAAADwP/AAAACgAAA/9MCrQABAAAAAAAAAAAAAAAAAAAAAwABAAAAAwBVAAIAAAAAAAIAAAAAAAAAAAAAAAAAAAAAAAMCQAGQAAUAAAKZAswAAACPApkCzAAAAesAMwEJAAAAAAAAAAAAAAAAAAAAARAAAAAAAAAAAAAAAAAAAAAAQAAg//0DwP/AAEADwABAAAAAAQAAAAAAAAAAAAAAIAAAAAAAAAIAAAACgAAxAAAAAwAAAAMAAAAcAAEAAwAAABwAAwABAAAAHAAEADAAAAAIAAgAAgAAACDpy//9//8AAAAg6cv//f///+EWNwADAAEAAAAAAAAAAAAAAAAACACEAAEAAAAAAAAAAAAAAAAxAAACAAQARAKAAsAAKwBUAAABIiYnJjQ3NzY2MzIWFxYUBwcGIicmNDc3NjQnJiYjIgYHBwYUFxYUBwYGIwciJicmNDc3NjIXFhQHBwYUFxYWMzI2Nzc2NCcmNDc2MhcWFAcHBgYjARQGDAUtLXoWOR8fORYtLTgKGwoKCjgaGg0gEhIgDXoaGgkJBQwHdR85Fi0tOAobCgoKOBoaDSASEiANehoaCQkKGwotLXoWOR8BMwUFLYEuehYXFxYugC44CQkKGwo4GkoaDQ0NDXoaShoKGwoFBe8XFi6ALjgJCQobCjgaShoNDQ0NehpKGgobCgoKLYEuehYXAAAADACWAAEAAAAAAAEACAAAAAEAAAAAAAIAAwAIAAEAAAAAAAMACAAAAAEAAAAAAAQACAAAAAEAAAAAAAUAAQALAAEAAAAAAAYACAAAAAMAAQQJAAEAEAAMAAMAAQQJAAIABgAcAAMAAQQJAAMAEAAMAAMAAQQJAAQAEAAMAAMAAQQJAAUAAgAiAAMAAQQJAAYAEAAMYW5jaG9yanM0MDBAAGEAbgBjAGgAbwByAGoAcwA0ADAAMABAAAAAAwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAH//wAP) format(\"truetype\")}',u.sheet.cssRules.length)),u=document.querySelectorAll(\"[id]\"),t=[].map.call(u,function(A){return A.id}),i=0;i\\]./()*\\\\\\n\\t\\b\\v\\u00A0]/g,\"-\").replace(/-{2,}/g,\"-\").substring(0,this.options.truncate).replace(/^-+|-+$/gm,\"\").toLowerCase()},this.hasAnchorJSLink=function(A){var e=A.firstChild&&-1<(\" \"+A.firstChild.className+\" \").indexOf(\" anchorjs-link \"),A=A.lastChild&&-1<(\" \"+A.lastChild.className+\" \").indexOf(\" anchorjs-link \");return e||A||!1}}});"},{"Add":"// @license-end"}]}},{"FileAdd":{"meta":{"basename":"fonts","metadata":576},"context":[{"change":0,"pos":116789}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-solid-900.woff2","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-solid-900.woff","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-solid-900.ttf","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-solid-900.svg","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[{"Add":""},{"Add":""},{"Add":""},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"fa-solid-900.eot","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-regular-400.woff2","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-regular-400.woff","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-regular-400.ttf","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-regular-400.svg","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[{"Add":""},{"Add":""},{"Add":""},{"Add":""}]}},{"FileAdd":{"meta":{"basename":"fa-regular-400.eot","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-brands-400.woff2","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-brands-400.woff","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-brands-400.ttf","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[]}},{"FileAdd":{"meta":{"basename":"fa-brands-400.svg","metadata":0},"context":[{"change":0,"pos":124967}],"contents":[{"Add":""},{"Add":""},{"Add":""},{"Add":"

…

Dependencies

Change contents