<!DOCTYPE html>
<html>
<head><meta charset="utf-8" />
-<title>The_Four_Operations</title><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.1.10/require.min.js"></script>
+
+<title>The_Four_Operations</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;
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;
+}
+.tag-container > * {
+ margin: 0 4px;
+}
+.remove-tag-btn {
+ margin-left: 4px;
+}
+.tags-input {
+ display: flex;
+}
+.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);
+}
+.tags-input > * {
+ margin-left: 4px;
+}
+.cell-tag,
+.tags-input input,
+.tags-input button {
+ 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;
+ box-shadow: none;
+ width: inherit;
+ font-size: inherit;
+ height: 22px;
+ line-height: 22px;
+ padding: 0px 4px;
+ display: inline-block;
+}
+.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);
+}
+.cell-tag::-moz-placeholder,
+.tags-input input::-moz-placeholder,
+.tags-input button::-moz-placeholder {
+ color: #999;
+ opacity: 1;
+}
+.cell-tag:-ms-input-placeholder,
+.tags-input input:-ms-input-placeholder,
+.tags-input button:-ms-input-placeholder {
+ color: #999;
+}
+.cell-tag::-webkit-input-placeholder,
+.tags-input input::-webkit-input-placeholder,
+.tags-input button::-webkit-input-placeholder {
+ color: #999;
+}
+.cell-tag::-ms-expand,
+.tags-input input::-ms-expand,
+.tags-input button::-ms-expand {
+ border: 0;
+ background-color: transparent;
+}
+.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;
+}
+.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.cell-tag,
+textarea.tags-input input,
+textarea.tags-input button {
+ height: auto;
+}
+select.cell-tag,
+select.tags-input input,
+select.tags-input button {
+ height: 30px;
+ line-height: 30px;
+}
+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;
+}
+.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;
z-index: 110;
.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">
<h1 id="The-Four-Fundamental-Operations-of-Definite-Action">The Four Fundamental Operations of Definite Action<a class="anchor-link" href="#The-Four-Fundamental-Operations-of-Definite-Action">¶</a></h1><p>All definite actions (computer program) can be defined by four fundamental patterns of combination:</p>
<ol>
</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="Sequence">Sequence<a class="anchor-link" href="#Sequence">¶</a></h2><p>Do one thing after another. In joy this is represented by putting two symbols together, juxtaposition:</p>
</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="Branch">Branch<a class="anchor-link" href="#Branch">¶</a></h2><p>Do one thing or another.</p>
</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>Given some branch function <code>G</code>:</p>
</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">
<h3 id="ifte"><code>ifte</code><a class="anchor-link" href="#ifte">¶</a></h3><p>Often it will be easier on the programmer to write branching code with the predicate specified in a quote. The <code>ifte</code> combinator provides this (<code>T</code> for "then" and <code>E</code> for "else"):</p>
</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="Loop">Loop<a class="anchor-link" href="#Loop">¶</a></h2><p>Do one thing zero or more times.</p>
</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>Because <code>loop</code> expects and consumes a Boolean value, the <code>Q</code> function must be compatible with the previous stack <em>and itself</em> with a boolean flag for the next iteration:</p>
</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">
<h3 id="while"><code>while</code><a class="anchor-link" href="#while">¶</a></h3><p>Keep doing <code>B</code> <em>while</em> some predicate <code>P</code> is true. This is convenient as the predicate function is made nullary automatically and the body function can be designed without regard to leaving a Boolean flag for the next iteration:</p>
</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="Parallel">Parallel<a class="anchor-link" href="#Parallel">¶</a></h2><p>The <em>parallel</em> operation indicates that two (or more) functions <em>do not interfere</em> with each other and so can run in parallel. The main difficulty in this sort of thing is orchestrating the recombining ("join" or "wait") of the results of the functions after they finish.</p>
<p>The current implementaions and the following definitions <em>are not actually parallel</em> (yet), but there is no reason they couldn't be reimplemented in terms of e.g. Python threads. I am not concerned with performance of the system just yet, only the elegance of the code it allows us to write.</p>
</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">
<h3 id="cleave"><code>cleave</code><a class="anchor-link" href="#cleave">¶</a></h3><p>Joy has a few parallel combinators, the main one being <code>cleave</code>:</p>
</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">
<h3 id=""Apply"-Functions">"Apply" Functions<a class="anchor-link" href="#"Apply"-Functions">¶</a></h3><p>There are also <code>app2</code> and <code>app3</code> which run a single quote on more than one value:</p>
</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>(I'm not sure why <code>cleave</code> was specified to take that value, I may make a combinator that does the same thing but without expecting a value.)</p>
</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">
<h3 id="map"><code>map</code><a class="anchor-link" href="#map">¶</a></h3><p>The common <code>map</code> function in Joy should also be though of as a <em>parallel</em> operator:</p>
</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">
<h3 id="pam"><code>pam</code><a class="anchor-link" href="#pam">¶</a></h3><p>One of my favorite combinators, the <code>pam</code> combinator is just:</p>
</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">
<h3 id="Handling-Other-Kinds-of-Join">Handling Other Kinds of Join<a class="anchor-link" href="#Handling-Other-Kinds-of-Join">¶</a></h3><p>The <code>cleave</code> operators and others all have pretty brutal join semantics: everything works and we always wait for every sub-computation. We can imagine a few different potentially useful patterns of "joining" results from parallel combinators.</p>
</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">
<h4 id="first-to-finish">first-to-finish<a class="anchor-link" href="#first-to-finish">¶</a></h4><p>Thinking about variations of <code>pam</code> there could be one that only returns the first result of the first-to-finish sub-program, or the stack could be replaced by its output stack.</p>
<p>The other sub-programs would be cancelled.</p>
</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">
<h4 id=""Fulminators"">"Fulminators"<a class="anchor-link" href="#"Fulminators"">¶</a></h4><p>Also known as "Futures" or "Promises" (by <em>everybody</em> else. "Fulinators" is what I was going to call them when I was thinking about implementing them in Thun.)</p>
<p>The runtime could be amended to permit "thunks" representing the results of in-progress computations to be left on the stack and picked up by subsequent functions. These would themselves be able to leave behind more "thunks", the values of which depend on the eventual resolution of the values of the previous thunks.</p>
OSDN Git Service
