03 public key.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Public key cryptography\n",
    "Asymmetric, or public key cryptography algorithms use two separate keys - one public, one private. The public key can be shared with anyone, trusted or not. \n",
    "\n",
    "Public key algorithms *may* be used to guarantee either confidentiality or authentication by using the same general principle in two different ways.\n",
    "\n",
    "**Confidentiality**: anyone can encrypt a message with the public key; only the holder of the private key can decrypt the message.\n",
    "\n",
    "**Authentication**: anyone can issue a challenge; only the holder of the private key can sign the challenge with the private key; anyone can verify the signature is correct with the public key."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## RSA cryptosystem\n",
    "\n",
    "You have seen [RSA](https://en.wikipedia.org/wiki/RSA_(cryptosystem)) during the lectures. Please refer to authoritative sources for the RSA standard; the following is an illustrative example of the fundamental concepts only.\n",
    "\n",
    "To jog your memory: given a plaintext $p$ and appropriately chosen integers\n",
    "\n",
    "* exponent $e$\n",
    "* modulus $m$\n",
    "* private key $k$\n",
    "\n",
    "such that\n",
    "\n",
    "$\\begin{align*}\n",
    "\\left(p^e\\right)^k \\equiv \\left(p^k\\right)^e \\equiv p \\mod m,\n",
    "\\end{align*}$\n",
    "\n",
    "anyone knowing the public key $(e,m)$ can encrypt a message by computing the ciphertext\n",
    "\n",
    "$\\begin{align*}\n",
    "E(p,m,e): \\quad c\\equiv p^e \\mod m,\n",
    "\\end{align*}$\n",
    "\n",
    "but only the holder of the private key can easily decrypt by computing\n",
    "\n",
    "$\\begin{align*}\n",
    "D(c,m,k): \\quad c^k\\equiv p \\mod m.\n",
    "\\end{align*}$\n",
    "\n",
    "## RSA signature\n",
    "\n",
    "We have seen that the hash $h$ of a document can be used to guarantee its integrity. To a first approximation, the holder of an RSA private key $k$ can *sign* the document by performing a decryption operation with the private key:\n",
    "\n",
    "$\\begin{align*}\n",
    "S(h,m,k): \\quad s\\equiv h^k \\mod m,\n",
    "\\end{align*}$\n",
    "\n",
    "and anyone can verify the correctness of the signature over the hash by performing an operation equivalent to encryption with the public key\n",
    "\n",
    "$\\begin{align*}\n",
    "V(s,h,m,e): \\quad s^e\\equiv h \\mod m.\n",
    "\\end{align*}$\n",
    "\n",
    "## Caveats\n",
    "\n",
    "* **Signature: digital vs legal** A digital signature created with the RSA cryptosystem with Alice's private key does *not* mean that Alice generated the document, and by itself it does not neessarily mean that Alice herself approved the contents of the document or even saw what it was. *A digital signature is not immediately equivalent to a handwritten signature* in this respect. We also need to ensure a long list of other guarantees can be given, such as that the keys can only be used with the active and conscious knowledge and approval of the owner. The [eIDAS](https://en.wikipedia.org/wiki/EIDAS) regulation of the EU establishes rules for the equivalence between handwritten signature and [qualified electronic signature](https://en.wikipedia.org/wiki/Qualified_electronic_signature).\n",
    "\n",
    "* **Proof: ownership vs identity** Anyone can generate a key pair - you are about to do this in the next exercise. The RSA cryptosystem can be used as part of an authentication protocol to prove ownership of a private key, but a further step is required to associate that key pair with an identity.\n",
    "\n",
    "* **Purpose** Different uses of the same cryptosystem are associated with different keys. We shall see some of the reasons why that is later on. For now, bear in mind that separate keys will be created for the purposes of authentication and signature.\n",
    "\n",
    "## Blind signature attack\n",
    "\n",
    "There are many attacks on versions of the RSA cryptosystem; see e.g. this [survey](https://crypto.stanford.edu/~dabo/abstracts/RSAattack-survey.html).\n",
    "\n",
    "The [blind signature attack](https://en.wikipedia.org/wiki/Blind_signature#Dangers_of_blind_signing) is illustrative of the danger of using keys for unintended purposes.\n",
    "\n",
    "Suppose Eve wants Alice to sign a document $d$, without revealing its contents to Alice. Suppose Alice is using vanilla RSA with the same key for authentication and non-repudiation. Eve can compose a seemingly random challenge as\n",
    "\n",
    "$t=r^e d \\mod m$\n",
    "\n",
    "and if Alice signs the challenge to prove her identity, Eve will receive\n",
    "\n",
    "$s = t^k \\mod m$\n",
    "\n",
    "Applying the public key, Eve can compute a quantity $sr^{-1}$ that passes the vanilla signature verification:\n",
    "\n",
    "$\\begin{align*}\n",
    "    \\left(sr^{-1}\\right)^e \\mod m & = \\left( r^e d \\right)^{ek}\\left(r^{-1}\\right)^e \\mod m \\\\\n",
    "                    & \\equiv  r^e d  \\left(r^{-1}\\right)^e \\mod m\n",
    "\\end{align*}$\n",
    "\n",
    "In particular, since there is no restriction on $d$ and Alice has no way to distinguish $r^e d$ from random, Eve can also use a message that Bob had previously sent to Alice using RSA encryption, if Alice was using the same key."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Generating and serializing key pairs\n",
    "\n",
    "Choosing the right algorithm and parameters for a given use case is tough - but our hands are usually tied by standards and availability. For these exercises we assume that choice has been made for us; a number of practical issues still arise, related to displaying, storing, and transporting critical information. In particular:\n",
    "\n",
    "1. **Format**: the syntax with which the key and metadata are composed.\n",
    "2. **Encoding**: the alphabet in which the information is written for storage and transport.\n",
    "\n",
    "### Format\n",
    "\n",
    "Private/public keys have associated metadata to assist in their usage. For example, storing some large number on its own is no very informative; on the other hand, following [RFC 5208: Public-Key Cryptography Standards (PKCS) \\#8: Private-Key Information Syntax](https://tools.ietf.org/html/rfc5208), we can store a private key in ASN.1 syntax as the following structure:\n",
    "```\n",
    "    PrivateKeyInfo ::= SEQUENCE {\n",
    "        version                   Version,\n",
    "        privateKeyAlgorithm       PrivateKeyAlgorithmIdentifier,\n",
    "        privateKey                PrivateKey,\n",
    "        attributes           [0]  IMPLICIT Attributes OPTIONAL }\n",
    "\n",
    "      Version ::= INTEGER\n",
    "\n",
    "      PrivateKeyAlgorithmIdentifier ::= AlgorithmIdentifier\n",
    "\n",
    "      PrivateKey ::= OCTET STRING\n",
    "\n",
    "      Attributes ::= SET OF Attribute\n",
    "```\n",
    "\n",
    "The \n",
    "\n",
    "Note that serialization formats are different for [private](https://cryptography.io/en/latest/hazmat/primitives/asymmetric/serialization/#cryptography.hazmat.primitives.serialization.PrivateFormat) and [public](https://cryptography.io/en/latest/hazmat/primitives/asymmetric/serialization/#cryptography.hazmat.primitives.serialization.PublicFormat) keys.\n",
    "\n",
    "### Encoding\n",
    "\n",
    "Serialization encodings can be a form of binary for storage, or base64 for display and transmission. The most common formats are DER (binary) and PEM (mostly base64). For PEM, refer to [RFC 7468: Textual Encodings of PKIX, PKCS, and CMS Structures](https://tools.ietf.org/html/rfc7468) for a summary of the main options. For illustrative purposes, consider PEM to be the base64 encoding of the DER data, with lines of maximum length 64 characters, delimited by\n",
    "```\n",
    "-----BEGIN {label}-----\n",
    "\n",
    "-----END {label}-----\n",
    "```\n",
    "\n",
    "It can be quite useful to have a text representation of cryptographic material for a number of reasons, for example when transmitting or receiving as part of a message that is expected to be text only, such as a QR code or a JSON message. The alternative is to have to manually write your own encoder and decoder - a task that is tedious at best and treacherous at worst, particularly when it comes to cryptography.\n",
    "\n",
    "### Summary\n",
    "\n",
    "To summarize, when generating cryptographic material such as keys and certificates, the de facto standards are:\n",
    "\n",
    "0. [ASN.1](https://en.wikipedia.org/wiki/Abstract_Syntax_Notation_One) syntax for a cross-platform human-readable representation of the data structure\n",
    "1. [DER](https://en.wikipedia.org/wiki/X.690#DER_encoding) encoding for unambiguous binary serialization\n",
    "2. [PEM](https://en.wikipedia.org/wiki/Base64#Variants_summary_table) encoding (of the DER binary) for unambiguous text serialization\n",
    "\n",
    "There are other options, but these are the main ones you should be aware of at the moment.\n",
    "\n",
    "**Exercise**: generate an RSA key pair, and display the private key with PEM encoding and PKCS8 format."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "b'-----BEGIN RSA PRIVATE KEY-----\\nMIIEowIBAAKCAQEAopmNcIPlmyZjGhWTKHuoUyib7cdvx3sNac5/l30JhES/af7e\\ns6unaJyMwCp9oZ2dqdtp479BasTKi4zHfzhiX0mHW2qo26bwtP5WtNxcs0pYUsdB\\nItTLs1dCKL5aBJlJcmftEgG7C/f2H4r4R30eEgawkjj1k6teETBFkMq1gnRR1zvP\\nKUApB01Myusu79gqP0VNzdwtaWgjYLrV07AXfygwdZ/6zSVhwc3fJiwK1f/Q34m+\\n9sHHS8vTvzWQ3ccq0aR43WvPohbUIGQTsvo8vORngnRIsgOzwupdY3Yhh/e0SSfE\\nWKMHUaoD7q3irjB91HCrx3HcSHzw0I/fSI13uQIDAQABAoIBABJvIi/tZCyQz493\\nfrWKP20eH393qt6MvtqOBL0h+eA7AxB7SrhH77TWesaWiqO2ANfu/jRJzJrUMLpd\\nfYiY1d5DscrVbstoQ8XhR+c9TG0vMpA/8syGH4n3jJKd8gqvbjpAOgpek9wpgofU\\n84z3TF9yzrXlK0JQnVuJg3mE4csmQpV60t5YsYGjtPcTBlke5Q+IoNloaEf1H7rB\\n+8OPNXqleAJZUvFKsJYhYc2GagGJVsvJ8fbk+xLMuZj7UMSiEU6uLJFleCIed37f\\nWuRMndbh+RQfzsdb+EPHovBoRoZtWNSPzi1A+1inVSLfy76mQ6Gr2hUcwAr8R4ps\\nF1W9C2ECgYEAzidGFVX9xK9dLMwFmMBsj67cEYBDtCK4o6PovMXH3HsH87YCZ4CO\\npyjG0b176sDoAkxQII3NHm9xn2jMcWixowy3kdN9yXApTyUs4KJlzUG8RSXv3ONk\\nMdTHunb1/OwebQ7/R1663aYrDktDPtgbG3rbtzSmd2NA1zUhgJlNZcUCgYEAyepY\\nzmOSVRpcFfoSz7hNI64NkoIPxHG0rZESpf2cZNlwJm2RIIsIpBra0IfCQ8eF6dMU\\nNZG3vpMtVJjyMXHRCTmbi7+BgecAjUX0FuR+lhZ8aYq5qEUNo23UH5SHnz56910k\\nd0oCU+yXovB+mj4RclbX4BLwJvRiQgh1i3tZHWUCgYARZ5VuJbVoDpoiNxNd4xkH\\nRG8F9ztAERJflm4GyffmsGhqdfpb/KmOiU3H1WSJ3EF6ODEnnnEr2aLRH4rrJDij\\nGGbDJAThpduG+A+C45MOsjcP63UFxBjocBtwrax07wZelL6OqvvBzM6jxUznGF2p\\ng0TbgdFwEOwffzfV4Jt9NQKBgBETFitt1CQKNJtPKGQUa8GGqHMpOHgePW8oA3Gx\\n/pWwpYE6ZrlfyH1IIBTeRhlBOBvL07ur9OPSwlSTEngH7etfyb2JlkQL6soHjlqZ\\nO/MpN6AdMRH/tOWLFhMNlmJrAC8G21yTD5tVOIV43NviP8txeJPkRhalN+HpoTcI\\nWULZAoGBALMo2y+pypetfvEcsm/1UF1jK4T4g45toCSFCmas5R6wCQgLW2jmoKWQ\\nygnS0jiBdqFuchglSS+RpWRC1i1tnwiX0WTOOrAtB0Oe0e8JmcilGpRwVzmA57kJ\\nOXvdsN3vvxEHRJe5Q5k6Pz9tbh/P+zB8ThCaZdf+xdKA1KXKMZuh\\n-----END RSA PRIVATE KEY-----\\n'\n"
     ]
    }
   ],
   "source": [
    "from cryptography.hazmat.backends import default_backend\n",
    "from cryptography.hazmat.primitives import serialization\n",
    "from cryptography.hazmat.primitives.asymmetric import rsa\n",
    "\n",
    "key = rsa.generate_private_key(\n",
    "    public_exponent=65537,\n",
    "    key_size=2048,\n",
    "    backend=default_backend()\n",
    "    )\n",
    "\n",
    "print(key.private_bytes(\n",
    "        encoding=serialization.Encoding.PEM,\n",
    "        format=serialization.PrivateFormat.TraditionalOpenSSL,\n",
    "        encryption_algorithm=serialization.NoEncryption(),\n",
    "    ))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "**Exercise**: above, change the encoding format from PEM to DER. Note the difference between base64 and binary.\n",
    "\n",
    "**Exercise**: generate an [elliptic curve](https://cryptography.io/en/latest/hazmat/primitives/asymmetric/ec/) key pair, with PEM encoding and PKCS\\#8 format."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "b'-----BEGIN PRIVATE KEY-----\\nMIG2AgEAMBAGByqGSM49AgEGBSuBBAAiBIGeMIGbAgEBBDCoKLVwlA0eMFcPFC/Z\\nwTlhlY7ByD5spHNPmxGf7UtFFyJckkOt9z5LfOh298Vo3ZyhZANiAARmWuGQGdvL\\nqQKfNT0MrdeiE5P6TJ2VcjS+dk8J4pKyRdyvgyJHgK4dpZN8hoSuF6QriFFcsZiF\\nLrLhB8pgbaP5yr61mKH5XLJkPG2wwbX9e0DaCwwAuFoNb0D2cJhd7dE=\\n-----END PRIVATE KEY-----\\n'\n"
     ]
    }
   ],
   "source": [
    "from cryptography.hazmat.backends import default_backend\n",
    "from cryptography.hazmat.primitives.asymmetric import ec\n",
    "key = ec.generate_private_key(\n",
    "    ec.SECP384R1(), default_backend()\n",
    ")\n",
    "print(key.private_bytes(\n",
    "        encoding=serialization.Encoding.PEM,\n",
    "        format=serialization.PrivateFormat.PKCS8,\n",
    "        encryption_algorithm=serialization.NoEncryption(),\n",
    "    ))"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Digital signature\n",
    "\n",
    "NIST [FIPS 186-4 Digital Signature Standard (DSS)](https://csrc.nist.gov/publications/detail/fips/186/4/final), specifies three NIST-approved digital signature algorithms: [DSA](https://en.wikipedia.org/wiki/Digital_Signature_Algorithm), [RSA](https://en.wikipedia.org/wiki/RSA_(cryptosystem)#Signing_messages), and [ECDSA](https://en.wikipedia.org/wiki/Elliptic_Curve_Digital_Signature_Algorithm) (see [NIST digital signatures project](https://csrc.nist.gov/Projects/Digital-Signatures)).\n",
    "\n",
    "The full details of each scheme can be quite involved. For reference, the current standard for RSA signatures is RSASSA-PSS, in PKCS \\#1 v2.2 - see [RFC 8017](https://tools.ietf.org/html/rfc8017). Signatures are parametrized by a choice of\n",
    "* hash function,\n",
    "* mask generation function, and\n",
    "* salt length.\n",
    "\n",
    "To quote:\n",
    ">                                      +-----------+\n",
    "                                     |     M     |\n",
    "                                     +-----------+\n",
    "                                           |\n",
    "                                           V\n",
    "                                         Hash\n",
    "                                           |\n",
    "                                           V\n",
    "                             +--------+----------+----------+\n",
    "                        M' = |Padding1|  mHash   |   salt   |\n",
    "                             +--------+----------+----------+\n",
    "                                            |\n",
    "                  +--------+----------+     V\n",
    "            DB =  |Padding2|   salt   |   Hash\n",
    "                  +--------+----------+     |\n",
    "                            |               |\n",
    "                            V               |\n",
    "                           xor <--- MGF <---|\n",
    "                            |               |\n",
    "                            |               |\n",
    "                            V               V\n",
    "                  +-------------------+----------+--+\n",
    "            EM =  |    maskedDB       |     H    |bc|\n",
    "                  +-------------------+----------+--+\n",
    "\n",
    "**Exercise**: sign a message with RSA-SHA256."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "b'\\x18\\xd4\\xad\\x9f \\xa0\\x1b\\x93g:\\xae\\xdb\\x10\\xb9\\xc4\\xf0\\xd4|@\\x83\\xd5X\\xe7o\\x9d\\xb4\\x155J\\xb4\\x93=\\xd2\\x0b\\x89\\xea\\xd0\\xd6\\x1crr\\xe0Y\\x89\\\\\\xea\\xa9\\xad\\xd8\\xd3ff\\xcd\\x91j\\x91\\x0c\\xac\\x90r\\x92\\xef\\x8e`S\\xba\"p\\xd5\\xc9\\xc7\\xb6\\xb3U{JJQ\\x18\\xc8W\\xa6\\x98\\x7f>1\\x86\\xa5`T\\xfb\\x1e\\x0b\\xca\\x14\\xde\\xadrh&\\x9b%\\xa2\\x04\\xe2\\xce\\xecy\\x7f\\x1fL:\\xe9\\xbb\\xa2v\\x8c\\xecK]\\xe8\\xc8\\xa2q2(\\xc3\\xfcG(\\x87H\\xf0\\x1dO\\xeb\\xb7\\x17f-C\\xfb\\xdb\\xa1\\xb0\\xb3 \\xd3\\xc8\"\\xdb\\xa0\\xfd\\xe1\\xb4\\xf4;\\xf8!\\xa1\\xdb C\\x17\\x9e\\xc3\\xb3\\x03\\xab\\x03\\x9ev\\x98_\\x8b\\x130\\xd3\\x99\\xf4\\xa0\\xbfD\\xcf\\xd4b\\x11[\\x80K\\xe0ov\\xbb\\xae\\xd2\\xebs\\x02zt\\x06\\xb8\\xaey\\xb9\\x87\\xb8\\x8dqm\\x9d\\xcf\\xa7\\xeb\\xa7\\xea\\xde\\xa9/u\\x05\\xd88\\x04q\\x8f\\xd2\\xe1\\x8f\\x0b\\xee\\xab\\x8c(&\\xa2m\\\\\\xd0@o\\xf2\\xfa,vx\\x81Y\\x17P\\x8f\\x98\\xfd\\xa1|'\n",
      "b'\\x00\\x99\\xc4\\x1a\\xf9\\xfc{7\"\\x9c\\xaa:!\\xad]\\x90\\x11\\xd7]\\xa4XR\\x16&\\xa1\\xdcEv\\x99{\\xa5w\\xaa-%\\xc8\\x111m\\xc3\\xa2V\\xaa[\\xa5\\xb5\\xe0\\n\\xe3J\\xf0*\\xfa\\xfc\\xa0e\\x89\\xc4z<\\xbe\\x95%\\xba[\\xaf\\x14\\xe5\\xf8\\x94~\\'\\x8f\\x1e\\t\\xb0\\xd7\\xe28\\xf4\\xd8\\xcb\\x82\\xa5^eO\\xf8\\xeexw\\xc6VB\\xe7\\x18\\xea\\xa7\\x90\\x05\\xf5\\x8a\\xdfN\\xb8n\\x06\\xb8\\xbd%^\\x021h\\x02L\\x05\\x00@?\\xc7\\x04c\\xd8E\\xb2\\xbe\\xd2\\xf8\\xbb\\xa7\\xd4\\xda\\x9e\\xc2-\\xbf,\\xa38w\\x0e\\xab\\x10\\x96\\xc1\\xf3\\x86(\\x9d\\x941\\xb4\\x13\\x1f\\xb9;\\x89\\xdb\\xed\\xc6\\x0b]\"\\xb37\\x02\\x04sn\\x85\\xe5$\\xbc\\x90\\x18E\\xbd\\xbbr\\x0cY\\xd3\\xacm\\xf6\\x13\\xe1\\x1a\\xd9\\x93\\xd24\\x9d\\x98w\\x9e\\xe7\\xf6ea\\xb8\\xbfjcm\\x16*A\\x8a\\xb1\\xae*AYR\\xbdm\\x8f\\x1e\\xb1\\r\\xab\\xc2\\xd9`\\xe1\\xc0X\\x0b^\\x1a\\xab\\x08\\xd4;\\x9a\\xc1_\\xef\\xba\\xf5\\xa2\\xd387i&\\x830\\x03\\xd2q\\xd3VR'\n"
     ]
    }
   ],
   "source": [
    "from cryptography.hazmat.primitives import hashes\n",
    "from cryptography.hazmat.primitives.asymmetric import padding\n",
    "\n",
    "key = rsa.generate_private_key(\n",
    "    public_exponent=65537,\n",
    "    key_size=2048,\n",
    "    backend=default_backend()\n",
    "    )\n",
    "\n",
    "message = b\"To sign\"\n",
    "signature = key.sign(\n",
    "    message,\n",
    "    padding.PSS(\n",
    "        mgf=padding.MGF1(hashes.SHA256()),\n",
    "        salt_length=padding.PSS.MAX_LENGTH\n",
    "    ),\n",
    "    hashes.SHA256()\n",
    ")\n",
    "\n",
    "print(signature)\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "**Exercise**: generate the SHA-256 hash of a message or document. Sign the hash with RSA. Verify the correctness of the signature."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "b'\\x9c\\'\\x1af}\\xf9\\xb6\\x98\\xef\\xa9\\x12/\\x92jS\\xf6x\\x99\\xdf\"\\xc1\\x99{\\xff\\x9bNQ\\x7f\\x1f\\x0f\\x9d\\x12%\\xb1q,I\\xf3\\x07\\xe4\\xb7\\xbe\\xf8\\x01$#aM\\xa1\\xd9\\x90\\x9as\\x8a\\x12`v\\x15&\\xbbn\\xa9\\n\\xe3w\\t\\xaf\\xee\\xfb\\xdf\\x00$\\xdes\\xba\\xcftU\\xb82\\x83\\xdePZof\\x8e\\xaf{\"Xn\\x81n\\n\\x1ce\\xb8\\xa94\\xfd\\xdd\\x15\\xfa\\xdc\\x01\\xe9!\\xea0\\xcd\\x1f\\x86\\n\\x9cx\\x07\\xe7\\xd0\\x0b\\xfcge@\\xb6\\xd9\\x94t\\r\\xc2=\\xc7\\x15\\xef\\x04+\\xd0>\\xcez&\\xd5\\xf4\\xd2\\xf6\\x01\\x87\\xdd\\xc4\\xec\\xeb}&}\\x12\\xc9\\x0f\\xdat\\xfd\\t\\x8b%\\x81\\xd7\\'\\xd7\\x9a\\xb0\\xc2\\xfb\\x1c\\xa3\\x9c\\x12\\xcf\\x84\\xf2\\xcc\\xe8\\xe5iRE\\xa2\\x10\\x8dF\\xb5cW\\xd4\\xdf7\\x80\\x82=\\xc7\\xbe\\xdc\\xa3\\x92\\x89\\xa9\\x11d\\xb5\\xd4\\xf7\\x08\\xcf\\\\\\xc3\\xb1<\\xb2G\\x8b*\\xe6<\\x80\\x10\\x0eq\\xf9Q\\x92\\xe9\\xf8Z\\xc86\\xa3\\xb2u&\\xe0\\xb3\\xed>\\x9c<\\xc7\\xd0\\xb4\\tvl\\xd7\\x8c\"\\xb3`D\\xf9'\n"
     ]
    }
   ],
   "source": [
    "from cryptography.hazmat.primitives.asymmetric import utils\n",
    "\n",
    "hasher = hashes.Hash(hashes.SHA256(), default_backend())\n",
    "hasher.update(message)\n",
    "digest = hasher.finalize()\n",
    "signature = key.sign(\n",
    "    digest,\n",
    "    padding.PSS(\n",
    "        mgf=padding.MGF1(hashes.SHA256()),\n",
    "        salt_length=padding.PSS.MAX_LENGTH\n",
    "    ),\n",
    "    utils.Prehashed(hashes.SHA256())\n",
    ")\n",
    "print(signature)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Digital certificates\n",
    "\n",
    "A certificate is a structure that associates a public key with an identity. The X.509 standard specifies the structure of certificates for various purposes, e.g. online authentication.\n",
    "\n",
    "## Requesting and issuing certificates\n",
    "\n",
    "In order to obtain a certificate, a website prepares a Certificate signing request (CSR) with its own information, then requests a signature by its chosen CA. This is usually a paid service.\n",
    "\n",
    "In order for a CA to decide whether to sign the CSR and therefore issue a certificate, it has to establish whether the entity requesting the certificate really does control the website. There is a currently proposed standard for this procedure in [RFC 8555](https://tools.ietf.org/html/rfc8555).\n",
    "\n",
    "**Exercise**: create a CSR with Subject information of your choice."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "b'K\\x06K\\x01\\xc9\\xcc\\x16\\xcbM\\xe9L\\xc6\\xa7\\x94\\xa3\\xc8K\\x12x\\xed\\x99\\x8aKV\\xc0\\x12o\\xebj%\\xc67'\n"
     ]
    }
   ],
   "source": [
    "from cryptography import x509\n",
    "from cryptography.x509.oid import NameOID\n",
    "from cryptography.hazmat.primitives import hashes\n",
    "\n",
    "csr = x509.CertificateSigningRequestBuilder().subject_name(x509.Name([\n",
    "    # Provide various details about the subject.\n",
    "    x509.NameAttribute(NameOID.COUNTRY_NAME, u\"IT\"),\n",
    "    x509.NameAttribute(NameOID.STATE_OR_PROVINCE_NAME, u\"Italy\"),\n",
    "    x509.NameAttribute(NameOID.LOCALITY_NAME, u\"Rome\"),\n",
    "    x509.NameAttribute(NameOID.ORGANIZATION_NAME, u\"Org\"),\n",
    "    x509.NameAttribute(NameOID.COMMON_NAME, u\"site.it\"),\n",
    "])).add_extension(\n",
    "    x509.SubjectAlternativeName([\n",
    "        # List domains for which the certificate is valid.\n",
    "        x509.DNSName(u\"site.it\"),\n",
    "        x509.DNSName(u\"www.site.it\"),\n",
    "        x509.DNSName(u\"subdomain.site.it\"),\n",
    "    ]),\n",
    "    critical=False,\n",
    "# Sign the CSR with your private key.\n",
    ").sign(key, hashes.SHA256(), default_backend())"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## PKI and certificate verification\n",
    "\n",
    "**Exercise**: Visit https://www.google.com. Through your browser (or otherwise) inspect their certificate. Make a note of the algorithms used for signature. Verify that the signature on their certificate is correct. Note the Issuer field.\n",
    "Visit https://pki.goog/ to see the certificate authorities they use. Find the issuer of the certificate you were looking at, download their certificate, verify that the SHA1 signature published on the website matches, and repeat the process.\n",
    "\n",
    "If you prefer, you can visit a different site (https) and verify a different certificate. Sooner or later you will reach a root CA, which should be included e.g. in the [mozilla CA certificate store](https://www.mozilla.org/en-US/about/governance/policies/security-group/certs/), packaged with the Firefox browser."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Standards\n",
    "[NIST digital signatures project](https://csrc.nist.gov/Projects/Digital-Signatures)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Theme\n",
    "You can run the following cell to change the appearance of this notebook to suit your taste. Check for available themes on [github.com/dunovank/jupyter-themes](https://github.com/dunovank/jupyter-themes)."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<style> div#notebook {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " line-height: 170%;\n",
       " color: #586e75;\n",
       " -webkit-font-smoothing: antialiased !important;\n",
       " padding-top: 25px !important;\n",
       "}\n",
       "body,\n",
       "div.body {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " color: #586e75;\n",
       " background-color: #002b36;\n",
       " background: #002b36;\n",
       " -webkit-font-smoothing: antialiased !important;\n",
       "}\n",
       "body.notebook_app {\n",
       " padding: 0;\n",
       " background-color: #002b36;\n",
       " background: #002b36;\n",
       " padding-right: 0px !important;\n",
       " overflow-y: hidden;\n",
       "}\n",
       "a {\n",
       " font-family: sans-serif;\n",
       " color: #586e75;\n",
       " -webkit-font-smoothing: antialiased !important;\n",
       "}\n",
       "a:hover,\n",
       "a:focus {\n",
       " color: #839496;\n",
       " -webkit-font-smoothing: antialiased !important;\n",
       "}\n",
       "div#maintoolbar {\n",
       " position: absolute;\n",
       " width: 90%;\n",
       " margin-left: -10%;\n",
       " padding-right: 8%;\n",
       " float: left;\n",
       " background: transparent !important;\n",
       "}\n",
       "#maintoolbar {\n",
       " margin-bottom: -3px;\n",
       " margin-top: 0px;\n",
       " border: 0px;\n",
       " min-height: 27px;\n",
       " padding-top: 2px;\n",
       " padding-bottom: 0px;\n",
       "}\n",
       "#maintoolbar .container {\n",
       " width: 75%;\n",
       " margin-right: auto;\n",
       " margin-left: auto;\n",
       "}\n",
       ".list_header,\n",
       "div#notebook_list_header.row.list_header {\n",
       " font-size: 14pt;\n",
       " color: #839496;\n",
       " background-color: transparent;\n",
       " height: 35px;\n",
       "}\n",
       "i.fa.fa-folder {\n",
       " display: inline-block;\n",
       " font: normal normal normal 14px \"FontAwesome\";\n",
       " font-family: \"FontAwesome\" !important;\n",
       " text-rendering: auto;\n",
       " -webkit-font-smoothing: antialiased;\n",
       " font-size: 18px;\n",
       " -moz-osx-font-smoothing: grayscale;\n",
       "}\n",
       "#running .panel-group .panel .panel-heading {\n",
       " font-size: 14pt;\n",
       " color: #586e75;\n",
       " padding: 8px 8px;\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       "}\n",
       "#running .panel-group .panel .panel-heading a {\n",
       " font-size: 14pt;\n",
       " color: #586e75;\n",
       "}\n",
       "#running .panel-group .panel .panel-heading a:focus,\n",
       "#running .panel-group .panel .panel-heading a:hover {\n",
       " font-size: 14pt;\n",
       " color: #586e75;\n",
       "}\n",
       "#running .panel-group .panel .panel-body .list_container .list_item {\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " padding: 2px;\n",
       " border-bottom: 2px solid rgba(30,67,77,.5);\n",
       "}\n",
       "#running .panel-group .panel .panel-body .list_container .list_item:hover {\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       "}\n",
       "#running .panel-group .panel .panel-body {\n",
       " padding: 2px;\n",
       "}\n",
       "button#refresh_running_list {\n",
       " border: none !important;\n",
       "}\n",
       "button#refresh_cluster_list {\n",
       " border: none !important;\n",
       "}\n",
       "div.running_list_info.toolbar_info {\n",
       " font-size: 15px;\n",
       " padding: 4px 0 4px 0;\n",
       " margin-top: 5px;\n",
       " margin-bottom: 8px;\n",
       " height: 24px;\n",
       " line-height: 24px;\n",
       " text-shadow: none;\n",
       "}\n",
       ".list_placeholder {\n",
       " font-weight: normal;\n",
       "}\n",
       "#tree-selector {\n",
       " padding: 0px;\n",
       " border-color: transparent;\n",
       "}\n",
       "#project_name > ul > li > a > i.fa.fa-home {\n",
       " color: #586e75;\n",
       " font-size: 17pt;\n",
       " display: inline-block;\n",
       " position: static;\n",
       " padding: 0px 0px;\n",
       " font-weight: normal;\n",
       " text-align: center;\n",
       " vertical-align: text-top;\n",
       "}\n",
       ".fa-folder:before {\n",
       " color: #268bd2;\n",
       "}\n",
       ".fa-arrow-up:before {\n",
       " font-size: 14px;\n",
       "}\n",
       ".fa-arrow-down:before {\n",
       " font-size: 14px;\n",
       "}\n",
       "span#last-modified.btn.btn-xs.btn-default.sort-action:hover .fa,\n",
       "span#sort-name.btn.btn-xs.btn-default.sort-action:hover .fa {\n",
       " color: #657b83;\n",
       "}\n",
       ".folder_icon:before {\n",
       " display: inline-block;\n",
       " font: normal normal normal 14px/1 FontAwesome;\n",
       " font-size: inherit;\n",
       " text-rendering: auto;\n",
       " -webkit-font-smoothing: antialiased;\n",
       " -moz-osx-font-smoothing: grayscale;\n",
       " content: \"\\f07b\";\n",
       " color: #268bd2;\n",
       "}\n",
       ".notebook_icon:before {\n",
       " display: inline-block;\n",
       " font: normal normal normal 14px/1 FontAwesome;\n",
       " font-size: inherit;\n",
       " text-rendering: auto;\n",
       " -webkit-font-smoothing: antialiased;\n",
       " -moz-osx-font-smoothing: grayscale;\n",
       " content: \"\\f02d\";\n",
       " position: relative;\n",
       " color: #859900 !important;\n",
       " top: 0px;\n",
       "}\n",
       ".file_icon:before {\n",
       " display: inline-block;\n",
       " font: normal normal normal 14px/1 FontAwesome;\n",
       " font-size: inherit;\n",
       " text-rendering: auto;\n",
       " -webkit-font-smoothing: antialiased;\n",
       " -moz-osx-font-smoothing: grayscale;\n",
       " content: \"\\f15b\";\n",
       " position: relative;\n",
       " top: 0px;\n",
       " color: #d6d6d6 !important;\n",
       "}\n",
       "#project_name a {\n",
       " display: inline-flex;\n",
       " padding-left: 7px;\n",
       " margin-left: -2px;\n",
       " text-align: -webkit-auto;\n",
       " vertical-align: baseline;\n",
       " font-size: 18px;\n",
       "}\n",
       "div#notebook_toolbar div.dynamic-instructions {\n",
       " font-family: sans-serif;\n",
       " font-size: 17px;\n",
       " color: #586e75;\n",
       "}\n",
       "span#login_widget > .button,\n",
       "#logout {\n",
       " font-family: \"Proxima Nova\", sans-serif;\n",
       " color: #586e75;\n",
       " background: transparent;\n",
       " background-color: transparent;\n",
       " border: 2px solid #073642;\n",
       " font-weight: normal;\n",
       " box-shadow: none;\n",
       " text-shadow: none;\n",
       " border-radius: 3px;\n",
       " margin-right: 10px;\n",
       " padding: 2px 7px;\n",
       "}\n",
       "span#login_widget > .button:hover,\n",
       "#logout:hover {\n",
       " color: #657b83;\n",
       " background-color: transparent;\n",
       " background: transparent;\n",
       " border: 2px solid #657b83;\n",
       " background-image: none;\n",
       " box-shadow: none !important;\n",
       " border-radius: 3px;\n",
       "}\n",
       "span#login_widget > .button:focus,\n",
       "#logout:focus,\n",
       "span#login_widget > .button.focus,\n",
       "#logout.focus,\n",
       "span#login_widget > .button:active,\n",
       "#logout:active,\n",
       "span#login_widget > .button.active,\n",
       "#logout.active,\n",
       ".open > .dropdown-togglespan#login_widget > .button,\n",
       ".open > .dropdown-toggle#logout {\n",
       " color: #b58900;\n",
       " background-color: #586e75;\n",
       " background: #586e75;\n",
       " border-color: #586e75;\n",
       " background-image: none;\n",
       " box-shadow: none !important;\n",
       " border-radius: 2px;\n",
       "}\n",
       "body > #header #header-container {\n",
       " padding-bottom: 0px;\n",
       " padding-top: 4px;\n",
       " box-sizing: border-box;\n",
       " -moz-box-sizing: border-box;\n",
       " -webkit-box-sizing: border-box;\n",
       "}\n",
       "body > #header {\n",
       " background: #002b36;\n",
       " background-color: #002b36;\n",
       " position: relative;\n",
       " z-index: 100;\n",
       "}\n",
       ".list_container {\n",
       " font-size: 13pt;\n",
       " color: #586e75;\n",
       " border: none;\n",
       " text-shadow: none !important;\n",
       "}\n",
       ".list_container > div {\n",
       " border-bottom: 1px solid rgba(30,67,77,.3);\n",
       " font-size: 13pt;\n",
       "}\n",
       ".list_header > div,\n",
       ".list_item > div {\n",
       " padding-top: 6px;\n",
       " padding-bottom: 2px;\n",
       " padding-left: 0px;\n",
       "}\n",
       ".list_header > div .item_link,\n",
       ".list_item > div .item_link {\n",
       " margin-left: -1px;\n",
       " vertical-align: middle;\n",
       " line-height: 22px;\n",
       " font-size: 13pt;\n",
       "}\n",
       ".item_icon {\n",
       " color: #268bd2;\n",
       " font-size: 13pt;\n",
       " vertical-align: middle;\n",
       "}\n",
       ".list_item input:not([type=\"checkbox\"]) {\n",
       " padding-right: 0px;\n",
       " height: 1.75em;\n",
       " width: 25%;\n",
       " margin: 0px 0 0;\n",
       " margin-top: 0px;\n",
       "}\n",
       ".list_header > div .item_link,\n",
       ".list_item > div .item_link {\n",
       " margin-left: -1px;\n",
       " vertical-align: middle;\n",
       " line-height: 1.5em;\n",
       " font-size: 12pt;\n",
       " display: inline-table;\n",
       " position: static;\n",
       "}\n",
       "#button-select-all {\n",
       " height: 34px;\n",
       " min-width: 55px;\n",
       " z-index: 0;\n",
       " border: none !important;\n",
       " padding-top: 0px;\n",
       " padding-bottom: 0px;\n",
       " margin-bottom: 0px;\n",
       " margin-top: 0px;\n",
       " left: -3px;\n",
       " border-radius: 0px !important;\n",
       "}\n",
       "#button-select-all:focus,\n",
       "#button-select-all:active:focus,\n",
       "#button-select-all.active:focus,\n",
       "#button-select-all.focus,\n",
       "#button-select-all:active.focus,\n",
       "#button-select-all.active.focus {\n",
       " background-color: #073642 !important;\n",
       " background: #073642 !important;\n",
       "}\n",
       "button#tree-selector-btn {\n",
       " height: 34px;\n",
       " font-size: 12.0pt;\n",
       " border: none;\n",
       " left: 0px;\n",
       " border-radius: 0px !important;\n",
       "}\n",
       "input#select-all.pull-left.tree-selector {\n",
       " margin-left: 7px;\n",
       " margin-right: 2px;\n",
       " margin-top: 2px;\n",
       " top: 4px;\n",
       "}\n",
       "input[type=\"radio\"],\n",
       "input[type=\"checkbox\"] {\n",
       " margin-top: 1px;\n",
       " line-height: normal;\n",
       "}\n",
       ".delete-button {\n",
       " border: none !important;\n",
       "}\n",
       "i.fa.fa-trash {\n",
       " font-size: 13.5pt;\n",
       "}\n",
       ".list_container a {\n",
       " font-size: 16px;\n",
       " color: #586e75;\n",
       " border: none;\n",
       " text-shadow: none !important;\n",
       " font-weight: normal;\n",
       " font-style: normal;\n",
       "}\n",
       "div.list_container a:hover {\n",
       " color: #839496;\n",
       "}\n",
       ".list_header > div input,\n",
       ".list_item > div input {\n",
       " margin-right: 7px;\n",
       " margin-left: 12px;\n",
       " vertical-align: baseline;\n",
       " line-height: 22px;\n",
       " position: relative;\n",
       " top: -1px;\n",
       "}\n",
       "div.list_item:hover {\n",
       " background-color: rgba(30,67,77,.1);\n",
       "}\n",
       ".breadcrumb > li {\n",
       " font-size: 12.0pt;\n",
       " color: #586e75;\n",
       " border: none;\n",
       " text-shadow: none !important;\n",
       "}\n",
       ".breadcrumb > li + li:before {\n",
       " content: \"/\\00a0\";\n",
       " padding: 0px;\n",
       " color: #586e75;\n",
       " font-size: 18px;\n",
       "}\n",
       "#project_name > .breadcrumb {\n",
       " padding: 0px;\n",
       " margin-bottom: 0px;\n",
       " background-color: transparent;\n",
       " font-weight: normal;\n",
       " margin-top: -2px;\n",
       "}\n",
       "ul#tabs a {\n",
       " font-family: sans-serif;\n",
       " font-size: 13.5pt;\n",
       " font-weight: normal;\n",
       " font-style: normal;\n",
       " text-shadow: none !important;\n",
       "}\n",
       ".nav-tabs {\n",
       " font-family: sans-serif;\n",
       " font-size: 13.5pt;\n",
       " font-weight: normal;\n",
       " font-style: normal;\n",
       " background-color: transparent;\n",
       " border-color: transparent;\n",
       " text-shadow: none !important;\n",
       " border: 2px solid transparent;\n",
       "}\n",
       ".nav-tabs > li > a:active,\n",
       ".nav-tabs > li > a:focus,\n",
       ".nav-tabs > li > a:hover,\n",
       ".nav-tabs > li.active > a,\n",
       ".nav-tabs > li.active > a:focus,\n",
       ".nav-tabs > li.active > a:hover,\n",
       ".nav-tabs > li.active > a,\n",
       ".nav-tabs > li.active > a:hover,\n",
       ".nav-tabs > li.active > a:focus {\n",
       " color: #657b83;\n",
       " background-color: transparent;\n",
       " border-color: transparent;\n",
       " border-bottom: 2px solid transparent;\n",
       "}\n",
       ".nav > li.disabled > a,\n",
       ".nav > li.disabled > a:hover {\n",
       " color: #586e75;\n",
       "}\n",
       ".nav-tabs > li > a:before {\n",
       " content: \"\";\n",
       " position: absolute;\n",
       " width: 100%;\n",
       " height: 2px;\n",
       " bottom: -2px;\n",
       " left: 0;\n",
       " background-color: #657b83;\n",
       " visibility: hidden;\n",
       " -webkit-transform: perspective(0)scaleX(0);\n",
       " transform: perspective(0)scaleX(0);\n",
       " -webkit-transition: ease 220ms;\n",
       " transition: ease 220ms;\n",
       " -webkit-font-smoothing: antialiased !important;\n",
       "}\n",
       ".nav-tabs > li > a:hover:before {\n",
       " visibility: visible;\n",
       " -webkit-transform: perspective(1)scaleX(1);\n",
       " transform: perspective(1)scaleX(1);\n",
       "}\n",
       ".nav-tabs > li.active > a:before {\n",
       " content: \"\";\n",
       " position: absolute;\n",
       " width: 100%;\n",
       " height: 2px;\n",
       " bottom: -2px;\n",
       " left: 0;\n",
       " background-color: #657b83;\n",
       " visibility: visible;\n",
       " -webkit-transform: perspective(1)scaleX(1);\n",
       " transform: perspective(1)scaleX(1);\n",
       " -webkit-font-smoothing: subpixel-antialiased !important;\n",
       "}\n",
       "div#notebook {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " padding-top: 4px;\n",
       "}\n",
       ".notebook_app {\n",
       " background-color: #002b36;\n",
       "}\n",
       "#notebook-container {\n",
       " padding: 13px 2px;\n",
       " background-color: #002b36;\n",
       " min-height: 0px;\n",
       " box-shadow: none;\n",
       " width: 980px;\n",
       " margin-right: auto;\n",
       " margin-left: auto;\n",
       "}\n",
       "div#ipython-main-app.container {\n",
       " width: 980px;\n",
       " margin-right: auto;\n",
       " margin-left: auto;\n",
       " margin-right: auto;\n",
       " margin-left: auto;\n",
       "}\n",
       ".container {\n",
       " width: 980px;\n",
       " margin-right: auto;\n",
       " margin-left: auto;\n",
       "}\n",
       "div#menubar-container {\n",
       " width: 100%;\n",
       " width: 980px;\n",
       "}\n",
       "div#header-container {\n",
       " width: 980px;\n",
       "}\n",
       ".notebook_app #header,\n",
       ".edit_app #header {\n",
       " box-shadow: none !important;\n",
       " background-color: #002b36;\n",
       " border-bottom: 2px solid rgba(30,67,77,.3);\n",
       "}\n",
       "#header,\n",
       ".edit_app #header {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " box-shadow: none;\n",
       " background-color: #002b36;\n",
       "}\n",
       "#header .header-bar,\n",
       ".edit_app #header .header-bar {\n",
       " background: #002b36;\n",
       " background-color: #002b36;\n",
       "}\n",
       "body > #header .header-bar {\n",
       " width: 100%;\n",
       " background: #002b36;\n",
       "}\n",
       "span.checkpoint_status,\n",
       "span.autosave_status {\n",
       " font-size: small;\n",
       " display: none;\n",
       "}\n",
       "#menubar,\n",
       "div#menubar {\n",
       " background-color: #002b36;\n",
       " padding-top: 0px !important;\n",
       "}\n",
       "#menubar .navbar,\n",
       ".navbar-default {\n",
       " background-color: #002b36;\n",
       " margin-bottom: 0px;\n",
       " margin-top: 0px;\n",
       "}\n",
       ".navbar {\n",
       " border: none;\n",
       "}\n",
       "div.navbar-text,\n",
       ".navbar-text,\n",
       ".navbar-text.indicator_area,\n",
       "p.navbar-text.indicator_area {\n",
       " margin-top: 8px !important;\n",
       " margin-bottom: 0px;\n",
       " color: #586e75;\n",
       "}\n",
       ".navbar-default {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " background-color: #002b36;\n",
       " border-color: rgba(30,67,77,.3);\n",
       " line-height: 1.5em;\n",
       " padding-bottom: 0px;\n",
       "}\n",
       ".navbar-default .navbar-nav > li > a {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " color: #586e75;\n",
       " display: block;\n",
       " line-height: 1.5em;\n",
       " padding-top: 14px;\n",
       " padding-bottom: 11px;\n",
       "}\n",
       ".navbar-default .navbar-nav > li > a:hover,\n",
       ".navbar-default .navbar-nav > li > a:focus {\n",
       " color: #839496 !important;\n",
       " background-color: rgba(30,67,77,.3) !important;\n",
       " border-color: rgba(30,67,77,.3) !important;\n",
       " line-height: 1.5em;\n",
       " transition: 80ms ease;\n",
       "}\n",
       ".navbar-default .navbar-nav > .open > a,\n",
       ".navbar-default .navbar-nav > .open > a:hover,\n",
       ".navbar-default .navbar-nav > .open > a:focus {\n",
       " color: #b58900;\n",
       " background-color: #002b36;\n",
       " border-color: #002b36;\n",
       " line-height: 1.5em;\n",
       "}\n",
       ".navbar-nav > li > .dropdown-menu {\n",
       " margin-top: 0px;\n",
       "}\n",
       ".navbar-nav {\n",
       " margin: 0;\n",
       "}\n",
       "div.notification_widget.info,\n",
       ".notification_widget.info,\n",
       ".notification_widget:active:hover,\n",
       ".notification_widget.active:hover,\n",
       ".open > .dropdown-toggle.notification_widget:hover,\n",
       ".notification_widget:active:focus,\n",
       ".notification_widget.active:focus,\n",
       ".open > .dropdown-toggle.notification_widget:focus,\n",
       ".notification_widget:active.focus,\n",
       ".notification_widget.active.focus,\n",
       ".open > .dropdown-toggle.notification_widget.focus,\n",
       "div#notification_notebook.notification_widget.btn.btn-xs.navbar-btn,\n",
       "div#notification_notebook.notification_widget.btn.btn-xs.navbar-btn:hover,\n",
       "div#notification_notebook.notification_widget.btn.btn-xs.navbar-btn:focus {\n",
       " color: #586e75 !important;\n",
       " background-color: transparent !important;\n",
       " border-color: transparent !important;\n",
       " padding-bottom: 0px !important;\n",
       " margin-bottom: 0px !important;\n",
       " font-size: 9pt !important;\n",
       " z-index: 0;\n",
       "}\n",
       "div#notification_notebook.notification_widget.btn.btn-xs.navbar-btn {\n",
       " font-size: 9pt !important;\n",
       " z-index: 0;\n",
       "}\n",
       ".notification_widget {\n",
       " color: #268bd2;\n",
       " z-index: -500;\n",
       " font-size: 9pt;\n",
       " background: transparent;\n",
       " background-color: transparent;\n",
       " margin-right: 3px;\n",
       " border: none;\n",
       "}\n",
       ".notification_widget,\n",
       "div.notification_widget {\n",
       " margin-right: 0px;\n",
       " margin-left: 0px;\n",
       " padding-right: 0px;\n",
       " vertical-align: text-top !important;\n",
       " margin-top: 6px !important;\n",
       " background: transparent !important;\n",
       " background-color: transparent !important;\n",
       " font-size: 9pt !important;\n",
       " border: none;\n",
       "}\n",
       ".navbar-btn.btn-xs:hover {\n",
       " border: none !important;\n",
       " background: transparent !important;\n",
       " background-color: transparent !important;\n",
       " color: #586e75 !important;\n",
       "}\n",
       "div.notification_widget.info,\n",
       ".notification_widget.info {\n",
       " display: none !important;\n",
       "}\n",
       ".edit_mode .modal_indicator:before {\n",
       " display: none;\n",
       "}\n",
       ".command_mode .modal_indicator:before {\n",
       " display: none;\n",
       "}\n",
       ".item_icon {\n",
       " color: #268bd2;\n",
       "}\n",
       ".item_buttons .kernel-name {\n",
       " font-size: 13pt;\n",
       " color: #268bd2;\n",
       "}\n",
       ".running_notebook_icon:before {\n",
       " color: #859900 !important;\n",
       " font: normal normal normal 15px/1 FontAwesome;\n",
       " font-size: 15px;\n",
       " text-rendering: auto;\n",
       " -webkit-font-smoothing: antialiased;\n",
       " -moz-osx-font-smoothing: grayscale;\n",
       " content: \"\\f10c\";\n",
       " vertical-align: middle;\n",
       " position: static;\n",
       " display: inherit;\n",
       "}\n",
       ".item_buttons .running-indicator {\n",
       " padding-top: 4px;\n",
       " color: #859900;\n",
       " font-family: sans-serif;\n",
       " text-rendering: auto;\n",
       " -webkit-font-smoothing: antialiased;\n",
       "}\n",
       "#notification_trusted {\n",
       " font-family: sans-serif;\n",
       " border: none;\n",
       " background: transparent;\n",
       " background-color: transparent;\n",
       " margin-bottom: 0px !important;\n",
       " vertical-align: bottom !important;\n",
       " color: #586e75 !important;\n",
       " cursor: default !important;\n",
       "}\n",
       "#notification_area,\n",
       "div.notification_area {\n",
       " float: right !important;\n",
       " position: static;\n",
       " cursor: pointer;\n",
       " padding-top: 6px;\n",
       " padding-right: 4px;\n",
       "}\n",
       "div#notification_notebook.notification_widget.btn.btn-xs.navbar-btn {\n",
       " font-size: 9pt !important;\n",
       " z-index: 0;\n",
       " margin-top: -5px !important;\n",
       "}\n",
       "#modal_indicator {\n",
       " float: right !important;\n",
       " color: #4c8be2;\n",
       " background: #002b36;\n",
       " background-color: #002b36;\n",
       " margin-top: 8px !important;\n",
       " margin-left: 0px;\n",
       "}\n",
       "#kernel_indicator {\n",
       " float: right !important;\n",
       " color: #586e75;\n",
       " background: #002b36;\n",
       " background-color: #002b36;\n",
       " border-left: 2px solid #586e75;\n",
       " padding-top: 0px;\n",
       " padding-bottom: 4px;\n",
       " margin-top: 10px !important;\n",
       " margin-left: -2px;\n",
       " padding-left: 5px !important;\n",
       "}\n",
       "#kernel_indicator .kernel_indicator_name {\n",
       " font-size: 17px;\n",
       " color: #586e75;\n",
       " background: #002b36;\n",
       " background-color: #002b36;\n",
       " padding-left: 5px;\n",
       " padding-right: 5px;\n",
       " margin-top: 4px;\n",
       " vertical-align: text-top;\n",
       " padding-bottom: 0px;\n",
       "}\n",
       ".kernel_idle_icon:before {\n",
       " display: inline-block;\n",
       " font: normal normal normal 22px/1 FontAwesome;\n",
       " font-size: 22px;\n",
       " text-rendering: auto;\n",
       " -webkit-font-smoothing: antialiased;\n",
       " cursor: pointer;\n",
       " margin-left: 0px !important;\n",
       " opacity: 0.7;\n",
       " vertical-align: bottom;\n",
       " margin-top: 1px;\n",
       " content: \"\\f1db\";\n",
       "}\n",
       ".kernel_busy_icon:before {\n",
       " display: inline-block;\n",
       " font: normal normal normal 22px/1 FontAwesome;\n",
       " font-size: 22px;\n",
       " -webkit-animation: pulsate 2s infinite ease-out;\n",
       " animation: pulsate 2s infinite ease-out;\n",
       " text-rendering: auto;\n",
       " -webkit-font-smoothing: antialiased;\n",
       " cursor: pointer;\n",
       " margin-left: 0px !important;\n",
       " vertical-align: bottom;\n",
       " margin-top: 1px;\n",
       " content: \"\\f111\";\n",
       "}\n",
       "@-webkit-keyframes pulsate {\n",
       " 0% {\n",
       "  -webkit-transform: scale(1.0,1.0);\n",
       "  opacity: 0.8;\n",
       " }\n",
       " 8% {\n",
       "  -webkit-transform: scale(1.0,1.0);\n",
       "  opacity: 0.8;\n",
       " }\n",
       " 50% {\n",
       "  -webkit-transform: scale(0.75,0.75);\n",
       "  opacity: 0.3;\n",
       " }\n",
       " 92% {\n",
       "  -webkit-transform: scale(1.0,1.0);\n",
       "  opacity: 0.8;\n",
       " }\n",
       " 100% {\n",
       "  -webkit-transform: scale(1.0,1.0);\n",
       "  opacity: 0.8;\n",
       " }\n",
       "}\n",
       "div.notification_widget.info,\n",
       ".notification_widget.info,\n",
       ".notification_widget:active:hover,\n",
       ".notification_widget.active:hover,\n",
       ".open > .dropdown-toggle.notification_widget:hover,\n",
       ".notification_widget:active:focus,\n",
       ".notification_widget.active:focus,\n",
       ".open > .dropdown-toggle.notification_widget:focus,\n",
       ".notification_widget:active.focus,\n",
       ".notification_widget.active.focus,\n",
       ".open > .dropdown-toggle.notification_widget.focus,\n",
       "div#notification_notebook.notification_widget.btn.btn-xs.navbar-btn,\n",
       "div#notification_notebook.notification_widget.btn.btn-xs.navbar-btn:hover,\n",
       "div#notification_notebook.notification_widget.btn.btn-xs.navbar-btn:focus {\n",
       " color: #586e75;\n",
       " background-color: #002b36;\n",
       " border-color: #002b36;\n",
       "}\n",
       "#notification_area,\n",
       "div.notification_area {\n",
       " float: right !important;\n",
       " position: static;\n",
       "}\n",
       ".notification_widget,\n",
       "div.notification_widget {\n",
       " margin-right: 0px;\n",
       " margin-left: 0px;\n",
       " padding-right: 0px;\n",
       " vertical-align: text-top !important;\n",
       " margin-top: 6px !important;\n",
       " z-index: 1000;\n",
       "}\n",
       "#kernel_logo_widget,\n",
       "#kernel_logo_widget .current_kernel_logo {\n",
       " display: none;\n",
       "}\n",
       "div#ipython_notebook {\n",
       " display: none;\n",
       "}\n",
       "i.fa.fa-icon {\n",
       " -webkit-font-smoothing: antialiased;\n",
       " -moz-osx-font-smoothing: grayscale;\n",
       " text-rendering: auto;\n",
       "}\n",
       ".fa {\n",
       " display: inline-block;\n",
       " font: normal normal normal 10pt/1 \"FontAwesome\", sans-serif;\n",
       " text-rendering: auto;\n",
       " -webkit-font-smoothing: antialiased;\n",
       " -moz-osx-font-smoothing: grayscale;\n",
       "}\n",
       ".dropdown-menu {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " box-shadow: none;\n",
       " padding: 0px;\n",
       " text-align: left;\n",
       " border: none;\n",
       " background-color: #002b36;\n",
       " background: #002b36;\n",
       " line-height: 1;\n",
       "}\n",
       ".dropdown-menu:hover {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " box-shadow: none;\n",
       " padding: 0px;\n",
       " text-align: left;\n",
       " border: none;\n",
       " background-color: #002b36;\n",
       " box-shadow: none;\n",
       " line-height: 1;\n",
       "}\n",
       ".dropdown-menu > li > a {\n",
       " font-family: sans-serif;\n",
       " font-size: 12.0pt;\n",
       " display: block;\n",
       " padding: 10px 20px 9px 10px;\n",
       " color: #586e75;\n",
       " background-color: #002b36;\n",
       " background: #002b36;\n",
       "}\n",
       ".dropdown-menu > li > a:hover,\n",
       ".dropdown-menu > li > a:focus {\n",
       " color: #839496;\n",
       " background-color: rgba(30,67,77,.3);\n",
       " background: rgba(30,67,77,.3);\n",
       " border-color: rgba(30,67,77,.3);\n",
       " transition: 200ms ease;\n",
       "}\n",
       ".dropdown-menu .divider {\n",
       " height: 1px;\n",
       " margin: 0px 0px;\n",
       " overflow: hidden;\n",
       " background-color: rgba(30,67,77,.5);\n",
       "}\n",
       ".dropdown-submenu > .dropdown-menu {\n",
       " display: none;\n",
       " top: 2px !important;\n",
       " left: 100%;\n",
       " margin-top: -2px;\n",
       " margin-left: 0px;\n",
       " padding-top: 0px;\n",
       " transition: 200ms ease;\n",
       "}\n",
       ".dropdown-menu > .disabled > a,\n",
       ".dropdown-menu > .disabled > a:hover,\n",
       ".dropdown-menu > .disabled > a:focus {\n",
       " font-family: sans-serif;\n",
       " font-size: 12.0pt;\n",
       " font-weight: normal;\n",
       " color: #586e75;\n",
       " padding: none;\n",
       " display: block;\n",
       " clear: both;\n",
       " white-space: nowrap;\n",
       "}\n",
       ".dropdown-submenu > a:after {\n",
       " color: #586e75;\n",
       " margin-right: -16px;\n",
       " margin-top: 0px;\n",
       " display: inline-block;\n",
       "}\n",
       ".dropdown-submenu:hover > a:after,\n",
       ".dropdown-submenu:active > a:after,\n",
       ".dropdown-submenu:focus > a:after,\n",
       ".dropdown-submenu:visited > a:after {\n",
       " color: #586e75;\n",
       " margin-right: -16px;\n",
       " display: inline-block !important;\n",
       "}\n",
       "div.kse-dropdown > .dropdown-menu,\n",
       ".kse-dropdown > .dropdown-menu {\n",
       " min-width: 0;\n",
       " top: 94%;\n",
       "}\n",
       ".btn,\n",
       ".btn-default {\n",
       " font-family: sans-serif;\n",
       " color: #586e75;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border: 2px solid #073642;\n",
       " font-weight: normal;\n",
       " box-shadow: none;\n",
       " text-shadow: none;\n",
       " border-radius: 3px;\n",
       " font-size: initial;\n",
       "}\n",
       ".btn:hover,\n",
       ".btn:active:hover,\n",
       ".btn.active:hover,\n",
       ".btn-default:hover,\n",
       ".open > .dropdown-toggle.btn-default:hover,\n",
       ".open > .dropdown-toggle.btn:hover {\n",
       " color: #657b83;\n",
       " border: 2px solid #083e4b;\n",
       " background-color: #083e4b;\n",
       " background: #083e4b;\n",
       " background-image: none;\n",
       " box-shadow: none !important;\n",
       " border-radius: 3px;\n",
       "}\n",
       ".btn:active,\n",
       ".btn.active,\n",
       ".btn:active:focus,\n",
       ".btn.active:focus,\n",
       ".btn:active.focus,\n",
       ".btn.active.focus,\n",
       ".btn-default:focus,\n",
       ".btn-default.focus,\n",
       ".btn-default:active,\n",
       ".btn-default.active,\n",
       ".btn-default:active:hover,\n",
       ".btn-default.active:hover,\n",
       ".btn-default:active:focus,\n",
       ".btn-default.active:focus,\n",
       ".btn-default:active.focus,\n",
       ".btn-default.active.focus,\n",
       ".open > .dropdown-toggle.btn:focus,\n",
       ".open > .dropdown-toggle.btn.focus,\n",
       ".open > .dropdown-toggle.btn-default:hover,\n",
       ".open > .dropdown-toggle.btn-default:focus,\n",
       ".open > .dropdown-toggle.btn-default.hover,\n",
       ".open > .dropdown-toggle.btn-default.focus {\n",
       " color: #657b83;\n",
       " border: 2px solid #083e4b;\n",
       " background-color: #083e4b !important;\n",
       " background: #083e4b !important;\n",
       " background-image: none;\n",
       " box-shadow: none !important;\n",
       " border-radius: 3px;\n",
       "}\n",
       ".btn-default:active:hover,\n",
       ".btn-default.active:hover,\n",
       ".btn-default:active:focus,\n",
       ".btn-default.active:focus,\n",
       ".btn-default:active.focus,\n",
       ".btn-default.active.focus {\n",
       " color: #b58900 !important;\n",
       " background-color: #073642;\n",
       " border-color: #856c21 !important;\n",
       " transition: 2000ms ease;\n",
       "}\n",
       ".btn:focus,\n",
       ".btn.focus,\n",
       ".btn:active:focus,\n",
       ".btn.active:focus,\n",
       ".btn:active,\n",
       ".btn.active,\n",
       ".btn:active.focus,\n",
       ".btn.active.focus {\n",
       " color: #b58900 !important;\n",
       " outline: none !important;\n",
       " outline-width: 0px !important;\n",
       " background: #856c21 !important;\n",
       " background-color: #856c21 !important;\n",
       " border-color: #856c21 !important;\n",
       " transition: 200ms ease !important;\n",
       "}\n",
       ".item_buttons > .btn,\n",
       ".item_buttons > .btn-group,\n",
       ".item_buttons > .input-group {\n",
       " font-size: 13pt;\n",
       " background: transparent;\n",
       " background-color: transparent;\n",
       " border: 0px solid #002731;\n",
       " border-bottom: 2px solid transparent;\n",
       " margin-left: 5px;\n",
       " padding-top: 4px !important;\n",
       "}\n",
       ".item_buttons > .btn:hover,\n",
       ".item_buttons > .btn-group:hover,\n",
       ".item_buttons > .input-group:hover,\n",
       ".item_buttons > .btn.active,\n",
       ".item_buttons > .btn-group.active,\n",
       ".item_buttons > .input-group.active,\n",
       ".item_buttons > .btn.focus {\n",
       " margin-left: 5px;\n",
       " background: #001f27;\n",
       " padding-top: 4px !important;\n",
       " background-color: transparent;\n",
       " border: 0px solid transparent;\n",
       " border-bottom: 2px solid #586e75;\n",
       " border-radius: 0px;\n",
       " transition: none;\n",
       "}\n",
       ".item_buttons {\n",
       " line-height: 1.5em !important;\n",
       "}\n",
       ".item_buttons .btn {\n",
       " min-width: 11ex;\n",
       "}\n",
       ".btn-group > .btn:first-child {\n",
       " margin-left: 3px;\n",
       "}\n",
       ".btn-group > .btn-mini,\n",
       ".btn-sm,\n",
       ".btn-group-sm > .btn,\n",
       ".btn-xs,\n",
       ".btn-group-xs > .btn,\n",
       ".alternate_upload .btn-upload,\n",
       ".btn-group,\n",
       ".btn-group-vertical {\n",
       " font-size: inherit;\n",
       " font-weight: normal;\n",
       " height: inherit;\n",
       " line-height: inherit;\n",
       "}\n",
       ".btn-xs,\n",
       ".btn-group-xs > .btn {\n",
       " font-size: initial !important;\n",
       " background-image: none;\n",
       " font-weight: normal;\n",
       " text-shadow: none;\n",
       " display: inline-table;\n",
       " padding: 2px 5px;\n",
       " line-height: 1.45;\n",
       "}\n",
       ".btn-group > .btn:first-child {\n",
       " margin-left: 3px;\n",
       "}\n",
       "div#new-buttons > button,\n",
       "#new-buttons > button,\n",
       "div#refresh_notebook_list,\n",
       "#refresh_notebook_list {\n",
       " background: transparent;\n",
       " background-color: transparent;\n",
       " border: none;\n",
       "}\n",
       "div#new-buttons > button:hover,\n",
       "#new-buttons > button:hover,\n",
       "div#refresh_notebook_list,\n",
       "#refresh_notebook_list,\n",
       "div.alternate_upload .btn-upload,\n",
       ".alternate_upload .btn-upload,\n",
       "div.dynamic-buttons > button,\n",
       ".dynamic-buttons > button,\n",
       ".dynamic-buttons > button:focus,\n",
       ".dynamic-buttons > button:active:focus,\n",
       ".dynamic-buttons > button.active:focus,\n",
       ".dynamic-buttons > button.focus,\n",
       ".dynamic-buttons > button:active.focus,\n",
       ".dynamic-buttons > button.active.focus,\n",
       "#new-buttons > button:focus,\n",
       "#new-buttons > button:active:focus,\n",
       "#new-buttons > button.active:focus,\n",
       "#new-buttons > button.focus,\n",
       "#new-buttons > button:active.focus,\n",
       "#new-buttons > button.active.focus,\n",
       ".alternate_upload .btn-upload:focus,\n",
       ".alternate_upload .btn-upload:active:focus,\n",
       ".alternate_upload .btn-upload.active:focus,\n",
       ".alternate_upload .btn-upload.focus,\n",
       ".alternate_upload .btn-upload:active.focus,\n",
       ".alternate_upload .btn-upload.active.focus {\n",
       " background: transparent !important;\n",
       " background-color: transparent !important;\n",
       " border: none !important;\n",
       "}\n",
       ".alternate_upload input.fileinput {\n",
       " text-align: center;\n",
       " vertical-align: bottom;\n",
       " margin-left: -.5ex;\n",
       " display: inline-table;\n",
       " border: solid 0px #073642;\n",
       " margin-bottom: -1ex;\n",
       "}\n",
       ".alternate_upload .btn-upload {\n",
       " display: inline-table;\n",
       " background: transparent;\n",
       " border: none;\n",
       "}\n",
       ".btn-group .btn + .btn,\n",
       ".btn-group .btn + .btn-group,\n",
       ".btn-group .btn-group + .btn,\n",
       ".btn-group .btn-group + .btn-group {\n",
       " margin-left: -2px;\n",
       "}\n",
       ".btn-group > .btn:first-child:not(:last-child):not(.dropdown-toggle) {\n",
       " border-bottom-right-radius: 0;\n",
       " border-top-right-radius: 0;\n",
       " z-index: 2;\n",
       "}\n",
       ".dropdown-header {\n",
       " font-family: sans-serif !important;\n",
       " font-size: 13pt !important;\n",
       " color: #586e75 !important;\n",
       " border-bottom: none !important;\n",
       " padding: 0px !important;\n",
       " margin: 6px 6px 0px !important;\n",
       "}\n",
       "span#last-modified.btn.btn-xs.btn-default.sort-action,\n",
       "span#sort-name.btn.btn-xs.btn-default.sort-action,\n",
       "span#file-size.btn.btn-xs.btn-default.sort-action {\n",
       " font-family: sans-serif;\n",
       " font-size: 16px;\n",
       " background-color: transparent;\n",
       " background: transparent;\n",
       " border: none;\n",
       " color: #586e75;\n",
       " padding-bottom: 0px;\n",
       " margin-bottom: 0px;\n",
       " vertical-align: sub;\n",
       "}\n",
       "span#last-modified.btn.btn-xs.btn-default.sort-action {\n",
       " margin-left: 19px;\n",
       "}\n",
       "button.close {\n",
       " border: 0px none;\n",
       " font-family: sans-serif;\n",
       " font-size: 20pt;\n",
       " font-weight: normal;\n",
       "}\n",
       ".dynamic-buttons {\n",
       " padding-top: 0px;\n",
       " display: inline-block;\n",
       "}\n",
       ".close {\n",
       " color: #dc322f;\n",
       " opacity: .5;\n",
       " text-shadow: none;\n",
       " font-weight: normal;\n",
       "}\n",
       ".close:hover {\n",
       " color: #dc322f;\n",
       " opacity: 1;\n",
       " font-weight: normal;\n",
       "}\n",
       "div.nbext-enable-btns .btn[disabled],\n",
       "div.nbext-enable-btns .btn[disabled]:hover,\n",
       ".btn-default.disabled,\n",
       ".btn-default[disabled],\n",
       ".btn-default.disabled:hover,\n",
       ".btn-default[disabled]:hover,\n",
       "fieldset[disabled] .btn-default:hover,\n",
       ".btn-default.disabled:focus,\n",
       ".btn-default[disabled]:focus,\n",
       "fieldset[disabled] .btn-default:focus,\n",
       ".btn-default.disabled.focus,\n",
       ".btn-default[disabled].focus,\n",
       "fieldset[disabled] .btn-default.focus {\n",
       " color: #93a1a1;\n",
       " background: #07323d;\n",
       " background-color: #07323d;\n",
       " border-color: #07323d;\n",
       " transition: 200ms ease;\n",
       "}\n",
       ".input-group-addon {\n",
       " padding: 2px 5px;\n",
       " font-size: 13pt;\n",
       " font-weight: normal;\n",
       " height: auto;\n",
       " color: #586e75;\n",
       " text-align: center;\n",
       " background-color: transparent;\n",
       " border: 2px solid transparent !important;\n",
       " text-transform: capitalize;\n",
       "}\n",
       "a.btn.btn-default.input-group-addon:hover {\n",
       " background: transparent !important;\n",
       " background-color: transparent !important;\n",
       "}\n",
       ".btn-group > .btn + .dropdown-toggle {\n",
       " padding-left: 8px;\n",
       " padding-right: 8px;\n",
       " height: 100%;\n",
       "}\n",
       ".btn-group > .btn + .dropdown-toggle:hover {\n",
       " background: #083e4b !important;\n",
       "}\n",
       ".input-group-btn {\n",
       " position: relative;\n",
       " font-size: inherit;\n",
       " white-space: nowrap;\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " border: none;\n",
       "}\n",
       ".input-group-btn:hover {\n",
       " background: #001f27;\n",
       " background-color: #001f27;\n",
       " border: none;\n",
       "}\n",
       ".input-group-btn:first-child > .btn,\n",
       ".input-group-btn:first-child > .btn-group {\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " border: none;\n",
       " margin-left: 2px;\n",
       " margin-right: -1px;\n",
       " font-size: inherit;\n",
       "}\n",
       ".input-group-btn:first-child > .btn:hover,\n",
       ".input-group-btn:first-child > .btn-group:hover {\n",
       " background: #083e4b;\n",
       " background-color: #083e4b;\n",
       " border: none;\n",
       " font-size: inherit;\n",
       " transition: 200ms ease;\n",
       "}\n",
       "div.modal .btn-group > .btn:first-child {\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " border: 1px solid #00232c;\n",
       " margin-top: 0px !important;\n",
       " margin-left: 0px;\n",
       " margin-bottom: 2px;\n",
       "}\n",
       "div.modal .btn-group > .btn:first-child:hover {\n",
       " background: #001f27;\n",
       " background-color: #001f27;\n",
       " border: 1px solid #001f27;\n",
       " transition: 200ms ease;\n",
       "}\n",
       "div.modal > button,\n",
       "div.modal-footer > button {\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " border-color: #002731;\n",
       "}\n",
       "div.modal > button:hover,\n",
       "div.modal-footer > button:hover {\n",
       " background: #001f27;\n",
       " background-color: #001f27;\n",
       " border-color: #001f27;\n",
       " transition: 200ms ease;\n",
       "}\n",
       ".modal-content {\n",
       " font-family: sans-serif;\n",
       " font-size: 12.0pt;\n",
       " position: relative;\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " border: none;\n",
       " border-radius: 1px;\n",
       " background-clip: padding-box;\n",
       " outline: none;\n",
       "}\n",
       ".modal-header {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " color: #586e75;\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " border-color: rgba(30,67,77,.5);\n",
       " padding: 12px;\n",
       " min-height: 16.4286px;\n",
       "}\n",
       ".modal-content h4 {\n",
       " font-family: sans-serif;\n",
       " font-size: 16pt;\n",
       " color: #586e75;\n",
       " padding: 5px;\n",
       "}\n",
       ".modal-body {\n",
       " background-color: #073642;\n",
       " position: relative;\n",
       " padding: 15px;\n",
       "}\n",
       ".modal-footer {\n",
       " padding: 8px;\n",
       " text-align: right;\n",
       " background-color: #073642;\n",
       " border-top: none;\n",
       "}\n",
       ".alert-info {\n",
       " background-color: #073642;\n",
       " border-color: rgba(30,67,77,.5);\n",
       " color: #586e75;\n",
       "}\n",
       ".modal-header .close {\n",
       " margin-top: -5px;\n",
       " font-size: 25pt;\n",
       "}\n",
       ".modal-backdrop,\n",
       ".modal-backdrop.in {\n",
       " opacity: 0.85;\n",
       " background-color: notebook-bg;\n",
       "}\n",
       "div.panel,\n",
       "div.panel-default,\n",
       ".panel,\n",
       ".panel-default {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " background-color: #073642;\n",
       " color: #586e75;\n",
       " margin-bottom: 14px;\n",
       " border: 0;\n",
       " box-shadow: none;\n",
       "}\n",
       "div.panel > .panel-heading,\n",
       "div.panel-default > .panel-heading {\n",
       " font-size: 14pt;\n",
       " color: #586e75;\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " border: 0;\n",
       "}\n",
       ".modal .modal-dialog {\n",
       " min-width: 950px;\n",
       " margin: 50px auto;\n",
       "}\n",
       "div.container-fluid {\n",
       " margin-right: auto;\n",
       " margin-left: auto;\n",
       " padding-left: 0px;\n",
       " padding-right: 5px;\n",
       "}\n",
       "div.form-control,\n",
       ".form-control {\n",
       " font-family: sans-serif;\n",
       " font-size: initial;\n",
       " color: #586e75;\n",
       " background-color: #084150;\n",
       " border: 1px solid #052730 !important;\n",
       " margin-left: 2px;\n",
       " box-shadow: none;\n",
       " transition: border-color 0.15s ease-in-out 0s, box-shadow 0.15s ease-in-out 0s;\n",
       "}\n",
       ".form-control-static {\n",
       " min-height: inherit;\n",
       " height: inherit;\n",
       "}\n",
       ".form-group.list-group-item {\n",
       " color: #586e75;\n",
       " background-color: #073642;\n",
       " border-color: rgba(30,67,77,.5);\n",
       " margin-bottom: 0px;\n",
       "}\n",
       ".form-group .input-group {\n",
       " float: left;\n",
       "}\n",
       "input,\n",
       "button,\n",
       "select,\n",
       "textarea {\n",
       " background-color: #084150;\n",
       " font-weight: normal;\n",
       " border: 1px solid rgba(30,67,77,.5);\n",
       "}\n",
       "select.form-control.select-xs {\n",
       " height: 33px;\n",
       " font-size: 13pt;\n",
       "}\n",
       ".toolbar select,\n",
       ".toolbar label {\n",
       " width: auto;\n",
       " vertical-align: middle;\n",
       " margin-right: 0px;\n",
       " margin-bottom: 0px;\n",
       " display: inline;\n",
       " font-size: 92%;\n",
       " margin-left: 10px;\n",
       " padding: 0px;\n",
       " background: #073642 !important;\n",
       " background-color: #073642 !important;\n",
       " border: 2px solid #073642 !important;\n",
       "}\n",
       ".form-control:focus {\n",
       " border-color: #586e75;\n",
       " outline: 2px solid #084552;\n",
       " -webkit-box-shadow: none;\n",
       "}\n",
       "::-webkit-input-placeholder {\n",
       " color: #586e75;\n",
       "}\n",
       "::-moz-placeholder {\n",
       " color: #586e75;\n",
       "}\n",
       ":-ms-input-placeholder {\n",
       " color: #586e75;\n",
       "}\n",
       ":-moz-placeholder {\n",
       " color: #586e75;\n",
       "}\n",
       "[dir=\"ltr\"] #find-and-replace .input-group-btn + .form-control {\n",
       " border: 2px solid rgba(30,67,77,.5) !important;\n",
       "}\n",
       "[dir=\"ltr\"] #find-and-replace .input-group-btn + .form-control:focus {\n",
       " border-color: #586e75;\n",
       " outline: 2px solid #084552;\n",
       " -webkit-box-shadow: none;\n",
       " box-shadow: none;\n",
       "}\n",
       "div.output.output_scroll {\n",
       " box-shadow: none;\n",
       "}\n",
       "::-webkit-scrollbar {\n",
       " width: 11px;\n",
       " max-height: 9px;\n",
       " background-color: #004355;\n",
       " border-radius: 3px;\n",
       " border: none;\n",
       "}\n",
       "::-webkit-scrollbar-track {\n",
       " background: #004355;\n",
       " border: none;\n",
       " width: 11px;\n",
       " max-height: 9px;\n",
       "}\n",
       "::-webkit-scrollbar-thumb {\n",
       " border-radius: 2px;\n",
       " border: none;\n",
       " background: #586e75;\n",
       " background-clip: content-box;\n",
       " width: 11px;\n",
       "}\n",
       "HTML,\n",
       "body,\n",
       "div,\n",
       "dl,\n",
       "dt,\n",
       "dd,\n",
       "ul,\n",
       "ol,\n",
       "li,\n",
       "h1,\n",
       "h2,\n",
       "h3,\n",
       "h4,\n",
       "h5,\n",
       "h6,\n",
       "pre,\n",
       "code,\n",
       "form,\n",
       "fieldset,\n",
       "legend,\n",
       "input,\n",
       "button,\n",
       "textarea,\n",
       "p,\n",
       "blockquote,\n",
       "th,\n",
       "td,\n",
       "span,\n",
       "a {\n",
       " text-rendering: geometricPrecision;\n",
       " -webkit-font-smoothing: subpixel-antialiased;\n",
       " font-weight: 400;\n",
       "}\n",
       "div.input_area {\n",
       " background-color: #073642;\n",
       " background: #073642;\n",
       " padding-right: 1.2em;\n",
       " border: 0px;\n",
       " border-radius: 0px;\n",
       " border-top-right-radius: 4px;\n",
       " border-bottom-right-radius: 4px;\n",
       "}\n",
       "div.cell {\n",
       " padding: 0px;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border: medium solid #002b36;\n",
       " border-radius: 4px;\n",
       " top: 0;\n",
       "}\n",
       "div.cell.selected {\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border: medium solid #002b36;\n",
       " padding: 0px;\n",
       " border-radius: 5px;\n",
       "}\n",
       ".edit_mode div.cell.selected {\n",
       " padding: 0px;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border: medium solid #002b36;\n",
       " border-radius: 5px;\n",
       "}\n",
       "div.cell.edit_mode {\n",
       " padding: 0px;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       "}\n",
       "div.CodeMirror-sizer {\n",
       " margin-left: 0px;\n",
       " margin-bottom: -21px;\n",
       " border-right-width: 16px;\n",
       " min-height: 37px;\n",
       " padding-right: 0px;\n",
       " padding-bottom: 0px;\n",
       " margin-top: 0px;\n",
       "}\n",
       "div.cell.selected:before,\n",
       ".edit_mode div.cell.selected:before,\n",
       "div.cell.selected:before,\n",
       "div.cell.selected.jupyter-soft-selected:before {\n",
       " background: #073642 !important;\n",
       " border: none;\n",
       " border-radius: 3px;\n",
       " position: absolute;\n",
       " display: block;\n",
       " top: 0px;\n",
       " left: 0px;\n",
       " width: 0px;\n",
       " height: 100%;\n",
       "}\n",
       "div.cell.text_cell.selected::before,\n",
       ".edit_mode div.cell.text_cell.selected:before,\n",
       "div.cell.text_cell.selected:before,\n",
       "div.cell.text_cell.selected.jupyter-soft-selected:before {\n",
       " background: #073642 !important;\n",
       " background-color: #073642 !important;\n",
       " border-color: #b58900 !important;\n",
       "}\n",
       "div.cell.code_cell .input {\n",
       " border-left: 5px solid #073642 !important;\n",
       " border-radius: 3px;\n",
       " border-bottom-left-radius: 3px;\n",
       " border-top-left-radius: 3px;\n",
       "}\n",
       "div.cell.code_cell.selected .input {\n",
       " border-left: 5px solid #0b6073 !important;\n",
       " border-radius: 3px;\n",
       "}\n",
       ".edit_mode div.cell.code_cell.selected .input {\n",
       " border-left: 5px solid #084552 !important;\n",
       " border-radius: 3px;\n",
       "}\n",
       ".edit_mode div.cell.selected:before {\n",
       " height: 100%;\n",
       " border-left: 5px solid #084552 !important;\n",
       " border-radius: 3px;\n",
       "}\n",
       "div.cell.jupyter-soft-selected,\n",
       "div.cell.selected.jupyter-soft-selected {\n",
       " border-left-color: #084552 !important;\n",
       " border-left-width: 0px !important;\n",
       " padding-left: 7px !important;\n",
       " border-right-color: #084552 !important;\n",
       " border-right-width: 0px !important;\n",
       " background: #084552 !important;\n",
       " border-radius: 6px !important;\n",
       "}\n",
       "div.cell.selected.jupyter-soft-selected .input {\n",
       " border-left: 5px solid #073642 !important;\n",
       "}\n",
       "div.cell.selected.jupyter-soft-selected {\n",
       " border-left-color: #0b6073;\n",
       " border-color: #002b36;\n",
       " padding-left: 7px;\n",
       " border-radius: 6px;\n",
       "}\n",
       "div.cell.code_cell.selected .input {\n",
       " border-left: none;\n",
       " border-radius: 3px;\n",
       "}\n",
       "div.cell.selected.jupyter-soft-selected .prompt,\n",
       "div.cell.text_cell.selected.jupyter-soft-selected .prompt {\n",
       " top: 0;\n",
       " border-left: #073642 !important;\n",
       " border-radius: 2px;\n",
       "}\n",
       "div.cell.text_cell.selected.jupyter-soft-selected .input_prompt {\n",
       " border-left: none !important;\n",
       "}\n",
       "div.cell.text_cell.jupyter-soft-selected,\n",
       "div.cell.text_cell.selected.jupyter-soft-selected {\n",
       " border-left-color: #a38012 !important;\n",
       " border-left-width: 0px !important;\n",
       " padding-left: 26px !important;\n",
       " border-right-color: #a38012 !important;\n",
       " border-right-width: 0px !important;\n",
       " background: #a38012 !important;\n",
       " border-radius: 5px !important;\n",
       "}\n",
       "div.cell.jupyter-soft-selected .input,\n",
       "div.cell.selected.jupyter-soft-selected .input {\n",
       " border-left-color: #084552 !important;\n",
       "}\n",
       "div.prompt,\n",
       ".prompt {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 9pt !important;\n",
       " font-weight: normal;\n",
       " color: #586e75;\n",
       " line-height: 170%;\n",
       " padding: 0px;\n",
       " padding-top: 4px;\n",
       " padding-left: 0px;\n",
       " padding-right: 1px;\n",
       " text-align: right !important;\n",
       " min-width: 11.5ex !important;\n",
       " width: 11.5ex !important;\n",
       "}\n",
       "div.prompt.input_prompt {\n",
       " font-size: 9pt !important;\n",
       " background-color: #073642;\n",
       " border-top: 0px;\n",
       " border-top-right-radius: 0px;\n",
       " border-bottom-left-radius: 0px;\n",
       " border-bottom-right-radius: 0px;\n",
       " padding-right: 3px;\n",
       " min-width: 11.5ex;\n",
       " width: 11.5ex !important;\n",
       "}\n",
       "div.cell.code_cell .input_prompt {\n",
       " border-right: 2px solid #084552;\n",
       "}\n",
       "div.cell.selected .prompt {\n",
       " top: 0;\n",
       "}\n",
       ".edit_mode div.cell.selected .prompt {\n",
       " top: 0;\n",
       "}\n",
       ".edit_mode div.cell.selected .prompt {\n",
       " top: 0;\n",
       "}\n",
       ".run_this_cell {\n",
       " visibility: hidden;\n",
       " color: transparent;\n",
       " padding-top: 0px;\n",
       " padding-bottom: 0px;\n",
       " padding-left: 3px;\n",
       " padding-right: 12px;\n",
       " width: 1.5ex;\n",
       " width: 0ex;\n",
       " background: transparent;\n",
       " background-color: transparent;\n",
       "}\n",
       "div.code_cell:hover div.input .run_this_cell {\n",
       " visibility: visible;\n",
       "}\n",
       "div.cell.code_cell.rendered.selected .run_this_cell:hover {\n",
       " background-color: #052730;\n",
       " background: #052730;\n",
       " color: #0b6073 !important;\n",
       "}\n",
       "div.cell.code_cell.rendered.unselected .run_this_cell:hover {\n",
       " background-color: #052730;\n",
       " background: #052730;\n",
       " color: #0b6073 !important;\n",
       "}\n",
       "i.fa-step-forward.fa {\n",
       " display: inline-block;\n",
       " font: normal normal normal 9px \"FontAwesome\";\n",
       "}\n",
       ".fa-step-forward:before {\n",
       " content: \"\\f04b\";\n",
       "}\n",
       "div.cell.selected.jupyter-soft-selected .run_this_cell,\n",
       "div.cell.selected.jupyter-soft-selected .run_this_cell:hover,\n",
       "div.cell.unselected.jupyter-soft-selected .run_this_cell:hover,\n",
       "div.cell.code_cell.rendered.selected.jupyter-soft-selected .run_this_cell:hover,\n",
       "div.cell.code_cell.rendered.unselected.jupyter-soft-selected .run_this_cell:hover {\n",
       " background-color: #084552 !important;\n",
       " background: #084552 !important;\n",
       " color: #084552 !important;\n",
       "}\n",
       "div.output_wrapper {\n",
       " background-color: #002b36;\n",
       " border: 0px;\n",
       " left: 0px;\n",
       " margin-bottom: 0em;\n",
       " margin-top: 0em;\n",
       " border-top-right-radius: 0px;\n",
       " border-top-left-radius: 0px;\n",
       "}\n",
       "div.output_subarea.output_text.output_stream.output_stdout,\n",
       "div.output_subarea.output_text {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 8.5pt !important;\n",
       " line-height: 150% !important;\n",
       " background-color: #002b36;\n",
       " color: #586e75;\n",
       " border-top-right-radius: 0px;\n",
       " border-top-left-radius: 0px;\n",
       " margin-left: 11.5px;\n",
       "}\n",
       "div.output_area pre {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 8.5pt !important;\n",
       " line-height: 151% !important;\n",
       " color: #586e75;\n",
       " border-top-right-radius: 0px;\n",
       " border-top-left-radius: 0px;\n",
       "}\n",
       "div.output_area {\n",
       " display: -webkit-box;\n",
       "}\n",
       "div.output_html {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 8.5pt;\n",
       " color: #586e75;\n",
       " background-color: #002b36;\n",
       " background: #002b36;\n",
       "}\n",
       "div.output_subarea {\n",
       " overflow-x: auto;\n",
       " padding: 1.2em !important;\n",
       " -webkit-box-flex: 1;\n",
       " -moz-box-flex: 1;\n",
       " box-flex: 1;\n",
       " flex: 1;\n",
       "}\n",
       "div.btn.btn-default.output_collapsed {\n",
       " background: #001318;\n",
       " background-color: #001318;\n",
       " border-color: #001318;\n",
       "}\n",
       "div.btn.btn-default.output_collapsed:hover {\n",
       " background: #000b0d;\n",
       " background-color: #000b0d;\n",
       " border-color: #000b0d;\n",
       "}\n",
       "div.prompt.output_prompt {\n",
       " font-family: monospace, monospace;\n",
       " font-weight: bold !important;\n",
       " background-color: #002b36;\n",
       " color: transparent;\n",
       " border-bottom-left-radius: 4px;\n",
       " border-top-right-radius: 0px;\n",
       " border-top-left-radius: 0px;\n",
       " border-bottom-right-radius: 0px;\n",
       " min-width: 11.5ex !important;\n",
       " width: 11.5ex !important;\n",
       " border-right: 2px solid transparent;\n",
       "}\n",
       "div.out_prompt_overlay.prompt {\n",
       " font-family: monospace, monospace;\n",
       " font-weight: bold !important;\n",
       " background-color: #002b36;\n",
       " border-bottom-left-radius: 2px;\n",
       " border-top-right-radius: 0px;\n",
       " border-top-left-radius: 0px;\n",
       " border-bottom-right-radius: 0px;\n",
       " min-width: 11.5ex !important;\n",
       " width: 11.5ex !important;\n",
       " border-right: 2px solid transparent;\n",
       " color: transparent;\n",
       "}\n",
       "div.out_prompt_overlay.prompt:hover {\n",
       " background-color: #05262f;\n",
       " box-shadow: none !important;\n",
       " border: none;\n",
       " border-bottom-left-radius: 2px;\n",
       " -webkit-border-: 2px;\n",
       " -moz-border-radius: 2px;\n",
       " border-top-right-radius: 0px;\n",
       " border-top-left-radius: 0px;\n",
       " min-width: 11.5ex !important;\n",
       " width: 11.5ex !important;\n",
       " border-right: 2px solid #05262f !important;\n",
       "}\n",
       "div.cell.code_cell .output_prompt {\n",
       " border-right: 2px solid transparent;\n",
       " color: transparent;\n",
       "}\n",
       "div.cell.selected .output_prompt,\n",
       "div.cell.selected .out_prompt_overlay.prompt {\n",
       " border-left: 5px solid #a38012;\n",
       " border-right: 2px solid #002b36;\n",
       " border-radius: 0px !important;\n",
       "}\n",
       ".edit_mode div.cell.selected .output_prompt,\n",
       ".edit_mode div.cell.selected .out_prompt_overlay.prompt {\n",
       " border-left: 5px solid #a38012;\n",
       " border-right: 2px solid #002b36;\n",
       " border-radius: 0px !important;\n",
       "}\n",
       "div.text_cell,\n",
       "div.text_cell_render pre,\n",
       "div.text_cell_render {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " line-height: 130% !important;\n",
       " color: #586e75;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border-radius: 0px;\n",
       "}\n",
       "div .text_cell_render {\n",
       " padding: 0.4em 0.4em 0.4em 0.4em;\n",
       "}\n",
       "div.cell.text_cell .CodeMirror-lines {\n",
       " padding-top: .7em !important;\n",
       " padding-bottom: .4em !important;\n",
       " padding-left: .5em !important;\n",
       " padding-right: .5em !important;\n",
       " margin-top: .4em;\n",
       " margin-bottom: .3em;\n",
       "}\n",
       "div.cell.text_cell.unrendered div.input_area,\n",
       "div.cell.text_cell.rendered div.input_area {\n",
       " background-color: #073642;\n",
       " background: #073642;\n",
       " border: 0px;\n",
       " border-radius: 2px;\n",
       "}\n",
       "div.cell.text_cell .CodeMirror,\n",
       "div.cell.text_cell .CodeMirror pre {\n",
       " line-height: 170% !important;\n",
       "}\n",
       "div.cell.text_cell.rendered.selected {\n",
       " font-family: sans-serif;\n",
       " line-height: 170% !important;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border-radius: 0px;\n",
       "}\n",
       "div.cell.text_cell.unrendered.selected {\n",
       " font-family: sans-serif;\n",
       " line-height: 170% !important;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border-radius: 0px;\n",
       "}\n",
       "div.cell.text_cell.selected {\n",
       " font-family: sans-serif;\n",
       " line-height: 170% !important;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border-radius: 0px;\n",
       "}\n",
       ".edit_mode div.cell.text_cell.selected {\n",
       " font-family: sans-serif;\n",
       " line-height: 170% !important;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border-radius: 0px;\n",
       "}\n",
       "div.text_cell.unrendered,\n",
       "div.text_cell.unrendered.selected,\n",
       "div.edit_mode div.text_cell.unrendered {\n",
       " font-family: sans-serif;\n",
       " line-height: 170% !important;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border-radius: 0px;\n",
       "}\n",
       "div.cell.text_cell .prompt {\n",
       " border-right: 0;\n",
       " min-width: 11.5ex !important;\n",
       " width: 11.5ex !important;\n",
       "}\n",
       "div.cell.text_cell.rendered .prompt {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 9.5pt !important;\n",
       " font-weight: normal;\n",
       " color: #586e75 !important;\n",
       " text-align: right !important;\n",
       " min-width: 14.5ex !important;\n",
       " width: 14.5ex !important;\n",
       " background-color: #073642;\n",
       " border-right: 2px solid rgba(30,67,77,.5);\n",
       " border-left: 4px solid #073642;\n",
       "}\n",
       "div.cell.text_cell.unrendered .prompt {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 9.5pt !important;\n",
       " font-weight: normal;\n",
       " color: #586e75 !important;\n",
       " text-align: right !important;\n",
       " min-width: 14.5ex !important;\n",
       " width: 14.5ex !important;\n",
       " border-right: 2px solid rgba(30,67,77,.5);\n",
       " border-left: 4px solid #073642;\n",
       " background-color: #073642;\n",
       "}\n",
       "div.cell.text_cell.rendered .prompt {\n",
       " border-right: 2px solid rgba(30,67,77,.5);\n",
       "}\n",
       "div.cell.text_cell.rendered.selected .prompt {\n",
       " top: 0;\n",
       " border-left: 4px solid #b58900;\n",
       " border-right: 2px solid rgba(30,67,77,.5);\n",
       "}\n",
       "div.text_cell.unrendered.selected .prompt,\n",
       "div.text_cell.rendered.selected .prompt {\n",
       " top: 0;\n",
       " background: #073642;\n",
       " border-left: 4px solid #a38012;\n",
       " border-right: 2px solid rgba(30,67,77,.5);\n",
       "}\n",
       "div.rendered_html code {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt;\n",
       " padding-top: 3px;\n",
       " padding-left: 2px;\n",
       " color: #586e75;\n",
       " background: #052730;\n",
       " background-color: #052730;\n",
       "}\n",
       "pre,\n",
       "code,\n",
       "kbd,\n",
       "samp {\n",
       " white-space: pre-wrap;\n",
       "}\n",
       ".well code,\n",
       "code {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt !important;\n",
       " line-height: 170% !important;\n",
       " color: #586e75;\n",
       " background: #052730;\n",
       " background-color: #052730;\n",
       " border-color: #052730;\n",
       "}\n",
       "kbd {\n",
       " padding: 1px;\n",
       " font-size: 11pt;\n",
       " font-weight: 800;\n",
       " color: #586e75;\n",
       " background-color: transparent !important;\n",
       " border: 0;\n",
       " box-shadow: none;\n",
       "}\n",
       "pre {\n",
       " display: block;\n",
       " padding: 8.5px;\n",
       " margin: 0 0 9px;\n",
       " font-size: 12.0pt;\n",
       " line-height: 1.42857143;\n",
       " color: #586e75;\n",
       " background-color: #052730;\n",
       " border: 1px solid #052730;\n",
       " border-radius: 2px;\n",
       "}\n",
       "div.rendered_html {\n",
       " color: #586e75;\n",
       "}\n",
       ".rendered_html * + ul {\n",
       " margin-top: .4em;\n",
       " margin-bottom: .3em;\n",
       "}\n",
       ".rendered_html * + p {\n",
       " margin-top: .5em;\n",
       " margin-bottom: .5em;\n",
       "}\n",
       "div.rendered_html pre {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt !important;\n",
       " line-height: 170% !important;\n",
       " color: #586e75 !important;\n",
       " background: #052730;\n",
       " background-color: #052730;\n",
       " max-width: 80%;\n",
       " border-radius: 0px;\n",
       " border-left: 3px solid #052730;\n",
       " max-width: 80%;\n",
       " border-radius: 0px;\n",
       " padding-left: 5px;\n",
       " margin-left: 6px;\n",
       "}\n",
       "div.text_cell_render pre,\n",
       "div.text_cell_render code {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt !important;\n",
       " line-height: 170% !important;\n",
       " color: #586e75;\n",
       " background: #002b36;\n",
       " background-color: #002b36;\n",
       " max-width: 80%;\n",
       " border-radius: 0px;\n",
       " border-left: none;\n",
       "}\n",
       "div.text_cell_render pre {\n",
       " border-left: 3px solid #084552 !important;\n",
       " max-width: 80%;\n",
       " border-radius: 0px;\n",
       " padding-left: 5px;\n",
       " margin-left: 6px;\n",
       "}\n",
       "div.text_cell_render h1,\n",
       "div.rendered_html h1,\n",
       "div.text_cell_render h2,\n",
       "div.rendered_html h2,\n",
       "div.text_cell_render h3,\n",
       "div.rendered_html h3,\n",
       "div.text_cell_render h4,\n",
       "div.rendered_html h4,\n",
       "div.text_cell_render h5,\n",
       "div.rendered_html h5 {\n",
       " font-family: sans-serif;\n",
       " margin: 0.4em .2em .3em .2em !important;\n",
       "}\n",
       ".rendered_html h1:first-child,\n",
       ".rendered_html h2:first-child,\n",
       ".rendered_html h3:first-child,\n",
       ".rendered_html h4:first-child,\n",
       ".rendered_html h5:first-child,\n",
       ".rendered_html h6:first-child {\n",
       " margin-top: 0.2em !important;\n",
       " margin-bottom: 0.2em !important;\n",
       "}\n",
       ".rendered_html h1,\n",
       ".text_cell_render h1 {\n",
       " color: #b58900 !important;\n",
       " font-size: 200%;\n",
       " text-align: left;\n",
       " font-style: normal;\n",
       " font-weight: normal;\n",
       "}\n",
       ".rendered_html h2,\n",
       ".text_cell_render h2 {\n",
       " color: #b58900 !important;\n",
       " font-size: 170%;\n",
       " font-style: normal;\n",
       " font-weight: normal;\n",
       "}\n",
       ".rendered_html h3,\n",
       ".text_cell_render h3 {\n",
       " color: #b58900 !important;\n",
       " font-size: 140%;\n",
       " font-style: normal;\n",
       " font-weight: normal;\n",
       "}\n",
       ".rendered_html h4,\n",
       ".text_cell_render h4 {\n",
       " color: #b58900 !important;\n",
       " font-size: 110%;\n",
       " font-style: normal;\n",
       " font-weight: normal;\n",
       "}\n",
       ".rendered_html h5,\n",
       ".text_cell_render h5 {\n",
       " color: #b58900 !important;\n",
       " font-size: 100%;\n",
       " font-style: normal;\n",
       " font-weight: normal;\n",
       "}\n",
       "hr {\n",
       " margin-top: 8px;\n",
       " margin-bottom: 10px;\n",
       " border: 0;\n",
       " border-top: 1px solid #b58900;\n",
       "}\n",
       ".rendered_html hr {\n",
       " color: #b58900;\n",
       " background-color: #b58900;\n",
       " margin-right: 2em;\n",
       "}\n",
       "#complete > select > option:hover {\n",
       " background: rgba(30,67,77,.3);\n",
       " background-color: rgba(30,67,77,.3);\n",
       "}\n",
       "div#_vivaldi-spatnav-focus-indicator._vivaldi-spatnav-focus-indicator {\n",
       " position: absolute;\n",
       " z-index: 9999999999;\n",
       " top: 0px;\n",
       " left: 0px;\n",
       " box-shadow: none;\n",
       " pointer-events: none;\n",
       " border-radius: 2px;\n",
       "}\n",
       ".rendered_html tr,\n",
       ".rendered_html th,\n",
       ".rendered_html td {\n",
       " text-align: left;\n",
       " vertical-align: middle;\n",
       " padding: 0.42em 0.47em;\n",
       " line-height: normal;\n",
       " white-space: normal;\n",
       " max-width: none;\n",
       " border: none;\n",
       "}\n",
       ".rendered_html td {\n",
       " font-family: sans-serif !important;\n",
       " font-size: 9.3pt;\n",
       "}\n",
       ".rendered_html table {\n",
       " font-family: sans-serif !important;\n",
       " margin-left: 8px;\n",
       " margin-right: auto;\n",
       " border: none;\n",
       " border-collapse: collapse;\n",
       " border-spacing: 0;\n",
       " color: #586e75;\n",
       " table-layout: fixed;\n",
       "}\n",
       ".rendered_html thead {\n",
       " font-family: sans-serif !important;\n",
       " font-size: 10.3pt !important;\n",
       " background: #001f27;\n",
       " color: #93a1a1;\n",
       " border-bottom: 1px solid #001f27;\n",
       " vertical-align: bottom;\n",
       "}\n",
       ".rendered_html tbody tr:nth-child(odd) {\n",
       " background: #002b36;\n",
       "}\n",
       ".rendered_html tbody tr {\n",
       " background: #001f27;\n",
       "}\n",
       ".rendered_html tbody tr:hover:nth-child(odd) {\n",
       " background: #002731;\n",
       "}\n",
       ".rendered_html tbody tr:hover {\n",
       " background: #001b22;\n",
       "}\n",
       ".rendered_html * + table {\n",
       " margin-top: .05em;\n",
       "}\n",
       "div.widget-area {\n",
       " background-color: #002b36;\n",
       " background: #002b36;\n",
       " color: #586e75;\n",
       "}\n",
       "div.widget-area a {\n",
       " font-family: sans-serif;\n",
       " font-size: 12.0pt;\n",
       " font-weight: normal;\n",
       " font-style: normal;\n",
       " color: #586e75;\n",
       " text-shadow: none !important;\n",
       "}\n",
       "div.widget-area a:hover,\n",
       "div.widget-area a:focus {\n",
       " font-family: sans-serif;\n",
       " font-size: 12.0pt;\n",
       " font-weight: normal;\n",
       " font-style: normal;\n",
       " color: #839496;\n",
       " background: rgba(30,67,77,.3);\n",
       " background-color: rgba(30,67,77,.3);\n",
       " border-color: transparent;\n",
       " background-image: none;\n",
       " text-shadow: none !important;\n",
       "}\n",
       "div.widget_item.btn-group > button.btn.btn-default.widget-combo-btn,\n",
       "div.widget_item.btn-group > button.btn.btn-default.widget-combo-btn:hover {\n",
       " background: #00232c;\n",
       " background-color: #00232c;\n",
       " border: 2px solid #00232c !important;\n",
       " font-size: inherit;\n",
       " z-index: 0;\n",
       "}\n",
       "div.jupyter-widgets.widget-hprogress.widget-hbox {\n",
       " display: inline-table !important;\n",
       " width: 38% !important;\n",
       " margin-left: 10px;\n",
       "}\n",
       "div.jupyter-widgets.widget-hprogress.widget-hbox .widget-label,\n",
       "div.widget-hbox .widget-label,\n",
       ".widget-hbox .widget-label,\n",
       ".widget-inline-hbox .widget-label,\n",
       "div.widget-label {\n",
       " text-align: -webkit-auto !important;\n",
       " margin-left: 15px !important;\n",
       " max-width: 240px !important;\n",
       " min-width: 100px !important;\n",
       " vertical-align: text-top !important;\n",
       " color: #586e75 !important;\n",
       " font-size: 14px !important;\n",
       "}\n",
       ".widget-hprogress .progress {\n",
       " flex-grow: 1;\n",
       " height: 20px;\n",
       " margin-top: auto;\n",
       " margin-left: 12px;\n",
       " margin-bottom: auto;\n",
       " width: 300px;\n",
       "}\n",
       ".progress {\n",
       " overflow: hidden;\n",
       " height: 22px;\n",
       " margin-bottom: 10px;\n",
       " padding-left: 10px;\n",
       " background-color: #d6d6d6 !important;\n",
       " border-radius: 2px;\n",
       " -webkit-box-shadow: none;\n",
       " box-shadow: none;\n",
       " z-index: 10;\n",
       "}\n",
       ".progress-bar-danger {\n",
       " background-color: #e16256 !important;\n",
       "}\n",
       ".progress-bar-info {\n",
       " background-color: #3498db !important;\n",
       "}\n",
       ".progress-bar-warning {\n",
       " background-color: #ff914d !important;\n",
       "}\n",
       ".progress-bar-success {\n",
       " background-color: #83a83b !important;\n",
       "}\n",
       ".widget-select select {\n",
       " margin-left: 12px;\n",
       "}\n",
       ".rendered_html :link {\n",
       " font-family: sans-serif;\n",
       " font-size: 100%;\n",
       " color: #586e75;\n",
       " text-decoration: underline;\n",
       "}\n",
       ".rendered_html :visited,\n",
       ".rendered_html :visited:active,\n",
       ".rendered_html :visited:focus {\n",
       " color: #66767b;\n",
       "}\n",
       ".rendered_html :visited:hover,\n",
       ".rendered_html :link:hover {\n",
       " font-family: sans-serif;\n",
       " font-size: 100%;\n",
       " color: #3a5e6a;\n",
       "}\n",
       "div.cell.text_cell a.anchor-link:link {\n",
       " font-size: inherit;\n",
       " text-decoration: none;\n",
       " padding: 0px 20px;\n",
       " visibility: none;\n",
       " color: rgba(0,0,0,.32);\n",
       "}\n",
       "div.cell.text_cell a.anchor-link:link:hover {\n",
       " font-size: inherit;\n",
       " color: #de6d25;\n",
       "}\n",
       ".navbar-text {\n",
       " margin-top: 4px;\n",
       " margin-bottom: 0px;\n",
       "}\n",
       "#clusters > a {\n",
       " color: #268bd2;\n",
       " text-decoration: underline;\n",
       " cursor: auto;\n",
       "}\n",
       "#clusters > a:hover {\n",
       " color: #268bd2;\n",
       " text-decoration: underline;\n",
       " cursor: auto;\n",
       "}\n",
       "#nbextensions-configurator-container > div.row.container-fluid.nbext-selector > h3 {\n",
       " font-size: 17px;\n",
       " margin-top: 5px;\n",
       " margin-bottom: 8px;\n",
       " height: 24px;\n",
       " padding: 4px 0 4px 0;\n",
       "}\n",
       "div#nbextensions-configurator-container.container,\n",
       "#nbextensions-configurator-container.container {\n",
       " width: 100%;\n",
       " margin-right: auto;\n",
       " margin-left: auto;\n",
       "}\n",
       "div.nbext-selector > nav > .nav > li > a {\n",
       " font-family: sans-serif;\n",
       " font-size: 10.5pt;\n",
       " padding: 2px 5px;\n",
       "}\n",
       "div.nbext-selector > nav > .nav > li > a:hover {\n",
       " background: transparent;\n",
       "}\n",
       "div.nbext-selector > nav > .nav > li:hover {\n",
       " background-color: rgba(30,67,77,.3) !important;\n",
       " background: rgba(30,67,77,.3) !important;\n",
       "}\n",
       "div.nbext-selector > nav > .nav > li.active:hover {\n",
       " background: transparent !important;\n",
       " background-color: transparent !important;\n",
       "}\n",
       ".nav-pills > li.active > a,\n",
       ".nav-pills > li.active > a:active,\n",
       ".nav-pills > li.active > a:hover,\n",
       ".nav-pills > li.active > a:focus {\n",
       " color: #b58900;\n",
       " background-color: rgba(30,67,77,.3) !important;\n",
       " background: rgba(30,67,77,.3) !important;\n",
       " -webkit-backface-visibility: hidden;\n",
       " -webkit-font-smoothing: subpixel-antialiased !important;\n",
       "}\n",
       "div.nbext-readme > .nbext-readme-contents > .rendered_html {\n",
       " font-family: sans-serif;\n",
       " font-size: 11.5pt;\n",
       " line-height: 145%;\n",
       " padding: 1em 1em;\n",
       " color: #586e75;\n",
       " background-color: #073642;\n",
       " -webkit-box-shadow: none;\n",
       " -moz-box-shadow: none;\n",
       " box-shadow: none;\n",
       "}\n",
       ".nbext-icon,\n",
       ".nbext-desc,\n",
       ".nbext-compat-div,\n",
       ".nbext-enable-btns,\n",
       ".nbext-params {\n",
       " margin-bottom: 8px;\n",
       " font-size: 11.5pt;\n",
       "}\n",
       "div.nbext-readme > .nbext-readme-contents {\n",
       " padding: 0;\n",
       " overflow-y: hidden;\n",
       "}\n",
       "div.nbext-readme > .nbext-readme-contents:not(:empty) {\n",
       " margin-top: 0.5em;\n",
       " margin-bottom: 2em;\n",
       " border: none;\n",
       " border-top-color: rgba(30,67,77,.5);\n",
       "}\n",
       ".nbext-showhide-incompat {\n",
       " padding-bottom: 0.5em;\n",
       " color: #93a1a1;\n",
       " font-size: 10.5pt;\n",
       "}\n",
       ".nbext-filter-menu.dropdown-menu > li > a:hover,\n",
       ".nbext-filter-menu.dropdown-menu > li > a:focus,\n",
       ".nbext-filter-menu.dropdown-menu > li > a.ui-state-focus {\n",
       " color: #839496 !important;\n",
       " background-color: rgba(30,67,77,.3) !important;\n",
       " background: rgba(30,67,77,.3) !important;\n",
       " border-color: rgba(30,67,77,.3) !important;\n",
       "}\n",
       ".nbext-filter-input-wrap > .nbext-filter-input-subwrap,\n",
       ".nbext-filter-input-wrap > .nbext-filter-input-subwrap > input {\n",
       " border: none;\n",
       " outline: none;\n",
       " background-color: transparent;\n",
       " padding: 0;\n",
       " vertical-align: middle;\n",
       " margin-top: -2px;\n",
       "}\n",
       "span.rendered_html code {\n",
       " background-color: transparent;\n",
       " color: #586e75;\n",
       "}\n",
       "#nbextensions-configurator-container > div.row.container-fluid.nbext-selector {\n",
       " padding-left: 0px;\n",
       " padding-right: 0px;\n",
       "}\n",
       ".nbext-filter-menu {\n",
       " max-height: 55vh !important;\n",
       " overflow-y: auto;\n",
       " outline: none;\n",
       " border: none;\n",
       "}\n",
       ".nbext-filter-menu:hover {\n",
       " border: none;\n",
       "}\n",
       ".alert-warning {\n",
       " background-color: #073642;\n",
       " border-color: #073642;\n",
       " color: #586e75;\n",
       "}\n",
       ".notification_widget.danger {\n",
       " color: #ffffff;\n",
       " background-color: #e16256;\n",
       " border-color: #e16256;\n",
       " padding-right: 5px;\n",
       "}\n",
       "#nbextensions-configurator-container > div.nbext-buttons.tree-buttons.no-padding.pull-right > span > button {\n",
       " border: none !important;\n",
       "}\n",
       "button#refresh_running_list {\n",
       " border: none !important;\n",
       "}\n",
       "mark,\n",
       ".mark {\n",
       " background-color: #073642;\n",
       " color: #586e75;\n",
       " padding: .15em;\n",
       "}\n",
       "a.text-warning,\n",
       "a.text-warning:hover {\n",
       " color: #586e75;\n",
       "}\n",
       "a.text-warning.bg-warning {\n",
       " background-color: #002b36;\n",
       "}\n",
       "span.bg-success.text-success {\n",
       " background-color: transparent;\n",
       " color: #859900;\n",
       "}\n",
       "span.bg-danger.text-danger {\n",
       " background-color: #002b36;\n",
       " color: #dc322f;\n",
       "}\n",
       ".has-success .input-group-addon {\n",
       " color: #859900;\n",
       " border-color: transparent;\n",
       " background: inherit;\n",
       " background-color: rgba(83,180,115,.10);\n",
       "}\n",
       ".has-success .form-control {\n",
       " border-color: #859900;\n",
       " -webkit-box-shadow: inset 0 1px 1px rgba(0,0,0,0.025);\n",
       " box-shadow: inset 0 1px 1px rgba(0,0,0,0.025);\n",
       "}\n",
       ".has-error .input-group-addon {\n",
       " color: #dc322f;\n",
       " border-color: transparent;\n",
       " background: inherit;\n",
       " background-color: rgba(192,57,67,.10);\n",
       "}\n",
       ".has-error .form-control {\n",
       " border-color: #dc322f;\n",
       " -webkit-box-shadow: inset 0 1px 1px rgba(0,0,0,0.025);\n",
       " box-shadow: inset 0 1px 1px rgba(0,0,0,0.025);\n",
       "}\n",
       ".kse-input-group-pretty > kbd {\n",
       " font-family: monospace, monospace;\n",
       " color: #586e75;\n",
       " font-weight: normal;\n",
       " background: transparent;\n",
       "}\n",
       ".kse-input-group-pretty > kbd {\n",
       " font-family: monospace, monospace;\n",
       " color: #586e75;\n",
       " font-weight: normal;\n",
       " background: transparent;\n",
       "}\n",
       "div.nbext-enable-btns .btn[disabled],\n",
       "div.nbext-enable-btns .btn[disabled]:hover,\n",
       ".btn-default.disabled,\n",
       ".btn-default[disabled] {\n",
       " background: #07323d;\n",
       " background-color: #07323d;\n",
       " color: #51666c;\n",
       "}\n",
       "label#Keyword-Filter {\n",
       " display: none;\n",
       "}\n",
       ".input-group .nbext-list-btn-add,\n",
       ".input-group-btn:last-child > .btn-group > .btn {\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " border-color: #002731;\n",
       " border: 2px solid #002731;\n",
       "}\n",
       ".input-group .nbext-list-btn-add:hover,\n",
       ".input-group-btn:last-child > .btn-group > .btn:hover {\n",
       " background: #001f27;\n",
       " background-color: #001f27;\n",
       " border-color: #001f27;\n",
       " border: 2px solid #001f27;\n",
       "}\n",
       "#notebook-container > div.cell.code_cell.rendered.selected > div.widget-area > div.widget-subarea > div > div.widget_item.btn-group > button.btn.btn-default.dropdown-toggle.widget-combo-carrot-btn {\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " border-color: #002731;\n",
       "}\n",
       "#notebook-container > div.cell.code_cell.rendered.selected > div.widget-area > div.widget-subarea > div > div.widget_item.btn-group > button.btn.btn-default.dropdown-toggle.widget-combo-carrot-btn:hover {\n",
       " background: #001f27;\n",
       " background-color: #001f27;\n",
       " border-color: #001f27;\n",
       "}\n",
       ".ui-widget-content {\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border: 2px solid #073642;\n",
       " color: #586e75;\n",
       "}\n",
       "div.collapsible_headings_toggle {\n",
       " color: rgba(30,67,77,.5) !important;\n",
       "}\n",
       "div.collapsible_headings_toggle:hover {\n",
       " color: #586e75 !important;\n",
       "}\n",
       ".collapsible_headings_toggle .h1,\n",
       ".collapsible_headings_toggle .h2,\n",
       ".collapsible_headings_toggle .h3,\n",
       ".collapsible_headings_toggle .h4,\n",
       ".collapsible_headings_toggle .h5,\n",
       ".collapsible_headings_toggle .h6 {\n",
       " margin: 0.3em .4em 0em 0em !important;\n",
       " line-height: 1.2 !important;\n",
       "}\n",
       "div.collapsible_headings_toggle .fa-caret-down:before,\n",
       "div.collapsible_headings_toggle .fa-caret-right:before {\n",
       " font-size: xx-large;\n",
       " transition: transform 1000ms;\n",
       " transform: none !important;\n",
       "}\n",
       ".collapsible_headings_collapsed.collapsible_headings_ellipsis .rendered_html h1:after,\n",
       ".collapsible_headings_collapsed.collapsible_headings_ellipsis .rendered_html h2:after,\n",
       ".collapsible_headings_collapsed.collapsible_headings_ellipsis .rendered_html h3:after,\n",
       ".collapsible_headings_collapsed.collapsible_headings_ellipsis .rendered_html h4:after,\n",
       ".collapsible_headings_collapsed.collapsible_headings_ellipsis .rendered_html h5:after,\n",
       ".collapsible_headings_collapsed.collapsible_headings_ellipsis .rendered_html h6:after {\n",
       " position: absolute;\n",
       " right: 0;\n",
       " bottom: 20% !important;\n",
       " content: \"[\\002026]\";\n",
       " color: rgba(30,67,77,.5) !important;\n",
       " padding: 0.5em 0em 0em 0em !important;\n",
       "}\n",
       ".collapsible_headings_ellipsis .rendered_html h1,\n",
       ".collapsible_headings_ellipsis .rendered_html h2,\n",
       ".collapsible_headings_ellipsis .rendered_html h3,\n",
       ".collapsible_headings_ellipsis .rendered_html h4,\n",
       ".collapsible_headings_ellipsis .rendered_html h5,\n",
       ".collapsible_headings_ellipsis .rendered_html h6,\n",
       ".collapsible_headings_toggle .fa {\n",
       " transition: transform 1000ms !important;\n",
       " -webkit-transform: inherit !important;\n",
       " -moz-transform: inherit !important;\n",
       " -ms-transform: inherit !important;\n",
       " -o-transform: inherit !important;\n",
       " transform: inherit !important;\n",
       " padding-right: 0px !important;\n",
       "}\n",
       "#toc-wrapper {\n",
       " z-index: 90;\n",
       " position: fixed !important;\n",
       " display: flex;\n",
       " flex-direction: column;\n",
       " overflow: hidden;\n",
       " padding: 10px;\n",
       " border-style: solid;\n",
       " border-width: thin;\n",
       " border-right-width: medium !important;\n",
       " background-color: #002b36 !important;\n",
       "}\n",
       "#toc-wrapper.ui-draggable.ui-resizable.sidebar-wrapper {\n",
       " border-color: rgba(30,67,77,.3) !important;\n",
       "}\n",
       "#toc a,\n",
       "#navigate_menu a,\n",
       ".toc {\n",
       " color: #586e75 !important;\n",
       " font-size: 11pt !important;\n",
       "}\n",
       "#toc li > span:hover {\n",
       " background-color: rgba(30,67,77,.3) !important;\n",
       "}\n",
       "#toc a:hover,\n",
       "#navigate_menu a:hover,\n",
       ".toc {\n",
       " color: #b58900 !important;\n",
       " font-size: 11pt !important;\n",
       "}\n",
       "#toc-wrapper .toc-item-num {\n",
       " color: #586e75 !important;\n",
       " font-size: 11pt !important;\n",
       "}\n",
       "input.raw_input {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt !important;\n",
       " color: #586e75;\n",
       " background-color: #052730;\n",
       " border-color: #05232b;\n",
       " background: #05232b;\n",
       " width: auto;\n",
       " vertical-align: baseline;\n",
       " padding: 0em 0.25em;\n",
       " margin: 0em 0.25em;\n",
       " -webkit-box-shadow: none;\n",
       " box-shadow: none;\n",
       "}\n",
       "audio,\n",
       "video {\n",
       " display: inline;\n",
       " vertical-align: middle;\n",
       " align-content: center;\n",
       " margin-left: 20%;\n",
       "}\n",
       ".cmd-palette .modal-body {\n",
       " padding: 0px;\n",
       " margin: 0px;\n",
       "}\n",
       ".cmd-palette form {\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       "}\n",
       ".typeahead-field input:last-child,\n",
       ".typeahead-hint {\n",
       " background: #002731;\n",
       " background-color: #002731;\n",
       " z-index: 1;\n",
       "}\n",
       ".typeahead-field input {\n",
       " font-family: sans-serif;\n",
       " color: #586e75;\n",
       " border: none;\n",
       " font-size: 28pt;\n",
       " display: inline-block;\n",
       " line-height: inherit;\n",
       " padding: 3px 10px;\n",
       " height: 70px;\n",
       "}\n",
       ".typeahead-select {\n",
       " background-color: #002731;\n",
       "}\n",
       "body > div.modal.cmd-palette.typeahead-field {\n",
       " display: table;\n",
       " border-collapse: separate;\n",
       " background-color: #073642;\n",
       "}\n",
       ".typeahead-container button {\n",
       " font-family: sans-serif;\n",
       " font-size: 28pt;\n",
       " background-color: #002731;\n",
       " border: none;\n",
       " display: inline-block;\n",
       " line-height: inherit;\n",
       " padding: 3px 10px;\n",
       " height: 70px;\n",
       "}\n",
       ".typeahead-search-icon {\n",
       " min-width: 40px;\n",
       " min-height: 55px;\n",
       " display: block;\n",
       " vertical-align: middle;\n",
       " text-align: center;\n",
       "}\n",
       ".typeahead-container button:focus,\n",
       ".typeahead-container button:hover {\n",
       " color: #839496;\n",
       " background-color: #001f27;\n",
       " border-color: #083e4b;\n",
       "}\n",
       ".typeahead-list > li.typeahead-group.active > a,\n",
       ".typeahead-list > li.typeahead-group > a,\n",
       ".typeahead-list > li.typeahead-group > a:focus,\n",
       ".typeahead-list > li.typeahead-group > a:hover {\n",
       " display: none;\n",
       "}\n",
       ".typeahead-dropdown > li > a,\n",
       ".typeahead-list > li > a {\n",
       " color: #586e75;\n",
       " text-decoration: none;\n",
       "}\n",
       ".typeahead-dropdown,\n",
       ".typeahead-list {\n",
       " font-family: sans-serif;\n",
       " font-size: 13pt;\n",
       " color: #586e75;\n",
       " background-color: #084150;\n",
       " border: none;\n",
       " background-clip: padding-box;\n",
       " margin-top: 0px;\n",
       " padding: 3px 2px 3px 0px;\n",
       " line-height: 1.7;\n",
       "}\n",
       ".typeahead-dropdown > li.active > a,\n",
       ".typeahead-dropdown > li > a:focus,\n",
       ".typeahead-dropdown > li > a:hover,\n",
       ".typeahead-list > li.active > a,\n",
       ".typeahead-list > li > a:focus,\n",
       ".typeahead-list > li > a:hover {\n",
       " color: #839496;\n",
       " background-color: #073642;\n",
       " border-color: #073642;\n",
       "}\n",
       ".command-shortcut:before {\n",
       " content: \"(command)\";\n",
       " padding-right: 3px;\n",
       " color: #586e75;\n",
       "}\n",
       ".edit-shortcut:before {\n",
       " content: \"(edit)\";\n",
       " padding-right: 3px;\n",
       " color: #586e75;\n",
       "}\n",
       "ul.typeahead-list i {\n",
       " margin-left: 1px;\n",
       " width: 18px;\n",
       " margin-right: 10px;\n",
       "}\n",
       "ul.typeahead-list {\n",
       " max-height: 50vh;\n",
       " overflow: auto;\n",
       "}\n",
       ".typeahead-list > li {\n",
       " position: relative;\n",
       " border: none;\n",
       "}\n",
       "div.input.typeahead-hint,\n",
       "input.typeahead-hint,\n",
       "body > div.modal.cmd-palette.in > div > div > div > form > div > div.typeahead-field > span.typeahead-query > input.typeahead-hint {\n",
       " color: #586e75 !important;\n",
       " background-color: transparent;\n",
       " padding: 3px 10px;\n",
       "}\n",
       ".typeahead-dropdown > li > a,\n",
       ".typeahead-list > li > a {\n",
       " display: block;\n",
       " padding: 5px;\n",
       " clear: both;\n",
       " font-weight: 400;\n",
       " line-height: 1.7;\n",
       " border: 1px solid #084150;\n",
       " border-bottom-color: rgba(30,67,77,.5);\n",
       "}\n",
       "body > div.modal.cmd-palette.in > div {\n",
       " min-width: 750px;\n",
       " margin: 150px auto;\n",
       "}\n",
       ".typeahead-container strong {\n",
       " font-weight: bolder;\n",
       " color: #586e75;\n",
       "}\n",
       "#find-and-replace #replace-preview .match,\n",
       "#find-and-replace #replace-preview .insert {\n",
       " color: #ffffff;\n",
       " background-color: #0b6073;\n",
       " border-color: #0b6073;\n",
       " border-style: solid;\n",
       " border-width: 1px;\n",
       " border-radius: 0px;\n",
       "}\n",
       "#find-and-replace #replace-preview .replace .match {\n",
       " background-color: #dc322f;\n",
       " border-color: #dc322f;\n",
       " border-radius: 0px;\n",
       "}\n",
       "#find-and-replace #replace-preview .replace .insert {\n",
       " background-color: #859900;\n",
       " border-color: #859900;\n",
       " border-radius: 0px;\n",
       "}\n",
       ".jupyter-dashboard-menu-item.selected::before {\n",
       " font-family: 'FontAwesome' !important;\n",
       " content: '\\f00c' !important;\n",
       " position: absolute !important;\n",
       " color: #586e75 !important;\n",
       " left: 0px !important;\n",
       " top: 13px !important;\n",
       " font-size: 12px !important;\n",
       "}\n",
       ".shortcut_key,\n",
       "span.shortcut_key {\n",
       " display: inline-block;\n",
       " width: 16ex;\n",
       " text-align: right;\n",
       " font-family: monospace;\n",
       "}\n",
       ".jupyter-keybindings {\n",
       " padding: 1px;\n",
       " line-height: 24px;\n",
       " border-bottom: 1px solid rgba(30,67,77,.3);\n",
       "}\n",
       ".jupyter-keybindings i {\n",
       " background: #052730;\n",
       " font-size: small;\n",
       " padding: 5px;\n",
       " margin-left: 7px;\n",
       "}\n",
       "div#short-key-bindings-intro.well,\n",
       ".well {\n",
       " background-color: #002731;\n",
       " border: 1px solid #002731;\n",
       " color: #586e75;\n",
       " border-radius: 2px;\n",
       " -webkit-box-shadow: none;\n",
       " box-shadow: none;\n",
       "}\n",
       "#texteditor-backdrop {\n",
       " background: #002b36;\n",
       " background-color: #002b36;\n",
       "}\n",
       "#texteditor-backdrop #texteditor-container .CodeMirror-gutter,\n",
       "#texteditor-backdrop #texteditor-container .CodeMirror-gutters {\n",
       " background: #062e39;\n",
       " background-color: #062e39;\n",
       " color: #657b83;\n",
       "}\n",
       ".edit_app #menubar .navbar {\n",
       " margin-bottom: 0px;\n",
       "}\n",
       "#texteditor-backdrop #texteditor-container {\n",
       " padding: 0px;\n",
       " background-color: #073642;\n",
       " box-shadow: none;\n",
       "}\n",
       ".terminal-app {\n",
       " background: #002b36;\n",
       "}\n",
       ".terminal-app > #header {\n",
       " background: #002b36;\n",
       "}\n",
       ".terminal-app .terminal {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt;\n",
       " line-height: 170%;\n",
       " color: #586e75;\n",
       " background: #073642;\n",
       " padding: 0.4em;\n",
       " border-radius: 2px;\n",
       " -webkit-box-shadow: none;\n",
       " box-shadow: none;\n",
       "}\n",
       ".terminal .xterm-viewport {\n",
       " background-color: #073642;\n",
       " color: #586e75;\n",
       " overflow-y: auto;\n",
       "}\n",
       ".terminal .xterm-color-0 {\n",
       " color: #586e75;\n",
       "}\n",
       ".terminal .xterm-color-1 {\n",
       " color: #d33682;\n",
       "}\n",
       ".terminal .xterm-color-2 {\n",
       " color: #859900;\n",
       "}\n",
       ".terminal .xterm-color-3 {\n",
       " color: #d33682;\n",
       "}\n",
       ".terminal .xterm-color-4 {\n",
       " color: #2aa198;\n",
       "}\n",
       ".terminal .xterm-color-5 {\n",
       " color: #2aa198;\n",
       "}\n",
       ".terminal .xterm-color-6 {\n",
       " color: #268bd2;\n",
       "}\n",
       ".terminal .xterm-color-7 {\n",
       " color: #268bd2;\n",
       "}\n",
       ".terminal .xterm-color-8 {\n",
       " color: #268bd2;\n",
       "}\n",
       ".terminal .xterm-color-9 {\n",
       " color: #2aa198;\n",
       "}\n",
       ".terminal .xterm-color-10 {\n",
       " color: #d33682;\n",
       "}\n",
       ".terminal .xterm-color-14 {\n",
       " color: #268bd2;\n",
       "}\n",
       ".terminal .xterm-bg-color-15 {\n",
       " background-color: #073642;\n",
       "}\n",
       ".terminal:not(.xterm-cursor-style-underline):not(.xterm-cursor-style-bar) .terminal-cursor {\n",
       " background-color: #586e75;\n",
       " color: #073642;\n",
       "}\n",
       ".terminal:not(.focus) .terminal-cursor {\n",
       " outline: 1px solid #586e75;\n",
       " outline-offset: -1px;\n",
       "}\n",
       ".celltoolbar {\n",
       " font-size: 100%;\n",
       " padding-top: 3px;\n",
       " border-color: transparent;\n",
       " border-bottom: thin solid rgba(30,67,77,.5);\n",
       " background: transparent;\n",
       "}\n",
       ".cell-tag,\n",
       ".tags-input input,\n",
       ".tags-input button {\n",
       " color: #586e75;\n",
       " background-color: #002b36;\n",
       " background-image: none;\n",
       " border: 1px solid #586e75;\n",
       " border-radius: 1px;\n",
       " box-shadow: none;\n",
       " width: inherit;\n",
       " font-size: inherit;\n",
       " height: 22px;\n",
       " line-height: 22px;\n",
       "}\n",
       "#notebook-container > div.cell.code_cell.rendered.selected > div.input > div.inner_cell > div.ctb_hideshow.ctb_show > div > div > button,\n",
       "#notebook-container > div.input > div.inner_cell > div.ctb_hideshow.ctb_show > div > div > button {\n",
       " font-size: 10pt;\n",
       " color: #586e75;\n",
       " background-color: #002b36;\n",
       " background-image: none;\n",
       " border: 1px solid #586e75;\n",
       " border-radius: 1px;\n",
       " box-shadow: none;\n",
       " width: inherit;\n",
       " font-size: inherit;\n",
       " height: 22px;\n",
       " line-height: 22px;\n",
       "}\n",
       "div#pager #pager-contents {\n",
       " background: #002b36 !important;\n",
       " background-color: #002b36 !important;\n",
       "}\n",
       "div#pager pre {\n",
       " color: #586e75 !important;\n",
       " background: #073642 !important;\n",
       " background-color: #073642 !important;\n",
       " padding: 0.4em;\n",
       "}\n",
       "div#pager .ui-resizable-handle {\n",
       " top: 0px;\n",
       " height: 8px;\n",
       " background: #586e75 !important;\n",
       " border-top: 1px solid #586e75;\n",
       " border-bottom: 1px solid #586e75;\n",
       "}\n",
       "div.CodeMirror,\n",
       "div.CodeMirror pre {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt;\n",
       " line-height: 170%;\n",
       " color: #586e75;\n",
       "}\n",
       "div.CodeMirror-lines {\n",
       " padding-bottom: .9em;\n",
       " padding-left: .5em;\n",
       " padding-right: 1.5em;\n",
       " padding-top: .7em;\n",
       "}\n",
       "span.ansiblack,\n",
       ".ansi-black-fg {\n",
       " color: #002b36;\n",
       "}\n",
       "span.ansiblue,\n",
       ".ansi-blue-fg,\n",
       ".ansi-blue-intense-fg {\n",
       " color: #268bd2;\n",
       "}\n",
       "span.ansigray,\n",
       ".ansi-gray-fg,\n",
       ".ansi-gray-intense-fg {\n",
       " color: #839496;\n",
       "}\n",
       "span.ansigreen,\n",
       ".ansi-green-fg {\n",
       " color: #859900;\n",
       "}\n",
       ".ansi-green-intense-fg {\n",
       " color: #839496;\n",
       "}\n",
       "span.ansipurple,\n",
       ".ansi-purple-fg,\n",
       ".ansi-purple-intense-fg {\n",
       " color: #6c71c4;\n",
       "}\n",
       "span.ansicyan,\n",
       ".ansi-cyan-fg,\n",
       ".ansi-cyan-intense-fg {\n",
       " color: #6c71c4;\n",
       "}\n",
       "span.ansiyellow,\n",
       ".ansi-yellow-fg,\n",
       ".ansi-yellow-intense-fg {\n",
       " color: #b58900;\n",
       "}\n",
       "span.ansired,\n",
       ".ansi-red-fg,\n",
       ".ansi-red-intense-fg {\n",
       " color: #dc322f;\n",
       "}\n",
       "div.output-stderr {\n",
       " background-color: #cb4b16;\n",
       "}\n",
       "div.output-stderr pre {\n",
       " color: #586e75;\n",
       "}\n",
       "div.js-error {\n",
       " color: #dc322f;\n",
       "}\n",
       ".ipython_tooltip {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt;\n",
       " line-height: 170%;\n",
       " border: 2px solid #03181d;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " border-radius: 2px;\n",
       " overflow-x: visible;\n",
       " overflow-y: visible;\n",
       " box-shadow: none;\n",
       " position: absolute;\n",
       " z-index: 1000;\n",
       "}\n",
       ".ipython_tooltip .tooltiptext pre {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt;\n",
       " line-height: 170%;\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " color: #586e75;\n",
       " overflow-x: visible;\n",
       " overflow-y: visible;\n",
       " max-width: 900px;\n",
       "}\n",
       "div#tooltip.ipython_tooltip {\n",
       " overflow-x: wrap;\n",
       " overflow-y: visible;\n",
       " max-width: 800px;\n",
       "}\n",
       "div.tooltiptext.bigtooltip {\n",
       " overflow-x: visible;\n",
       " overflow-y: scroll;\n",
       " height: 400px;\n",
       " max-width: 800px;\n",
       "}\n",
       ".cm-s-ipython.CodeMirror {\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt;\n",
       " background: #073642;\n",
       " color: #586e75;\n",
       " border-radius: 2px;\n",
       " font-style: normal;\n",
       " font-weight: normal;\n",
       "}\n",
       ".cm-s-ipython div.CodeMirror-selected {\n",
       " background: #062e39;\n",
       "}\n",
       ".CodeMirror-gutters {\n",
       " border: none;\n",
       " border-right: 1px solid #062e39 !important;\n",
       " background-color: #062e39 !important;\n",
       " background: #062e39 !important;\n",
       " border-radius: 0px;\n",
       " white-space: nowrap;\n",
       "}\n",
       ".cm-s-ipython .CodeMirror-gutters {\n",
       " background: #062e39;\n",
       " border: none;\n",
       " border-radius: 0px;\n",
       " width: 36px;\n",
       "}\n",
       ".cm-s-ipython .CodeMirror-linenumber {\n",
       " color: #657b83;\n",
       "}\n",
       ".CodeMirror-sizer {\n",
       " margin-left: 40px;\n",
       "}\n",
       ".CodeMirror-linenumber,\n",
       "div.CodeMirror-linenumber,\n",
       ".CodeMirror-gutter.CodeMirror-linenumberdiv.CodeMirror-gutter.CodeMirror-linenumber {\n",
       " padding-right: 1px;\n",
       " margin-left: 0px;\n",
       " margin: 0px;\n",
       " width: 26px !important;\n",
       " padding: 0px;\n",
       " text-align: right;\n",
       "}\n",
       ".CodeMirror-linenumber {\n",
       " color: #657b83;\n",
       "}\n",
       ".cm-s-ipython .CodeMirror-cursor {\n",
       " border-left: 2px solid #0095ff !important;\n",
       "}\n",
       ".cm-s-ipython span.cm-comment {\n",
       " color: #93a1a1;\n",
       " font-style: italic;\n",
       "}\n",
       ".cm-s-ipython span.cm-atom {\n",
       " color: #d33682;\n",
       "}\n",
       ".cm-s-ipython span.cm-number {\n",
       " color: #2aa198;\n",
       "}\n",
       ".cm-s-ipython span.cm-property {\n",
       " color: #586e75;\n",
       "}\n",
       ".cm-s-ipython span.cm-attribute {\n",
       " color: #586e75;\n",
       "}\n",
       ".cm-s-ipython span.cm-keyword {\n",
       " color: #859900;\n",
       " font-weight: normal;\n",
       "}\n",
       ".cm-s-ipython span.cm-string {\n",
       " color: #2aa198;\n",
       "}\n",
       ".cm-s-ipython span.cm-meta {\n",
       " color: #6c71c4;\n",
       "}\n",
       ".cm-s-ipython span.cm-operator {\n",
       " color: #d33682;\n",
       "}\n",
       ".cm-s-ipython span.cm-builtin {\n",
       " color: #d33682;\n",
       "}\n",
       ".cm-s-ipython span.cm-variable {\n",
       " color: #586e75;\n",
       "}\n",
       ".cm-s-ipython span.cm-variable-2 {\n",
       " color: #586e75;\n",
       "}\n",
       ".cm-s-ipython span.cm-variable-3 {\n",
       " color: #586e75;\n",
       "}\n",
       ".cm-s-ipython span.cm-def {\n",
       " color: #268bd2;\n",
       " font-weight: normal;\n",
       "}\n",
       ".cm-s-ipython span.cm-error {\n",
       " background: #073642;\n",
       "}\n",
       ".cm-s-ipython span.cm-tag {\n",
       " color: #268bd2;\n",
       "}\n",
       ".cm-s-ipython span.cm-link {\n",
       " color: #268bd2;\n",
       "}\n",
       ".cm-s-ipython span.cm-storage {\n",
       " color: #d33682;\n",
       "}\n",
       ".cm-s-ipython span.cm-entity {\n",
       " color: #268bd2;\n",
       "}\n",
       ".cm-s-ipython span.cm-quote {\n",
       " color: #2aa198;\n",
       "}\n",
       "div.CodeMirror span.CodeMirror-matchingbracket {\n",
       " color: #ffffff;\n",
       " font-weight: bold;\n",
       " background-color: #002b36;\n",
       "}\n",
       "div.CodeMirror span.CodeMirror-nonmatchingbracket {\n",
       " color: #ffffff;\n",
       " font-weight: bold;\n",
       " background: #dc322f !important;\n",
       "}\n",
       ".cm-header-1 {\n",
       " font-size: 215%;\n",
       "}\n",
       ".cm-header-2 {\n",
       " font-size: 180%;\n",
       "}\n",
       ".cm-header-3 {\n",
       " font-size: 150%;\n",
       "}\n",
       ".cm-header-4 {\n",
       " font-size: 120%;\n",
       "}\n",
       ".cm-header-5 {\n",
       " font-size: 100%;\n",
       "}\n",
       ".cm-s-default .cm-hr {\n",
       " color: #d33682;\n",
       "}\n",
       "div.cell.text_cell .cm-s-default .cm-header {\n",
       " font-family: sans-serif;\n",
       " font-weight: normal;\n",
       " color: #b58900 !important;\n",
       " margin-top: 0.3em !important;\n",
       " margin-bottom: 0.3em !important;\n",
       "}\n",
       "div.cell.text_cell .cm-s-default span.cm-variable-2 {\n",
       " color: #586e75 !important;\n",
       "}\n",
       "div.cell.text_cell .cm-s-default span.cm-variable-3 {\n",
       " color: #586e75 !important;\n",
       "}\n",
       ".cm-s-default span.cm-comment {\n",
       " color: #93a1a1 !important;\n",
       "}\n",
       ".cm-s-default .cm-tag {\n",
       " color: #586e75;\n",
       "}\n",
       ".cm-s-default .cm-builtin {\n",
       " color: #d33682;\n",
       "}\n",
       ".cm-s-default .cm-string {\n",
       " color: #2aa198;\n",
       "}\n",
       ".cm-s-default .cm-keyword {\n",
       " color: #859900;\n",
       "}\n",
       ".cm-s-default .cm-number {\n",
       " color: #2aa198;\n",
       "}\n",
       ".cm-s-default .cm-error {\n",
       " color: #d33682;\n",
       "}\n",
       ".cm-s-default .cm-link {\n",
       " color: #268bd2;\n",
       "}\n",
       ".cm-s-default .cm-atom {\n",
       " color: #2aa198;\n",
       "}\n",
       ".cm-s-default .cm-def {\n",
       " color: #268bd2;\n",
       "}\n",
       ".CodeMirror-cursor {\n",
       " border-left: 2px solid #0095ff !important;\n",
       " border-right: none;\n",
       " width: 0;\n",
       "}\n",
       ".cm-s-default div.CodeMirror-selected {\n",
       " background: #062e39;\n",
       "}\n",
       ".cm-s-default .cm-selected {\n",
       " background: #062e39;\n",
       "}\n",
       ".MathJax_Display,\n",
       ".MathJax {\n",
       " border: 0 !important;\n",
       " font-size: 100% !important;\n",
       " text-align: center !important;\n",
       " margin: 0em !important;\n",
       " line-height: 2.25 !important;\n",
       "}\n",
       ".MathJax:focus,\n",
       "body :focus .MathJax {\n",
       " display: inline-block !important;\n",
       "}\n",
       ".MathJax:focus,\n",
       "body :focus .MathJax {\n",
       " display: inline-block !important;\n",
       "}\n",
       ".completions {\n",
       " position: absolute;\n",
       " z-index: 110;\n",
       " overflow: hidden;\n",
       " border: medium solid #084552;\n",
       " box-shadow: none;\n",
       " line-height: 1;\n",
       "}\n",
       ".completions select {\n",
       " background: #073642;\n",
       " background-color: #073642;\n",
       " outline: none;\n",
       " border: none;\n",
       " padding: 0px;\n",
       " margin: 0px;\n",
       " margin-left: 2px;\n",
       " overflow: auto;\n",
       " font-family: monospace, monospace;\n",
       " font-size: 11pt;\n",
       " color: #586e75;\n",
       " width: auto;\n",
       "}\n",
       "div#maintoolbar {\n",
       " display: none !important;\n",
       "}\n",
       "#header-container {\n",
       " display: none !important;\n",
       "}\n",
       "\n",
       "<script>\n",
       "    MathJax.Hub.Config({\n",
       "        \"HTML-CSS\": {\n",
       "            /*preferredFont: \"TeX\",*/\n",
       "            /*availableFonts: [\"TeX\", \"STIX\"],*/\n",
       "            styles: {\n",
       "                scale: 100,\n",
       "                \".MathJax_Display\": {\n",
       "                    \"font-size\": \"100%\",\n",
       "                }\n",
       "            }\n",
       "        }\n",
       "    });\n",
       "</script>\n",
       "     </style>"
      ],
      "text/plain": [
       "<IPython.core.display.HTML object>"
      ]
     },
     "execution_count": 1,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from jupyterthemes.stylefx import set_nb_theme\n",
    "set_nb_theme('solarizedd')"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.6.8"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}