upstream/ipython Files · IPython/html/static/notebook/less/textcell.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.

Bussonnier Matthias - - Load All Authors

File last commit:

r19124:964db4cb


                r20080:52d92404

Download file

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

      div.text_cell {

          padding: 5px 5px 5px 0px;

          .hbox();

      }

      @media (max-width: 480px) {

          // remove prompt indentation on small screens

          div.text_cell > div.prompt {

              display: none;

          }

      }

      div.text_cell_render {

          /*font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;*/

          outline: none;

          resize: none;

          width:  inherit;

          border-style: none;

          padding: 0.5em 0.5em 0.5em @code_padding;

          color: @text-color;

          .border-box-sizing();

      }

      a.anchor-link:link {

        text-decoration: none;

        padding: 0px 20px;

        visibility: hidden;

      }

      h1,h2,h3,h4,h5,h6 {

          &:hover .anchor-link {

              visibility: visible;

          }

      }

      .text_cell.rendered .input_area {

          display: none;

      }

      .text_cell.unrendered .text_cell_render {

          display:none;

      }

      .cm-header-1,

      .cm-header-2,

      .cm-header-3,

      .cm-header-4,

      .cm-header-5,

      .cm-header-6 {

          font-weight: bold;

          font-family: @font-family-sans-serif;

      }

      .cm-header-1 { font-size: 185.7%; }

      .cm-header-2 { font-size: 157.1%; }

      .cm-header-3 { font-size: 128.6%; }

      .cm-header-4 { font-size: 110%; }

      .cm-header-5 {

          font-size: 100%;

          font-style: italic;

      }

      .cm-header-6 {

          font-size: 100%;

          font-style: italic;

      }

	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

				div.text_cell {
				padding: 5px 5px 5px 0px;
				.hbox();
				}
				@media (max-width: 480px) {
				// remove prompt indentation on small screens
				div.text_cell > div.prompt {
				display: none;
				}
				}

				div.text_cell_render {
				/font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;/
				outline: none;
				resize: none;
				width: inherit;
				border-style: none;
				padding: 0.5em 0.5em 0.5em @code_padding;
				color: @text-color;
				.border-box-sizing();
				}

				a.anchor-link:link {
				text-decoration: none;
				padding: 0px 20px;
				visibility: hidden;
				}

				h1,h2,h3,h4,h5,h6 {
				&:hover .anchor-link {
				visibility: visible;
				}
				}

				.text_cell.rendered .input_area {
				display: none;
				}

				.text_cell.unrendered .text_cell_render {
				display:none;
				}

				.cm-header-1,
				.cm-header-2,
				.cm-header-3,
				.cm-header-4,
				.cm-header-5,
				.cm-header-6 {
				font-weight: bold;
				font-family: @font-family-sans-serif;
				}

				.cm-header-1 { font-size: 185.7%; }
				.cm-header-2 { font-size: 157.1%; }
				.cm-header-3 { font-size: 128.6%; }
				.cm-header-4 { font-size: 110%; }
				.cm-header-5 {
				font-size: 100%;
				font-style: italic;
				}
				.cm-header-6 {
				font-size: 100%;
				font-style: italic;
				}