GitHub.com recently changed its header (toolbar at the top of every page) to a dark theme, which sticks out light a sore thumb against the rest of the page. Below is CSS to approximate the old theme. A browser add-on like Custom Style Script can be configured to inject the CSS into all pages served from the github.com domain.
Nathan Schneider nschneid
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="utf-8"> | |
| <meta http-equiv="X-UA-Compatible" content="IE=edge"> | |
| <!-- common.css --> | |
| <style>* {-webkit-tap-highlight-color: rgba(0,0,0,0);}html {-webkit-text-size-adjust: none;}body {font-family: Arial, Helvetica, sans-serif;margin: 0;color: #333;word-wrap: break-word;}h1, h2, h3, h4, h5, h6 {line-height: 1.1;}img {max-width: 100% !important;}blockquote {margin: 0;padding: 0 15px;color: #777;border-left: 4px solid #ddd;}hr {background-color: #ddd;border: 0;height: 1px;margin: 15px 0;}code {font-family: Menlo, Consolas, 'Ubuntu Mono', Monaco, 'source-code-pro', monospace;line-height: 1.4;margin: 0;padding: 0.2em 0;font-size: 85%;background-color: rgba(0,0,0,0.04);border-radius: 3px;}pre > code {margin: 0;padding: 0;font-size: 100%;word-break: normal;background: transparent;border: 0;}ol {list-style-type: decimal;}ol ol, ul ol {list-style-type: lower-latin;}ol ol ol, ul ol ol, ul ul ol, ol ul ol {list-style-type: lower-roman;}table {border-spacing: 0;border-coll |
nschneid
/ Non-MWE non-hyphenated -ies nouns with a corresponding -y or -ie noun in WN
Last active
January 3, 2017 17:56
Use fine-grained POS tags to avoid problems with WordNet morphy lemmatizer (e.g., synsets with plural lemmas)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| NNS--stem to -y: | |
| allies amenities authorities canaries contemporaries | |
| flies follies formalities fries funnies liabilities | |
| hostilities jimmies skivvies | |
| NNS--stem to -y or -ie | |
| hippies | |
| NNPS--leave: | |
| alleghenies |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* Vivid Dark - Theme for highlight.js */ | |
| /* by Nathan Schneider (@nschneid) */ | |
| /* adapted from Atom theme: https://github.com/nschneid/vivid-syntax */ | |
| /* medium gray */ | |
| .hljs-comment { | |
| color: hsl(220,9%, 55%) | |
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| The following subcases serve to clarify the boundaries of [ss Purpose]: | |
| 1. A desired outcome that is separate from, but typically a motivation for (hence subtype of [ss Explanation]), the main event. | |
| It is possible to complete the main event without realizing the purpose. | |
| 2. **Inanimate** thing or event which is aided/facilitated/addressed/achieved/acquired as a consequence of the main event: | |
| - [ex 006 "We hired a caterer [p en/for Purpose] the party."] |
OlderNewer