<!DOCTYPE html>
<html>
<head><meta charset="utf-8" />
-<title>Zipper</title><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.1.10/require.min.js"></script>
+
+<title>Zipper</title>
+
+<script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.1.10/require.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.0.3/jquery.min.js"></script>
+
+
<style type="text/css">
/*!
*
*:before,
*:after {
background: transparent !important;
- color: #000 !important;
box-shadow: none !important;
text-shadow: none !important;
}
*
*/
/*!
- * Font Awesome 4.2.0 by @davegandy - http://fontawesome.io - @fontawesome
+ * Font Awesome 4.7.0 by @davegandy - http://fontawesome.io - @fontawesome
* License - http://fontawesome.io/license (Font: SIL OFL 1.1, CSS: MIT License)
*/
/* FONT PATH
* -------------------------- */
@font-face {
font-family: 'FontAwesome';
- src: url('../components/font-awesome/fonts/fontawesome-webfont.eot?v=4.2.0');
- src: url('../components/font-awesome/fonts/fontawesome-webfont.eot?#iefix&v=4.2.0') format('embedded-opentype'), url('../components/font-awesome/fonts/fontawesome-webfont.woff?v=4.2.0') format('woff'), url('../components/font-awesome/fonts/fontawesome-webfont.ttf?v=4.2.0') format('truetype'), url('../components/font-awesome/fonts/fontawesome-webfont.svg?v=4.2.0#fontawesomeregular') format('svg');
+ src: url('../components/font-awesome/fonts/fontawesome-webfont.eot?v=4.7.0');
+ src: url('../components/font-awesome/fonts/fontawesome-webfont.eot?#iefix&v=4.7.0') format('embedded-opentype'), url('../components/font-awesome/fonts/fontawesome-webfont.woff2?v=4.7.0') format('woff2'), url('../components/font-awesome/fonts/fontawesome-webfont.woff?v=4.7.0') format('woff'), url('../components/font-awesome/fonts/fontawesome-webfont.ttf?v=4.7.0') format('truetype'), url('../components/font-awesome/fonts/fontawesome-webfont.svg?v=4.7.0#fontawesomeregular') format('svg');
font-weight: normal;
font-style: normal;
}
border: solid 0.08em #eee;
border-radius: .1em;
}
+.fa-pull-left {
+ float: left;
+}
+.fa-pull-right {
+ float: right;
+}
+.fa.fa-pull-left {
+ margin-right: .3em;
+}
+.fa.fa-pull-right {
+ margin-left: .3em;
+}
+/* Deprecated as of 4.4.0 */
.pull-right {
float: right;
}
-webkit-animation: fa-spin 2s infinite linear;
animation: fa-spin 2s infinite linear;
}
+.fa-pulse {
+ -webkit-animation: fa-spin 1s infinite steps(8);
+ animation: fa-spin 1s infinite steps(8);
+}
@-webkit-keyframes fa-spin {
0% {
-webkit-transform: rotate(0deg);
}
}
.fa-rotate-90 {
- filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=1);
+ -ms-filter: "progid:DXImageTransform.Microsoft.BasicImage(rotation=1)";
-webkit-transform: rotate(90deg);
-ms-transform: rotate(90deg);
transform: rotate(90deg);
}
.fa-rotate-180 {
- filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=2);
+ -ms-filter: "progid:DXImageTransform.Microsoft.BasicImage(rotation=2)";
-webkit-transform: rotate(180deg);
-ms-transform: rotate(180deg);
transform: rotate(180deg);
}
.fa-rotate-270 {
- filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=3);
+ -ms-filter: "progid:DXImageTransform.Microsoft.BasicImage(rotation=3)";
-webkit-transform: rotate(270deg);
-ms-transform: rotate(270deg);
transform: rotate(270deg);
}
.fa-flip-horizontal {
- filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=0, mirror=1);
+ -ms-filter: "progid:DXImageTransform.Microsoft.BasicImage(rotation=0, mirror=1)";
-webkit-transform: scale(-1, 1);
-ms-transform: scale(-1, 1);
transform: scale(-1, 1);
}
.fa-flip-vertical {
- filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=2, mirror=1);
+ -ms-filter: "progid:DXImageTransform.Microsoft.BasicImage(rotation=2, mirror=1)";
-webkit-transform: scale(1, -1);
-ms-transform: scale(1, -1);
transform: scale(1, -1);
.fa-twitter:before {
content: "\f099";
}
+.fa-facebook-f:before,
.fa-facebook:before {
content: "\f09a";
}
.fa-credit-card:before {
content: "\f09d";
}
+.fa-feed:before,
.fa-rss:before {
content: "\f09e";
}
.fa-male:before {
content: "\f183";
}
-.fa-gittip:before {
+.fa-gittip:before,
+.fa-gratipay:before {
content: "\f184";
}
.fa-sun-o:before {
.fa-digg:before {
content: "\f1a6";
}
-.fa-pied-piper:before {
+.fa-pied-piper-pp:before {
content: "\f1a7";
}
.fa-pied-piper-alt:before {
content: "\f1ce";
}
.fa-ra:before,
+.fa-resistance:before,
.fa-rebel:before {
content: "\f1d0";
}
.fa-git:before {
content: "\f1d3";
}
+.fa-y-combinator-square:before,
+.fa-yc-square:before,
.fa-hacker-news:before {
content: "\f1d4";
}
.fa-meanpath:before {
content: "\f20c";
}
+.fa-buysellads:before {
+ content: "\f20d";
+}
+.fa-connectdevelop:before {
+ content: "\f20e";
+}
+.fa-dashcube:before {
+ content: "\f210";
+}
+.fa-forumbee:before {
+ content: "\f211";
+}
+.fa-leanpub:before {
+ content: "\f212";
+}
+.fa-sellsy:before {
+ content: "\f213";
+}
+.fa-shirtsinbulk:before {
+ content: "\f214";
+}
+.fa-simplybuilt:before {
+ content: "\f215";
+}
+.fa-skyatlas:before {
+ content: "\f216";
+}
+.fa-cart-plus:before {
+ content: "\f217";
+}
+.fa-cart-arrow-down:before {
+ content: "\f218";
+}
+.fa-diamond:before {
+ content: "\f219";
+}
+.fa-ship:before {
+ content: "\f21a";
+}
+.fa-user-secret:before {
+ content: "\f21b";
+}
+.fa-motorcycle:before {
+ content: "\f21c";
+}
+.fa-street-view:before {
+ content: "\f21d";
+}
+.fa-heartbeat:before {
+ content: "\f21e";
+}
+.fa-venus:before {
+ content: "\f221";
+}
+.fa-mars:before {
+ content: "\f222";
+}
+.fa-mercury:before {
+ content: "\f223";
+}
+.fa-intersex:before,
+.fa-transgender:before {
+ content: "\f224";
+}
+.fa-transgender-alt:before {
+ content: "\f225";
+}
+.fa-venus-double:before {
+ content: "\f226";
+}
+.fa-mars-double:before {
+ content: "\f227";
+}
+.fa-venus-mars:before {
+ content: "\f228";
+}
+.fa-mars-stroke:before {
+ content: "\f229";
+}
+.fa-mars-stroke-v:before {
+ content: "\f22a";
+}
+.fa-mars-stroke-h:before {
+ content: "\f22b";
+}
+.fa-neuter:before {
+ content: "\f22c";
+}
+.fa-genderless:before {
+ content: "\f22d";
+}
+.fa-facebook-official:before {
+ content: "\f230";
+}
+.fa-pinterest-p:before {
+ content: "\f231";
+}
+.fa-whatsapp:before {
+ content: "\f232";
+}
+.fa-server:before {
+ content: "\f233";
+}
+.fa-user-plus:before {
+ content: "\f234";
+}
+.fa-user-times:before {
+ content: "\f235";
+}
+.fa-hotel:before,
+.fa-bed:before {
+ content: "\f236";
+}
+.fa-viacoin:before {
+ content: "\f237";
+}
+.fa-train:before {
+ content: "\f238";
+}
+.fa-subway:before {
+ content: "\f239";
+}
+.fa-medium:before {
+ content: "\f23a";
+}
+.fa-yc:before,
+.fa-y-combinator:before {
+ content: "\f23b";
+}
+.fa-optin-monster:before {
+ content: "\f23c";
+}
+.fa-opencart:before {
+ content: "\f23d";
+}
+.fa-expeditedssl:before {
+ content: "\f23e";
+}
+.fa-battery-4:before,
+.fa-battery:before,
+.fa-battery-full:before {
+ content: "\f240";
+}
+.fa-battery-3:before,
+.fa-battery-three-quarters:before {
+ content: "\f241";
+}
+.fa-battery-2:before,
+.fa-battery-half:before {
+ content: "\f242";
+}
+.fa-battery-1:before,
+.fa-battery-quarter:before {
+ content: "\f243";
+}
+.fa-battery-0:before,
+.fa-battery-empty:before {
+ content: "\f244";
+}
+.fa-mouse-pointer:before {
+ content: "\f245";
+}
+.fa-i-cursor:before {
+ content: "\f246";
+}
+.fa-object-group:before {
+ content: "\f247";
+}
+.fa-object-ungroup:before {
+ content: "\f248";
+}
+.fa-sticky-note:before {
+ content: "\f249";
+}
+.fa-sticky-note-o:before {
+ content: "\f24a";
+}
+.fa-cc-jcb:before {
+ content: "\f24b";
+}
+.fa-cc-diners-club:before {
+ content: "\f24c";
+}
+.fa-clone:before {
+ content: "\f24d";
+}
+.fa-balance-scale:before {
+ content: "\f24e";
+}
+.fa-hourglass-o:before {
+ content: "\f250";
+}
+.fa-hourglass-1:before,
+.fa-hourglass-start:before {
+ content: "\f251";
+}
+.fa-hourglass-2:before,
+.fa-hourglass-half:before {
+ content: "\f252";
+}
+.fa-hourglass-3:before,
+.fa-hourglass-end:before {
+ content: "\f253";
+}
+.fa-hourglass:before {
+ content: "\f254";
+}
+.fa-hand-grab-o:before,
+.fa-hand-rock-o:before {
+ content: "\f255";
+}
+.fa-hand-stop-o:before,
+.fa-hand-paper-o:before {
+ content: "\f256";
+}
+.fa-hand-scissors-o:before {
+ content: "\f257";
+}
+.fa-hand-lizard-o:before {
+ content: "\f258";
+}
+.fa-hand-spock-o:before {
+ content: "\f259";
+}
+.fa-hand-pointer-o:before {
+ content: "\f25a";
+}
+.fa-hand-peace-o:before {
+ content: "\f25b";
+}
+.fa-trademark:before {
+ content: "\f25c";
+}
+.fa-registered:before {
+ content: "\f25d";
+}
+.fa-creative-commons:before {
+ content: "\f25e";
+}
+.fa-gg:before {
+ content: "\f260";
+}
+.fa-gg-circle:before {
+ content: "\f261";
+}
+.fa-tripadvisor:before {
+ content: "\f262";
+}
+.fa-odnoklassniki:before {
+ content: "\f263";
+}
+.fa-odnoklassniki-square:before {
+ content: "\f264";
+}
+.fa-get-pocket:before {
+ content: "\f265";
+}
+.fa-wikipedia-w:before {
+ content: "\f266";
+}
+.fa-safari:before {
+ content: "\f267";
+}
+.fa-chrome:before {
+ content: "\f268";
+}
+.fa-firefox:before {
+ content: "\f269";
+}
+.fa-opera:before {
+ content: "\f26a";
+}
+.fa-internet-explorer:before {
+ content: "\f26b";
+}
+.fa-tv:before,
+.fa-television:before {
+ content: "\f26c";
+}
+.fa-contao:before {
+ content: "\f26d";
+}
+.fa-500px:before {
+ content: "\f26e";
+}
+.fa-amazon:before {
+ content: "\f270";
+}
+.fa-calendar-plus-o:before {
+ content: "\f271";
+}
+.fa-calendar-minus-o:before {
+ content: "\f272";
+}
+.fa-calendar-times-o:before {
+ content: "\f273";
+}
+.fa-calendar-check-o:before {
+ content: "\f274";
+}
+.fa-industry:before {
+ content: "\f275";
+}
+.fa-map-pin:before {
+ content: "\f276";
+}
+.fa-map-signs:before {
+ content: "\f277";
+}
+.fa-map-o:before {
+ content: "\f278";
+}
+.fa-map:before {
+ content: "\f279";
+}
+.fa-commenting:before {
+ content: "\f27a";
+}
+.fa-commenting-o:before {
+ content: "\f27b";
+}
+.fa-houzz:before {
+ content: "\f27c";
+}
+.fa-vimeo:before {
+ content: "\f27d";
+}
+.fa-black-tie:before {
+ content: "\f27e";
+}
+.fa-fonticons:before {
+ content: "\f280";
+}
+.fa-reddit-alien:before {
+ content: "\f281";
+}
+.fa-edge:before {
+ content: "\f282";
+}
+.fa-credit-card-alt:before {
+ content: "\f283";
+}
+.fa-codiepie:before {
+ content: "\f284";
+}
+.fa-modx:before {
+ content: "\f285";
+}
+.fa-fort-awesome:before {
+ content: "\f286";
+}
+.fa-usb:before {
+ content: "\f287";
+}
+.fa-product-hunt:before {
+ content: "\f288";
+}
+.fa-mixcloud:before {
+ content: "\f289";
+}
+.fa-scribd:before {
+ content: "\f28a";
+}
+.fa-pause-circle:before {
+ content: "\f28b";
+}
+.fa-pause-circle-o:before {
+ content: "\f28c";
+}
+.fa-stop-circle:before {
+ content: "\f28d";
+}
+.fa-stop-circle-o:before {
+ content: "\f28e";
+}
+.fa-shopping-bag:before {
+ content: "\f290";
+}
+.fa-shopping-basket:before {
+ content: "\f291";
+}
+.fa-hashtag:before {
+ content: "\f292";
+}
+.fa-bluetooth:before {
+ content: "\f293";
+}
+.fa-bluetooth-b:before {
+ content: "\f294";
+}
+.fa-percent:before {
+ content: "\f295";
+}
+.fa-gitlab:before {
+ content: "\f296";
+}
+.fa-wpbeginner:before {
+ content: "\f297";
+}
+.fa-wpforms:before {
+ content: "\f298";
+}
+.fa-envira:before {
+ content: "\f299";
+}
+.fa-universal-access:before {
+ content: "\f29a";
+}
+.fa-wheelchair-alt:before {
+ content: "\f29b";
+}
+.fa-question-circle-o:before {
+ content: "\f29c";
+}
+.fa-blind:before {
+ content: "\f29d";
+}
+.fa-audio-description:before {
+ content: "\f29e";
+}
+.fa-volume-control-phone:before {
+ content: "\f2a0";
+}
+.fa-braille:before {
+ content: "\f2a1";
+}
+.fa-assistive-listening-systems:before {
+ content: "\f2a2";
+}
+.fa-asl-interpreting:before,
+.fa-american-sign-language-interpreting:before {
+ content: "\f2a3";
+}
+.fa-deafness:before,
+.fa-hard-of-hearing:before,
+.fa-deaf:before {
+ content: "\f2a4";
+}
+.fa-glide:before {
+ content: "\f2a5";
+}
+.fa-glide-g:before {
+ content: "\f2a6";
+}
+.fa-signing:before,
+.fa-sign-language:before {
+ content: "\f2a7";
+}
+.fa-low-vision:before {
+ content: "\f2a8";
+}
+.fa-viadeo:before {
+ content: "\f2a9";
+}
+.fa-viadeo-square:before {
+ content: "\f2aa";
+}
+.fa-snapchat:before {
+ content: "\f2ab";
+}
+.fa-snapchat-ghost:before {
+ content: "\f2ac";
+}
+.fa-snapchat-square:before {
+ content: "\f2ad";
+}
+.fa-pied-piper:before {
+ content: "\f2ae";
+}
+.fa-first-order:before {
+ content: "\f2b0";
+}
+.fa-yoast:before {
+ content: "\f2b1";
+}
+.fa-themeisle:before {
+ content: "\f2b2";
+}
+.fa-google-plus-circle:before,
+.fa-google-plus-official:before {
+ content: "\f2b3";
+}
+.fa-fa:before,
+.fa-font-awesome:before {
+ content: "\f2b4";
+}
+.fa-handshake-o:before {
+ content: "\f2b5";
+}
+.fa-envelope-open:before {
+ content: "\f2b6";
+}
+.fa-envelope-open-o:before {
+ content: "\f2b7";
+}
+.fa-linode:before {
+ content: "\f2b8";
+}
+.fa-address-book:before {
+ content: "\f2b9";
+}
+.fa-address-book-o:before {
+ content: "\f2ba";
+}
+.fa-vcard:before,
+.fa-address-card:before {
+ content: "\f2bb";
+}
+.fa-vcard-o:before,
+.fa-address-card-o:before {
+ content: "\f2bc";
+}
+.fa-user-circle:before {
+ content: "\f2bd";
+}
+.fa-user-circle-o:before {
+ content: "\f2be";
+}
+.fa-user-o:before {
+ content: "\f2c0";
+}
+.fa-id-badge:before {
+ content: "\f2c1";
+}
+.fa-drivers-license:before,
+.fa-id-card:before {
+ content: "\f2c2";
+}
+.fa-drivers-license-o:before,
+.fa-id-card-o:before {
+ content: "\f2c3";
+}
+.fa-quora:before {
+ content: "\f2c4";
+}
+.fa-free-code-camp:before {
+ content: "\f2c5";
+}
+.fa-telegram:before {
+ content: "\f2c6";
+}
+.fa-thermometer-4:before,
+.fa-thermometer:before,
+.fa-thermometer-full:before {
+ content: "\f2c7";
+}
+.fa-thermometer-3:before,
+.fa-thermometer-three-quarters:before {
+ content: "\f2c8";
+}
+.fa-thermometer-2:before,
+.fa-thermometer-half:before {
+ content: "\f2c9";
+}
+.fa-thermometer-1:before,
+.fa-thermometer-quarter:before {
+ content: "\f2ca";
+}
+.fa-thermometer-0:before,
+.fa-thermometer-empty:before {
+ content: "\f2cb";
+}
+.fa-shower:before {
+ content: "\f2cc";
+}
+.fa-bathtub:before,
+.fa-s15:before,
+.fa-bath:before {
+ content: "\f2cd";
+}
+.fa-podcast:before {
+ content: "\f2ce";
+}
+.fa-window-maximize:before {
+ content: "\f2d0";
+}
+.fa-window-minimize:before {
+ content: "\f2d1";
+}
+.fa-window-restore:before {
+ content: "\f2d2";
+}
+.fa-times-rectangle:before,
+.fa-window-close:before {
+ content: "\f2d3";
+}
+.fa-times-rectangle-o:before,
+.fa-window-close-o:before {
+ content: "\f2d4";
+}
+.fa-bandcamp:before {
+ content: "\f2d5";
+}
+.fa-grav:before {
+ content: "\f2d6";
+}
+.fa-etsy:before {
+ content: "\f2d7";
+}
+.fa-imdb:before {
+ content: "\f2d8";
+}
+.fa-ravelry:before {
+ content: "\f2d9";
+}
+.fa-eercast:before {
+ content: "\f2da";
+}
+.fa-microchip:before {
+ content: "\f2db";
+}
+.fa-snowflake-o:before {
+ content: "\f2dc";
+}
+.fa-superpowers:before {
+ content: "\f2dd";
+}
+.fa-wpexplorer:before {
+ content: "\f2de";
+}
+.fa-meetup:before {
+ content: "\f2e0";
+}
+.sr-only {
+ position: absolute;
+ width: 1px;
+ height: 1px;
+ padding: 0;
+ margin: -1px;
+ overflow: hidden;
+ clip: rect(0, 0, 0, 0);
+ border: 0;
+}
+.sr-only-focusable:active,
+.sr-only-focusable:focus {
+ position: static;
+ width: auto;
+ height: auto;
+ margin: 0;
+ overflow: visible;
+ clip: auto;
+}
+.sr-only-focusable:active,
+.sr-only-focusable:focus {
+ position: static;
+ width: auto;
+ height: auto;
+ margin: 0;
+ overflow: visible;
+ clip: auto;
+}
/*!
*
* IPython base
max-width: 800px;
margin: auto;
}
+div.traceback-wrapper pre.traceback {
+ max-height: 600px;
+ overflow: auto;
+}
/**
* Primary styles
*
z-index: 100;
}
body > #header #header-container {
+ display: flex;
+ flex-direction: row;
+ justify-content: space-between;
+ padding: 5px;
padding-bottom: 5px;
padding-top: 5px;
box-sizing: border-box;
padding-top: 1px;
padding-bottom: 1px;
}
-@media (max-width: 991px) {
- #ipython_notebook {
- margin-left: 10px;
- }
-}
[dir="rtl"] #ipython_notebook {
+ margin-right: 10px;
+ margin-left: 0;
+}
+[dir="rtl"] #ipython_notebook.pull-left {
float: right !important;
+ float: right;
+}
+.flex-spacer {
+ flex: 1;
}
#noscript {
width: auto;
input.ui-button {
padding: 0.3em 0.9em;
}
+span#kernel_logo_widget {
+ margin: 0 10px;
+}
span#login_widget {
float: right;
}
+[dir="rtl"] span#login_widget {
+ float: left;
+}
span#login_widget > .button,
#logout {
color: #333;
overflow: auto;
flex: 1;
}
+.modal-header {
+ cursor: move;
+}
@media (min-width: 768px) {
.modal .modal-dialog {
width: 700px;
display: inline-block;
margin-bottom: -4px;
}
+[dir="rtl"] .center-nav form.pull-left {
+ float: right !important;
+ float: right;
+}
+[dir="rtl"] .center-nav .navbar-text {
+ float: right;
+}
+[dir="rtl"] .navbar-inner {
+ text-align: right;
+}
+[dir="rtl"] div.text-left {
+ text-align: right;
+}
/*!
*
* IPython tree view
margin: 0;
}
.alternate_upload input.fileinput {
- text-align: center;
- vertical-align: middle;
- display: inline;
+ position: absolute;
+ display: block;
+ width: 100%;
+ height: 100%;
+ overflow: hidden;
+ cursor: pointer;
opacity: 0;
z-index: 2;
- width: 12ex;
- margin-right: -12ex;
+}
+.alternate_upload .btn-xs > input.fileinput {
+ margin: -1px -5px;
}
.alternate_upload .btn-upload {
+ position: relative;
height: 22px;
}
+::-webkit-file-upload-button {
+ cursor: pointer;
+}
/**
* Primary styles
*
* Author: Jupyter Development Team
*/
-[dir="rtl"] #tabs li {
- float: right;
-}
ul#tabs {
margin-bottom: 4px;
}
-[dir="rtl"] ul#tabs {
- margin-right: 0px;
-}
ul#tabs a {
padding-top: 6px;
padding-bottom: 4px;
}
+[dir="rtl"] ul#tabs.nav-tabs > li {
+ float: right;
+}
+[dir="rtl"] ul#tabs.nav.nav-tabs {
+ padding-right: 0;
+}
ul.breadcrumb a:focus,
ul.breadcrumb a:hover {
text-decoration: none;
.list_toolbar .tree-buttons {
padding-top: 1px;
}
-[dir="rtl"] .list_toolbar .tree-buttons {
- float: left !important;
-}
-[dir="rtl"] .list_toolbar .pull-right {
- padding-top: 1px;
+[dir="rtl"] .list_toolbar .tree-buttons .pull-right {
float: left !important;
+ float: left;
}
-[dir="rtl"] .list_toolbar .pull-left {
- float: right !important;
+[dir="rtl"] .list_toolbar .col-sm-4,
+[dir="rtl"] .list_toolbar .col-sm-8 {
+ float: right;
}
.dynamic-buttons {
padding-top: 3px;
.list_item > div input {
margin-right: 7px;
margin-left: 14px;
- vertical-align: baseline;
+ vertical-align: text-bottom;
line-height: 22px;
position: relative;
top: -1px;
vertical-align: baseline;
line-height: 22px;
}
+[dir="rtl"] .list_item > div input {
+ margin-right: 0;
+}
.new-file input[type=checkbox] {
visibility: hidden;
}
line-height: 22px;
vertical-align: baseline;
}
+.item_modified {
+ margin-right: 7px;
+ margin-left: 7px;
+}
+[dir="rtl"] .item_modified.pull-right {
+ float: left !important;
+ float: left;
+}
.item_buttons {
line-height: 1em;
margin-left: -5px;
margin-right: 7px;
float: left;
}
+[dir="rtl"] .item_buttons.pull-right {
+ float: left !important;
+ float: left;
+}
+[dir="rtl"] .item_buttons .kernel-name {
+ margin-left: 7px;
+ float: right;
+}
.toolbar_info {
height: 24px;
line-height: 24px;
background-color: transparent;
font-weight: bold;
}
+.sort_button {
+ display: inline-block;
+ padding-left: 7px;
+}
+[dir="rtl"] .sort_button.pull-right {
+ float: left !important;
+ float: left;
+}
#tree-selector {
padding-right: 0px;
}
-[dir="rtl"] #tree-selector a {
- float: right;
-}
#button-select-all {
min-width: 50px;
}
+[dir="rtl"] #button-select-all.btn {
+ float: right ;
+}
#select-all {
margin-left: 7px;
margin-right: 2px;
+ margin-top: 2px;
+ height: 16px;
+}
+[dir="rtl"] #select-all.pull-left {
+ float: right !important;
+ float: right;
}
.menu_icon {
margin-right: 2px;
-moz-osx-font-smoothing: grayscale;
content: "\f114";
}
+.folder_icon:before.fa-pull-left {
+ margin-right: .3em;
+}
+.folder_icon:before.fa-pull-right {
+ margin-left: .3em;
+}
.folder_icon:before.pull-left {
margin-right: .3em;
}
position: relative;
top: -1px;
}
+.notebook_icon:before.fa-pull-left {
+ margin-right: .3em;
+}
+.notebook_icon:before.fa-pull-right {
+ margin-left: .3em;
+}
.notebook_icon:before.pull-left {
margin-right: .3em;
}
top: -1px;
color: #5cb85c;
}
+.running_notebook_icon:before.fa-pull-left {
+ margin-right: .3em;
+}
+.running_notebook_icon:before.fa-pull-right {
+ margin-left: .3em;
+}
.running_notebook_icon:before.pull-left {
margin-right: .3em;
}
position: relative;
top: -2px;
}
+.file_icon:before.fa-pull-left {
+ margin-right: .3em;
+}
+.file_icon:before.fa-pull-right {
+ margin-left: .3em;
+}
.file_icon:before.pull-left {
margin-right: .3em;
}
left: auto;
right: 0;
}
-[dir="rtl"] #new-menu {
- text-align: right;
+#new-menu .dropdown-header {
+ font-size: 10px;
+ border-bottom: 1px solid #e5e5e5;
+ padding: 0 0 3px;
+ margin: -3px 20px 0;
}
.kernel-menu-icon {
padding-right: 12px;
#running .panel-group .panel .panel-body .list_container .list_item:last-child {
border-bottom: 0px;
}
-[dir="rtl"] #running .col-sm-8 {
- float: right !important;
-}
.delete-button {
display: none;
}
.rename-button {
display: none;
}
+.move-button {
+ display: none;
+}
+.download-button {
+ display: none;
+}
.shutdown-button {
display: none;
}
-moz-osx-font-smoothing: grayscale;
width: 20px;
}
+.dirty-indicator.fa-pull-left {
+ margin-right: .3em;
+}
+.dirty-indicator.fa-pull-right {
+ margin-left: .3em;
+}
.dirty-indicator.pull-left {
margin-right: .3em;
}
-moz-osx-font-smoothing: grayscale;
width: 20px;
}
+.dirty-indicator-dirty.fa-pull-left {
+ margin-right: .3em;
+}
+.dirty-indicator-dirty.fa-pull-right {
+ margin-left: .3em;
+}
.dirty-indicator-dirty.pull-left {
margin-right: .3em;
}
-moz-osx-font-smoothing: grayscale;
width: 20px;
}
+.dirty-indicator-clean.fa-pull-left {
+ margin-right: .3em;
+}
+.dirty-indicator-clean.fa-pull-right {
+ margin-left: .3em;
+}
.dirty-indicator-clean.pull-left {
margin-right: .3em;
}
-moz-osx-font-smoothing: grayscale;
content: "\f00c";
}
+.dirty-indicator-clean:before.fa-pull-left {
+ margin-right: .3em;
+}
+.dirty-indicator-clean:before.fa-pull-right {
+ margin-left: .3em;
+}
.dirty-indicator-clean:before.pull-left {
margin-right: .3em;
}
box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
}
}
+.CodeMirror-dialog {
+ background-color: #fff;
+}
/*!
*
* IPython notebook
*
*/
-/* CSS font colors for translated ANSI colors. */
+/* CSS font colors for translated ANSI escape sequences */
+/* The color values are a mix of
+ http://www.xcolors.net/dl/baskerville-ivorylight and
+ http://www.xcolors.net/dl/euphrasia */
+.ansi-black-fg {
+ color: #3E424D;
+}
+.ansi-black-bg {
+ background-color: #3E424D;
+}
+.ansi-black-intense-fg {
+ color: #282C36;
+}
+.ansi-black-intense-bg {
+ background-color: #282C36;
+}
+.ansi-red-fg {
+ color: #E75C58;
+}
+.ansi-red-bg {
+ background-color: #E75C58;
+}
+.ansi-red-intense-fg {
+ color: #B22B31;
+}
+.ansi-red-intense-bg {
+ background-color: #B22B31;
+}
+.ansi-green-fg {
+ color: #00A250;
+}
+.ansi-green-bg {
+ background-color: #00A250;
+}
+.ansi-green-intense-fg {
+ color: #007427;
+}
+.ansi-green-intense-bg {
+ background-color: #007427;
+}
+.ansi-yellow-fg {
+ color: #DDB62B;
+}
+.ansi-yellow-bg {
+ background-color: #DDB62B;
+}
+.ansi-yellow-intense-fg {
+ color: #B27D12;
+}
+.ansi-yellow-intense-bg {
+ background-color: #B27D12;
+}
+.ansi-blue-fg {
+ color: #208FFB;
+}
+.ansi-blue-bg {
+ background-color: #208FFB;
+}
+.ansi-blue-intense-fg {
+ color: #0065CA;
+}
+.ansi-blue-intense-bg {
+ background-color: #0065CA;
+}
+.ansi-magenta-fg {
+ color: #D160C4;
+}
+.ansi-magenta-bg {
+ background-color: #D160C4;
+}
+.ansi-magenta-intense-fg {
+ color: #A03196;
+}
+.ansi-magenta-intense-bg {
+ background-color: #A03196;
+}
+.ansi-cyan-fg {
+ color: #60C6C8;
+}
+.ansi-cyan-bg {
+ background-color: #60C6C8;
+}
+.ansi-cyan-intense-fg {
+ color: #258F8F;
+}
+.ansi-cyan-intense-bg {
+ background-color: #258F8F;
+}
+.ansi-white-fg {
+ color: #C5C1B4;
+}
+.ansi-white-bg {
+ background-color: #C5C1B4;
+}
+.ansi-white-intense-fg {
+ color: #A1A6B2;
+}
+.ansi-white-intense-bg {
+ background-color: #A1A6B2;
+}
+.ansi-default-inverse-fg {
+ color: #FFFFFF;
+}
+.ansi-default-inverse-bg {
+ background-color: #000000;
+}
+.ansi-bold {
+ font-weight: bold;
+}
+.ansi-underline {
+ text-decoration: underline;
+}
+/* The following styles are deprecated an will be removed in a future version */
.ansibold {
font-weight: bold;
}
+.ansi-inverse {
+ outline: 0.5px dotted;
+}
/* use dark versions for foreground, to improve visibility */
.ansiblack {
color: black;
/* This acts as a spacer between cells, that is outside the border */
margin: 0px;
outline: none;
- border-left-width: 1px;
- padding-left: 5px;
- background: linear-gradient(to right, transparent -40px, transparent 1px, transparent 1px, transparent 100%);
+ position: relative;
+ overflow: visible;
+}
+div.cell:before {
+ position: absolute;
+ display: block;
+ top: -1px;
+ left: -1px;
+ width: 5px;
+ height: calc(100% + 2px);
+ content: '';
+ background: transparent;
}
div.cell.jupyter-soft-selected {
- border-left-color: #90CAF9;
border-left-color: #E3F2FD;
border-left-width: 1px;
padding-left: 5px;
border-color: transparent;
}
}
-div.cell.selected {
+div.cell.selected,
+div.cell.selected.jupyter-soft-selected {
border-color: #ababab;
- border-left-width: 0px;
- padding-left: 6px;
- background: linear-gradient(to right, #42A5F5 -40px, #42A5F5 5px, transparent 5px, transparent 100%);
+}
+div.cell.selected:before,
+div.cell.selected.jupyter-soft-selected:before {
+ position: absolute;
+ display: block;
+ top: -1px;
+ left: -1px;
+ width: 5px;
+ height: calc(100% + 2px);
+ content: '';
+ background: #42A5F5;
}
@media print {
- div.cell.selected {
+ div.cell.selected,
+ div.cell.selected.jupyter-soft-selected {
border-color: transparent;
}
}
-div.cell.selected.jupyter-soft-selected {
- border-left-width: 0;
- padding-left: 6px;
- background: linear-gradient(to right, #42A5F5 -40px, #42A5F5 7px, #E3F2FD 7px, #E3F2FD 100%);
-}
.edit_mode div.cell.selected {
border-color: #66BB6A;
- border-left-width: 0px;
- padding-left: 6px;
- background: linear-gradient(to right, #66BB6A -40px, #66BB6A 5px, transparent 5px, transparent 100%);
+}
+.edit_mode div.cell.selected:before {
+ position: absolute;
+ display: block;
+ top: -1px;
+ left: -1px;
+ width: 5px;
+ height: calc(100% + 2px);
+ content: '';
+ background: #66BB6A;
}
@media print {
.edit_mode div.cell.selected {
.CodeMirror-lines {
/* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
/* we have set a different line-height and want this to scale with that. */
- padding: 0.4em;
+ /* Note that this should set vertical padding only, since CodeMirror assumes
+ that horizontal padding will be set on CodeMirror pre */
+ padding: 0.4em 0;
}
.CodeMirror-linenumber {
padding: 0 8px 0 4px;
border-top-left-radius: 2px;
}
.CodeMirror pre {
- /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
- /* .CodeMirror-lines */
- padding: 0;
+ /* In CM3 this went to 4px from 0 in CM2. This sets horizontal padding only,
+ use .CodeMirror-lines for vertical */
+ padding: 0 0.4em;
border: 0;
border-radius: 0;
}
+.CodeMirror-cursor {
+ border-left: 1.4px solid black;
+}
+@media screen and (min-width: 2138px) and (max-width: 4319px) {
+ .CodeMirror-cursor {
+ border-left: 2px solid black;
+ }
+}
+@media screen and (min-width: 4320px) {
+ .CodeMirror-cursor {
+ border-left: 4px solid black;
+ }
+}
/*
Original style from softwaremaniacs.org (c) Ivan Sagalaev <Maniac@SoftwareManiacs.Org>
div.output_area svg.unconfined {
max-width: none;
}
+div.output_area .mglyph > img {
+ max-width: none;
+}
/* This is needed to protect the pre formating from global settings such
as that of bootstrap */
.output {
}
div.output_area pre {
margin: 0;
- padding: 0;
+ padding: 1px 0 1px 0;
border: 0;
vertical-align: baseline;
color: black;
.rendered_html h6:first-child {
margin-top: 1em;
}
+.rendered_html ul:not(.list-inline),
+.rendered_html ol:not(.list-inline) {
+ padding-left: 2em;
+}
.rendered_html ul {
list-style: disc;
- margin: 0em 2em;
- padding-left: 0px;
}
.rendered_html ul ul {
list-style: square;
- margin: 0em 2em;
+ margin-top: 0;
}
.rendered_html ul ul ul {
list-style: circle;
- margin: 0em 2em;
}
.rendered_html ol {
list-style: decimal;
- margin: 0em 2em;
- padding-left: 0px;
}
.rendered_html ol ol {
list-style: upper-alpha;
- margin: 0em 2em;
+ margin-top: 0;
}
.rendered_html ol ol ol {
list-style: lower-alpha;
- margin: 0em 2em;
}
.rendered_html ol ol ol ol {
list-style: lower-roman;
- margin: 0em 2em;
}
.rendered_html ol ol ol ol ol {
list-style: decimal;
- margin: 0em 2em;
}
.rendered_html * + ul {
margin-top: 1em;
}
.rendered_html pre {
margin: 1em 2em;
+ padding: 0px;
+ background-color: #fff;
+}
+.rendered_html code {
+ background-color: #eff0f1;
+}
+.rendered_html p code {
+ padding: 1px 5px;
+}
+.rendered_html pre code {
+ background-color: #fff;
}
.rendered_html pre,
.rendered_html code {
border: 0;
- background-color: #fff;
color: #000;
font-size: 100%;
- padding: 0px;
}
.rendered_html blockquote {
margin: 1em 2em;
.rendered_html table {
margin-left: auto;
margin-right: auto;
- border: 1px solid black;
+ border: none;
border-collapse: collapse;
+ border-spacing: 0;
+ color: black;
+ font-size: 12px;
+ table-layout: fixed;
+}
+.rendered_html thead {
+ border-bottom: 1px solid black;
+ vertical-align: bottom;
}
.rendered_html tr,
.rendered_html th,
.rendered_html td {
- border: 1px solid black;
- border-collapse: collapse;
- margin: 1em 2em;
-}
-.rendered_html td,
-.rendered_html th {
- text-align: left;
+ text-align: right;
vertical-align: middle;
- padding: 4px;
+ padding: 0.5em 0.5em;
+ line-height: normal;
+ white-space: normal;
+ max-width: none;
+ border: none;
}
.rendered_html th {
font-weight: bold;
}
+.rendered_html tbody tr:nth-child(odd) {
+ background: #f5f5f5;
+}
+.rendered_html tbody tr:hover {
+ background: rgba(66, 165, 245, 0.2);
+}
.rendered_html * + table {
margin-top: 1em;
}
.rendered_html svg.unconfined {
max-width: none;
}
+.rendered_html .alert {
+ margin-bottom: initial;
+}
+.rendered_html * + .alert {
+ margin-top: 1em;
+}
+[dir="rtl"] .rendered_html p {
+ text-align: right;
+}
div.text_cell {
/* Old browsers */
display: -webkit-box;
overflow-x: auto;
overflow-y: hidden;
}
+.text_cell.rendered .rendered_html tr,
+.text_cell.rendered .rendered_html th,
+.text_cell.rendered .rendered_html td {
+ max-width: none;
+}
.text_cell.unrendered .text_cell_render {
display: none;
}
+.text_cell .dropzone .input_area {
+ border: 2px dashed #bababa;
+ margin: -1px;
+}
.cm-header-1,
.cm-header-2,
.cm-header-3,
padding-top: 1px;
padding-bottom: 1px;
}
+.jupyter-keybindings {
+ padding: 1px;
+ line-height: 24px;
+ border-bottom: 1px solid gray;
+}
+.jupyter-keybindings input {
+ margin: 0;
+ padding: 0;
+ border: none;
+}
+.jupyter-keybindings i {
+ padding: 6px;
+}
+.well code {
+ background-color: #ffffff;
+ border-color: #ababab;
+ border-width: 1px;
+ border-style: solid;
+ padding: 2px;
+ padding-top: 1px;
+ padding-bottom: 1px;
+}
/* CSS for the cell toolbar */
.celltoolbar {
border: thin solid #CFCFCF;
display: none;
}
}
-.ctb_hideshow {
- display: none;
- vertical-align: bottom;
+.ctb_hideshow {
+ display: none;
+ vertical-align: bottom;
+}
+/* ctb_show is added to the ctb_hideshow div to show the cell toolbar.
+ Cell toolbars are only shown when the ctb_global_show class is also set.
+*/
+.ctb_global_show .ctb_show.ctb_hideshow {
+ display: block;
+}
+.ctb_global_show .ctb_show + .input_area,
+.ctb_global_show .ctb_show + div.text_cell_input,
+.ctb_global_show .ctb_show ~ div.text_cell_render {
+ border-top-right-radius: 0px;
+ border-top-left-radius: 0px;
+}
+.ctb_global_show .ctb_show ~ div.text_cell_render {
+ border: 1px solid #cfcfcf;
+}
+.celltoolbar {
+ font-size: 87%;
+ padding-top: 3px;
+}
+.celltoolbar select {
+ display: block;
+ width: 100%;
+ height: 32px;
+ padding: 6px 12px;
+ font-size: 13px;
+ line-height: 1.42857143;
+ color: #555555;
+ background-color: #fff;
+ background-image: none;
+ border: 1px solid #ccc;
+ border-radius: 2px;
+ -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
+ box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
+ -webkit-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
+ -o-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
+ transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
+ height: 30px;
+ padding: 5px 10px;
+ font-size: 12px;
+ line-height: 1.5;
+ border-radius: 1px;
+ width: inherit;
+ font-size: inherit;
+ height: 22px;
+ padding: 0px;
+ display: inline-block;
+}
+.celltoolbar select:focus {
+ border-color: #66afe9;
+ outline: 0;
+ -webkit-box-shadow: inset 0 1px 1px rgba(0,0,0,.075), 0 0 8px rgba(102, 175, 233, 0.6);
+ box-shadow: inset 0 1px 1px rgba(0,0,0,.075), 0 0 8px rgba(102, 175, 233, 0.6);
+}
+.celltoolbar select::-moz-placeholder {
+ color: #999;
+ opacity: 1;
+}
+.celltoolbar select:-ms-input-placeholder {
+ color: #999;
+}
+.celltoolbar select::-webkit-input-placeholder {
+ color: #999;
+}
+.celltoolbar select::-ms-expand {
+ border: 0;
+ background-color: transparent;
+}
+.celltoolbar select[disabled],
+.celltoolbar select[readonly],
+fieldset[disabled] .celltoolbar select {
+ background-color: #eeeeee;
+ opacity: 1;
+}
+.celltoolbar select[disabled],
+fieldset[disabled] .celltoolbar select {
+ cursor: not-allowed;
+}
+textarea.celltoolbar select {
+ height: auto;
+}
+select.celltoolbar select {
+ height: 30px;
+ line-height: 30px;
+}
+textarea.celltoolbar select,
+select[multiple].celltoolbar select {
+ height: auto;
+}
+.celltoolbar label {
+ margin-left: 5px;
+ margin-right: 5px;
+}
+.tags_button_container {
+ width: 100%;
+ display: flex;
+}
+.tag-container {
+ display: flex;
+ flex-direction: row;
+ flex-grow: 1;
+ overflow: hidden;
+ position: relative;
}
-/* ctb_show is added to the ctb_hideshow div to show the cell toolbar.
- Cell toolbars are only shown when the ctb_global_show class is also set.
-*/
-.ctb_global_show .ctb_show.ctb_hideshow {
- display: block;
+.tag-container > * {
+ margin: 0 4px;
}
-.ctb_global_show .ctb_show + .input_area,
-.ctb_global_show .ctb_show + div.text_cell_input,
-.ctb_global_show .ctb_show ~ div.text_cell_render {
- border-top-right-radius: 0px;
- border-top-left-radius: 0px;
+.remove-tag-btn {
+ margin-left: 4px;
}
-.ctb_global_show .ctb_show ~ div.text_cell_render {
- border: 1px solid #cfcfcf;
+.tags-input {
+ display: flex;
}
-.celltoolbar {
- font-size: 87%;
- padding-top: 3px;
+.cell-tag:last-child:after {
+ content: "";
+ position: absolute;
+ right: 0;
+ width: 40px;
+ height: 100%;
+ /* Fade to background color of cell toolbar */
+ background: linear-gradient(to right, rgba(0, 0, 0, 0), #EEE);
}
-.celltoolbar select {
+.tags-input > * {
+ margin-left: 4px;
+}
+.cell-tag,
+.tags-input input,
+.tags-input button {
display: block;
width: 100%;
height: 32px;
font-size: 12px;
line-height: 1.5;
border-radius: 1px;
+ box-shadow: none;
width: inherit;
font-size: inherit;
height: 22px;
- padding: 0px;
+ line-height: 22px;
+ padding: 0px 4px;
display: inline-block;
}
-.celltoolbar select:focus {
+.cell-tag:focus,
+.tags-input input:focus,
+.tags-input button:focus {
border-color: #66afe9;
outline: 0;
-webkit-box-shadow: inset 0 1px 1px rgba(0,0,0,.075), 0 0 8px rgba(102, 175, 233, 0.6);
box-shadow: inset 0 1px 1px rgba(0,0,0,.075), 0 0 8px rgba(102, 175, 233, 0.6);
}
-.celltoolbar select::-moz-placeholder {
+.cell-tag::-moz-placeholder,
+.tags-input input::-moz-placeholder,
+.tags-input button::-moz-placeholder {
color: #999;
opacity: 1;
}
-.celltoolbar select:-ms-input-placeholder {
+.cell-tag:-ms-input-placeholder,
+.tags-input input:-ms-input-placeholder,
+.tags-input button:-ms-input-placeholder {
color: #999;
}
-.celltoolbar select::-webkit-input-placeholder {
+.cell-tag::-webkit-input-placeholder,
+.tags-input input::-webkit-input-placeholder,
+.tags-input button::-webkit-input-placeholder {
color: #999;
}
-.celltoolbar select::-ms-expand {
+.cell-tag::-ms-expand,
+.tags-input input::-ms-expand,
+.tags-input button::-ms-expand {
border: 0;
background-color: transparent;
}
-.celltoolbar select[disabled],
-.celltoolbar select[readonly],
-fieldset[disabled] .celltoolbar select {
+.cell-tag[disabled],
+.tags-input input[disabled],
+.tags-input button[disabled],
+.cell-tag[readonly],
+.tags-input input[readonly],
+.tags-input button[readonly],
+fieldset[disabled] .cell-tag,
+fieldset[disabled] .tags-input input,
+fieldset[disabled] .tags-input button {
background-color: #eeeeee;
opacity: 1;
}
-.celltoolbar select[disabled],
-fieldset[disabled] .celltoolbar select {
+.cell-tag[disabled],
+.tags-input input[disabled],
+.tags-input button[disabled],
+fieldset[disabled] .cell-tag,
+fieldset[disabled] .tags-input input,
+fieldset[disabled] .tags-input button {
cursor: not-allowed;
}
-textarea.celltoolbar select {
+textarea.cell-tag,
+textarea.tags-input input,
+textarea.tags-input button {
height: auto;
}
-select.celltoolbar select {
+select.cell-tag,
+select.tags-input input,
+select.tags-input button {
height: 30px;
line-height: 30px;
}
-textarea.celltoolbar select,
-select[multiple].celltoolbar select {
+textarea.cell-tag,
+textarea.tags-input input,
+textarea.tags-input button,
+select[multiple].cell-tag,
+select[multiple].tags-input input,
+select[multiple].tags-input button {
height: auto;
}
-.celltoolbar label {
- margin-left: 5px;
- margin-right: 5px;
+.cell-tag,
+.tags-input button {
+ padding: 0px 4px;
+}
+.cell-tag {
+ background-color: #fff;
+ white-space: nowrap;
+}
+.tags-input input[type=text]:focus {
+ outline: none;
+ box-shadow: none;
+ border-color: #ccc;
}
.completions {
position: absolute;
.completions select option.context {
color: #286090;
}
-#kernel_logo_widget {
- float: right !important;
- float: right;
-}
#kernel_logo_widget .current_kernel_logo {
display: none;
margin-top: -1px;
width: 32px;
height: 32px;
}
+[dir="rtl"] #kernel_logo_widget {
+ float: left !important;
+ float: left;
+}
+.modal .modal-body .move-path {
+ display: flex;
+ flex-direction: row;
+ justify-content: space;
+ align-items: center;
+}
+.modal .modal-body .move-path .server-root {
+ padding-right: 20px;
+}
+.modal .modal-body .move-path .path-input {
+ flex: 1;
+}
#menubar {
box-sizing: border-box;
-moz-box-sizing: border-box;
#menubar .navbar-collapse {
clear: left;
}
+[dir="rtl"] #menubar .navbar-toggle {
+ float: right;
+}
+[dir="rtl"] #menubar .navbar-collapse {
+ clear: right;
+}
+[dir="rtl"] #menubar .navbar-nav {
+ float: right;
+}
+[dir="rtl"] #menubar .nav {
+ padding-right: 0px;
+}
+[dir="rtl"] #menubar .navbar-nav > li {
+ float: right;
+}
+[dir="rtl"] #menubar .navbar-right {
+ float: left !important;
+}
+[dir="rtl"] ul.dropdown-menu {
+ text-align: right;
+ left: auto;
+}
+[dir="rtl"] ul#new-menu.dropdown-menu {
+ right: auto;
+ left: 0;
+}
.nav-wrapper {
border-bottom: 1px solid #e7e7e7;
}
i.menu-icon {
padding-top: 4px;
}
+[dir="rtl"] i.menu-icon.pull-right {
+ float: left !important;
+ float: left;
+}
ul#help_menu li a {
overflow: hidden;
padding-right: 2.2em;
ul#help_menu li a i {
margin-right: -1.2em;
}
+[dir="rtl"] ul#help_menu li a {
+ padding-left: 2.2em;
+}
+[dir="rtl"] ul#help_menu li a i {
+ margin-right: 0;
+ margin-left: -1.2em;
+}
+[dir="rtl"] ul#help_menu li a i.pull-right {
+ float: left !important;
+ float: left;
+}
.dropdown-submenu {
position: relative;
}
margin-top: -6px;
margin-left: -1px;
}
+[dir="rtl"] .dropdown-submenu > .dropdown-menu {
+ right: 100%;
+ margin-right: -1px;
+}
.dropdown-submenu:hover > .dropdown-menu {
display: block;
}
margin-top: 2px;
margin-right: -10px;
}
+.dropdown-submenu > a:after.fa-pull-left {
+ margin-right: .3em;
+}
+.dropdown-submenu > a:after.fa-pull-right {
+ margin-left: .3em;
+}
.dropdown-submenu > a:after.pull-left {
margin-right: .3em;
}
.dropdown-submenu > a:after.pull-right {
margin-left: .3em;
}
+[dir="rtl"] .dropdown-submenu > a:after {
+ float: left;
+ content: "\f0d9";
+ margin-right: 0;
+ margin-left: -10px;
+}
.dropdown-submenu:hover > a:after {
color: #262626;
}
float: right;
z-index: 10;
}
+[dir="rtl"] #notification_area {
+ float: left !important;
+ float: left;
+}
.indicator_area {
float: right !important;
float: right;
text-align: center;
width: auto;
}
+[dir="rtl"] .indicator_area {
+ float: left !important;
+ float: left;
+}
#kernel_indicator {
float: right !important;
float: right;
padding-left: 5px;
padding-right: 5px;
}
+[dir="rtl"] #kernel_indicator {
+ float: left !important;
+ float: left;
+ border-left: 0;
+ border-right: 1px solid;
+}
#modal_indicator {
float: right !important;
float: right;
text-align: center;
width: auto;
}
+[dir="rtl"] #modal_indicator {
+ float: left !important;
+ float: left;
+}
#readonly-indicator {
float: right !important;
float: right;
-moz-osx-font-smoothing: grayscale;
content: "\f040";
}
+.edit_mode .modal_indicator:before.fa-pull-left {
+ margin-right: .3em;
+}
+.edit_mode .modal_indicator:before.fa-pull-right {
+ margin-left: .3em;
+}
.edit_mode .modal_indicator:before.pull-left {
margin-right: .3em;
}
-moz-osx-font-smoothing: grayscale;
content: ' ';
}
+.command_mode .modal_indicator:before.fa-pull-left {
+ margin-right: .3em;
+}
+.command_mode .modal_indicator:before.fa-pull-right {
+ margin-left: .3em;
+}
.command_mode .modal_indicator:before.pull-left {
margin-right: .3em;
}
-moz-osx-font-smoothing: grayscale;
content: "\f10c";
}
+.kernel_idle_icon:before.fa-pull-left {
+ margin-right: .3em;
+}
+.kernel_idle_icon:before.fa-pull-right {
+ margin-left: .3em;
+}
.kernel_idle_icon:before.pull-left {
margin-right: .3em;
}
-moz-osx-font-smoothing: grayscale;
content: "\f111";
}
+.kernel_busy_icon:before.fa-pull-left {
+ margin-right: .3em;
+}
+.kernel_busy_icon:before.fa-pull-right {
+ margin-left: .3em;
+}
.kernel_busy_icon:before.pull-left {
margin-right: .3em;
}
-moz-osx-font-smoothing: grayscale;
content: "\f1e2";
}
+.kernel_dead_icon:before.fa-pull-left {
+ margin-right: .3em;
+}
+.kernel_dead_icon:before.fa-pull-right {
+ margin-left: .3em;
+}
.kernel_dead_icon:before.pull-left {
margin-right: .3em;
}
-moz-osx-font-smoothing: grayscale;
content: "\f127";
}
+.kernel_disconnected_icon:before.fa-pull-left {
+ margin-right: .3em;
+}
+.kernel_disconnected_icon:before.fa-pull-right {
+ margin-left: .3em;
+}
.kernel_disconnected_icon:before.pull-left {
margin-right: .3em;
}
flex: 1;
}
span.save_widget {
- margin-top: 6px;
+ height: 30px;
+ margin-top: 4px;
+ display: flex;
+ justify-content: flex-start;
+ align-items: baseline;
+ width: 50%;
+ flex: 1;
}
span.save_widget span.filename {
- height: 1em;
+ height: 100%;
line-height: 1em;
- padding: 3px;
margin-left: 16px;
border: none;
font-size: 146.5%;
+ text-overflow: ellipsis;
+ overflow: hidden;
+ white-space: nowrap;
border-radius: 2px;
}
span.save_widget span.filename:hover {
background-color: #e6e6e6;
}
+[dir="rtl"] span.save_widget.pull-left {
+ float: right !important;
+ float: right;
+}
+[dir="rtl"] span.save_widget span.filename {
+ margin-left: 0;
+ margin-right: 16px;
+}
span.checkpoint_status,
span.autosave_status {
font-size: small;
+ white-space: nowrap;
+ padding: 0 5px;
}
@media (max-width: 767px) {
span.save_widget {
font-size: small;
+ padding: 0 0 0 5px;
}
span.checkpoint_status,
span.autosave_status {
margin-top: 0px;
margin-left: 5px;
}
+.toolbar-btn-label {
+ margin-left: 6px;
+}
#maintoolbar {
margin-bottom: -3px;
margin-top: -8px;
.select-xs {
height: 24px;
}
+[dir="rtl"] .btn-group > .btn,
+.btn-group-vertical > .btn {
+ float: right;
+}
.pulse,
.dropdown-menu > li > a.pulse,
li.pulse > a.dropdown-toggle,
margin-left: -10px;
width: 18px;
}
+[dir="rtl"] ul.typeahead-list i {
+ margin-left: 0;
+ margin-right: -10px;
+}
ul.typeahead-list {
max-height: 80vh;
overflow: auto;
/* see https://github.com/jupyter/notebook/issues/559 */
white-space: normal;
}
+ul.typeahead-list > li > a.pull-right {
+ float: left !important;
+ float: left;
+}
+[dir="rtl"] .typeahead-list {
+ text-align: right;
+}
.cmd-palette .modal-body {
padding: 7px;
}
outline: none;
}
.no-shortcut {
- display: none;
+ min-width: 20px;
+ color: transparent;
+}
+[dir="rtl"] .no-shortcut.pull-right {
+ float: left !important;
+ float: left;
+}
+[dir="rtl"] .command-shortcut.pull-right {
+ float: left !important;
+ float: left;
}
.command-shortcut:before {
- content: "(command)";
+ content: "(command mode)";
padding-right: 3px;
color: #777777;
}
padding-right: 3px;
color: #777777;
}
+[dir="rtl"] .edit-shortcut.pull-right {
+ float: left !important;
+ float: left;
+}
#find-and-replace #replace-preview .match,
#find-and-replace #replace-preview .insert {
background-color: #BBDEFB;
border-width: 1px;
border-radius: 0px;
}
+[dir="ltr"] #find-and-replace .input-group-btn + .form-control {
+ border-left: none;
+}
+[dir="rtl"] #find-and-replace .input-group-btn + .form-control {
+ border-right: none;
+}
#find-and-replace #replace-preview .replace .match {
background-color: #FFCDD2;
border-color: #EF9A9A;
.highlight .vm { color: #19177C } /* Name.Variable.Magic */
.highlight .il { color: #666666 } /* Literal.Number.Integer.Long */
</style>
-<style type="text/css">
-
-/* Temporary definitions which will become obsolete with Notebook release 5.0 */
-.ansi-black-fg { color: #3E424D; }
-.ansi-black-bg { background-color: #3E424D; }
-.ansi-black-intense-fg { color: #282C36; }
-.ansi-black-intense-bg { background-color: #282C36; }
-.ansi-red-fg { color: #E75C58; }
-.ansi-red-bg { background-color: #E75C58; }
-.ansi-red-intense-fg { color: #B22B31; }
-.ansi-red-intense-bg { background-color: #B22B31; }
-.ansi-green-fg { color: #00A250; }
-.ansi-green-bg { background-color: #00A250; }
-.ansi-green-intense-fg { color: #007427; }
-.ansi-green-intense-bg { background-color: #007427; }
-.ansi-yellow-fg { color: #DDB62B; }
-.ansi-yellow-bg { background-color: #DDB62B; }
-.ansi-yellow-intense-fg { color: #B27D12; }
-.ansi-yellow-intense-bg { background-color: #B27D12; }
-.ansi-blue-fg { color: #208FFB; }
-.ansi-blue-bg { background-color: #208FFB; }
-.ansi-blue-intense-fg { color: #0065CA; }
-.ansi-blue-intense-bg { background-color: #0065CA; }
-.ansi-magenta-fg { color: #D160C4; }
-.ansi-magenta-bg { background-color: #D160C4; }
-.ansi-magenta-intense-fg { color: #A03196; }
-.ansi-magenta-intense-bg { background-color: #A03196; }
-.ansi-cyan-fg { color: #60C6C8; }
-.ansi-cyan-bg { background-color: #60C6C8; }
-.ansi-cyan-intense-fg { color: #258F8F; }
-.ansi-cyan-intense-bg { background-color: #258F8F; }
-.ansi-white-fg { color: #C5C1B4; }
-.ansi-white-bg { background-color: #C5C1B4; }
-.ansi-white-intense-fg { color: #A1A6B2; }
-.ansi-white-intense-bg { background-color: #A1A6B2; }
-
-.ansi-bold { font-weight: bold; }
-
- </style>
<style type="text/css">
<!-- Loading mathjax macro -->
<!-- Load mathjax -->
- <script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS_HTML"></script>
+ <script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/latest.js?config=TeX-AMS_HTML"></script>
<!-- MathJax configuration -->
<script type="text/x-mathjax-config">
MathJax.Hub.Config({
<div class="container" id="notebook-container">
<div class="cell border-box-sizing text_cell rendered"><div class="prompt input_prompt">
-</div>
-<div class="inner_cell">
+</div><div class="inner_cell">
<div class="text_cell_render border-box-sizing rendered_html">
-<p>This notebook is about using the "zipper" with joy datastructures. See the <a href="https://en.wikipedia.org/wiki/Zipper_%28data_structure%29">Zipper wikipedia entry</a> or the original paper: <a href="https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf">"FUNCTIONAL PEARL The Zipper" by Gérard Huet</a></p>
+<
h1 id="Traversing-Datastructures-with-Zippers">Traversing Datastructures with Zippers<a class="anchor-link" href="#Traversing-Datastructures-with-Zippers">¶</a></h1><p>This notebook is about using the "zipper" with joy datastructures. See the <a href="https://en.wikipedia.org/wiki/Zipper_%28data_structure%29">Zipper wikipedia entry</a> or the original paper: <a href="https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf">"FUNCTIONAL PEARL The Zipper" by Gérard Huet</a></p>
<p>Given a datastructure on the stack we can navigate through it, modify it, and rebuild it using the "zipper" technique.</p>
</div>
<div class=" highlight hl-ipython2"><pre><span></span><span class="kn">from</span> <span class="nn">notebook_preamble</span> <span class="kn">import</span> <span class="n">J</span><span class="p">,</span> <span class="n">V</span><span class="p">,</span> <span class="n">define</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
</div>
<div class="cell border-box-sizing text_cell rendered"><div class="prompt input_prompt">
-</div>
-<div class="inner_cell">
+</div><div class="inner_cell">
<div class="text_cell_render border-box-sizing rendered_html">
<h2 id="Trees">Trees<a class="anchor-link" href="#Trees">¶</a></h2><p>In Joypy there aren't any complex datastructures, just ints, floats, strings, Symbols (strings that are names of functions) and sequences (aka lists, aka quoted literals, aka aggregates, etc...), but we can build <a href="https://en.wikipedia.org/wiki/Tree_%28data_structure%29">trees</a> out of sequences.</p>
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1 [2 [3 4 25 6] 7] 8]'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
</div>
<div class="cell border-box-sizing text_cell rendered"><div class="prompt input_prompt">
-</div>
-<div class="inner_cell">
+</div><div class="inner_cell">
<div class="text_cell_render border-box-sizing rendered_html">
<h2 id="Zipper-in-Joy">Zipper in Joy<a class="anchor-link" href="#Zipper-in-Joy">¶</a></h2><p>Zippers work by keeping track of the current item, the already-seen items, and the yet-to-be seen items as you traverse a datastructure (the datastructure used to keep track of these items is the zipper.)</p>
<p>In Joy we can do this with the following words:</p>
<span class="n">define</span><span class="p">(</span><span class="s1">'z-left == swons [uncons swap] dip swap'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">V</span><span class="p">(</span><span class="s1">'[1 [2 [3 4 25 6] 7] 8] z-down'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">V</span><span class="p">(</span><span class="s1">'[] [[2 [3 4 25 6] 7] 8] 1 z-right'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1] [8] [2 [3 4 25 6] 7] z-down'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1] [8] [] [[3 4 25 6] 7] 2 z-right'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1] [8] [2] [7] [3 4 25 6] z-down'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1] [8] [2] [7] [] [4 25 6] 3 z-right'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1] [8] [2] [7] [3] [25 6] 4 z-right'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1] [8] [2] [7] [4 3] [6] 25 sqr'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">V</span><span class="p">(</span><span class="s1">'[1] [8] [2] [7] [4 3] [6] 625 z-up'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1] [8] [2] [7] [3 4 625 6] z-up'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1] [8] [2 [3 4 625 6] 7] z-up'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
</div>
<div class="cell border-box-sizing text_cell rendered"><div class="prompt input_prompt">
-</div>
-<div class="inner_cell">
+</div><div class="inner_cell">
<div class="text_cell_render border-box-sizing rendered_html">
<h2 id="dip-and-infra"><code>dip</code> and <code>infra</code><a class="anchor-link" href="#dip-and-infra">¶</a></h2><p>In Joy we have the <code>dip</code> and <code>infra</code> combinators which can "target" or "address" any particular item in a Joy tree structure.</p>
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">V</span><span class="p">(</span><span class="s1">'[1 [2 [3 4 25 6] 7] 8] [[[[[[sqr] dipd] infra] dip] infra] dip] infra'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
</div>
<div class="cell border-box-sizing text_cell rendered"><div class="prompt input_prompt">
-</div>
-<div class="inner_cell">
+</div><div class="inner_cell">
<div class="text_cell_render border-box-sizing rendered_html">
<p>If you read the trace carefully you'll see that about half of it is the <code>dip</code> and <code>infra</code> combinators de-quoting programs and "digging" into the subject datastructure. Instead of maintaining temporary results on the stack they are pushed into the pending expression (continuation). When <code>sqr</code> has run the rest of the pending expression rebuilds the datastructure.</p>
<h2 id="Z"><code>Z</code><a class="anchor-link" href="#Z">¶</a></h2><p>Imagine a function <code>Z</code> that accepts a sequence of <code>dip</code> and <code>infra</code> combinators, a quoted program <code>[Q]</code>, and a datastructure to work on. It would effectively execute the quoted program as if it had been embedded in a nested series of quoted programs, e.g.:</p>
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">define</span><span class="p">(</span><span class="s1">'Z == [[] cons cons] step i'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
</div>
<div class="cell border-box-sizing text_cell rendered"><div class="prompt input_prompt">
-</div>
-<div class="inner_cell">
+</div><div class="inner_cell">
<div class="text_cell_render border-box-sizing rendered_html">
<p>Here it is in action in a simplified scenario.</p>
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">V</span><span class="p">(</span><span class="s1">'1 [2 3 4] Z'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
</div>
<div class="cell border-box-sizing text_cell rendered"><div class="prompt input_prompt">
-</div>
-<div class="inner_cell">
+</div><div class="inner_cell">
<div class="text_cell_render border-box-sizing rendered_html">
<p>And here it is doing the main thing.</p>
<div class=" highlight hl-ipython2"><pre><span></span><span class="n">J</span><span class="p">(</span><span class="s1">'[1 [2 [3 4 25 6] 7] 8] [sqr] [dip dip infra dip infra dip infra] Z'</span><span class="p">)</span>
</pre></div>
-</div>
+ </div>
</div>
</div>
<div class="output_area">
-<div class="prompt"></div>
+
<div class="prompt"></div>
<div class="output_subarea output_stream output_stdout output_text">
</div>
<div class="cell border-box-sizing text_cell rendered"><div class="prompt input_prompt">
-</div>
-<div class="inner_cell">
+</div><div class="inner_cell">
<div class="text_cell_render border-box-sizing rendered_html">
<h2 id="Addressing">Addressing<a class="anchor-link" href="#Addressing">¶</a></h2><p>Because we are only using two combinators we could replace the list with a string made from only two characters.</p>
</div>
</div>
</div>
+<div class="cell border-box-sizing code_cell rendered">
+<div class="input">
+<div class="prompt input_prompt">In [19]:</div>
+<div class="inner_cell">
+ <div class="input_area">
+<div class=" highlight hl-ipython2"><pre><span></span>
+</pre></div>
+
+ </div>
+</div>
+</div>
+
+</div>
</div>
</div>
</body>
OSDN Git Service
