upstream/ipython Files · IPython/html/static/notebook/less/notebook.less

Work around a bug in setting and getting the mtime in python 2...

Work around a bug in setting and getting the mtime in python 2 See http://bugs.python.org/issue12904. Basically, we can get the mtime in nanosecond precision, but only set it in microsecond precision. This means that the shutil.copy2 will not set the destination's mtime to exactly the same mtime as our source. The end result is that we can *always* end up copying the extension because the source always appears newer. We add a microsecond of fudge time when checking to see if the source is newer than the destination to get around this. This bug is fixed in Python 3.3+, I believe.

Jonathan Frederic - - Load All Authors

File last commit:

r19814:eb27a16e


                r20080:52d92404

Download file

             notebook.less
        
                    81 lines
            
             | 1.6 KiB
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / notebook / less / notebook.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      @media (max-width: 767px) {

          // remove bootstrap-responsive's body padding on small screens

          body.notebook_app {

              padding-left: 0px;

              padding-right: 0px;

          }

      }

      #ipython-main-app {

          .border-box-sizing();

      }

      div#notebook_panel {

          margin: 0px;

          padding: 0px;

          .border-box-sizing();

          @media not print {

              background-color: @page-backdrop-color;

              min-height: @page-backdrop-height;

          }

      }

      div#notebook {

          font-size: @notebook_font_size;

          line-height: @notebook_line_height;

          overflow-y: hidden;

          overflow-x: auto;

          width: 100%;

          /* This spaces the page away from the edge of the notebook area */

          padding-top: @page-header-padding;

          padding-bottom: @page-header-padding;

          margin: 0px;

          outline: none;

          .border-box-sizing();

      }

      #notebook-container{

          @media not print{

              padding: @page-padding;

              background-color :  @page-color;

              min-height: @page-min-height;

              .box-shadow(@global-shadow);

          }

      }

      div.ui-widget-content {

          border: 1px solid @border_color;

          outline: none;

      }

      pre.dialog {

          background-color: @cell_background;

          border: 1px solid #ddd;

          .corner-all;

          padding: 0.4em;

          padding-left: 2em;

      }

      p.dialog {

          padding : 0.2em;

      }

      /* Word-wrap output correctly.  This is the CSS3 spelling, though Firefox seems

         to not honor it correctly.  Webkit browsers (Chrome, rekonq, Safari) do.

       */

      pre, code, kbd, samp { white-space: pre-wrap; }

      #fonttest {

          font-family: @font-family-monospace;

      }

      p {

          margin-bottom:0;

      }

      .end_space {

          height: 200px;

      }

      .notebook_app #header {

          .box-shadow(@global-shadow);

      }

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				@media (max-width: 767px) {
				// remove bootstrap-responsive's body padding on small screens
				body.notebook_app {
				padding-left: 0px;
				padding-right: 0px;
				}
				}

				#ipython-main-app {
				.border-box-sizing();
				}

				div#notebook_panel {
				margin: 0px;
				padding: 0px;
				.border-box-sizing();
				@media not print {
				background-color: @page-backdrop-color;
				min-height: @page-backdrop-height;
				}
				}
				div#notebook {
				font-size: @notebook_font_size;
				line-height: @notebook_line_height;
				overflow-y: hidden;
				overflow-x: auto;
				width: 100%;
				/* This spaces the page away from the edge of the notebook area */
				padding-top: @page-header-padding;
				padding-bottom: @page-header-padding;
				margin: 0px;
				outline: none;
				.border-box-sizing();
				}

				#notebook-container{
				@media not print{
				padding: @page-padding;
				background-color : @page-color;
				min-height: @page-min-height;
				.box-shadow(@global-shadow);
				}
				}

				div.ui-widget-content {
				border: 1px solid @border_color;
				outline: none;
				}

				pre.dialog {
				background-color: @cell_background;
				border: 1px solid #ddd;
				.corner-all;
				padding: 0.4em;
				padding-left: 2em;
				}

				p.dialog {
				padding : 0.2em;
				}

				/* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
				to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
				*/
				pre, code, kbd, samp { white-space: pre-wrap; }

				#fonttest {
				font-family: @font-family-monospace;
				}

				p {
				margin-bottom:0;
				}

				.end_space {
				height: 200px;
				}

				.notebook_app #header {
				.box-shadow(@global-shadow);
				}