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

r19658:24d572e0


                r20080:52d92404

Download file

             savewidget.less
        
                    42 lines
            
             | 878 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / notebook / less / savewidget.less
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        Min RK
    
make savewidget css a little more generic...

              r19315
            
      span.save_widget {

        Min RK
    
remove some custom css...

              r19298
            
          margin-top: 6px;

        Min RK
    
make savewidget css a little more generic...

              r19315
            
          span.filename {

              height: 1em;

              line-height: 1em;

              padding: 3px;

        Jonathan Frederic
    
Additional aesthetic clean-up

              r19658
            
              margin-left: @padding-large-horizontal;

        Min RK
    
make savewidget css a little more generic...

              r19315
            
              border: none;

              font-size: 146.5%;

              &:hover{

                  // ensure body is lighter on dark palette, 

                  // and vice versa

                  background-color:contrast(@body-bg, lighten(@body-bg,30%), darken(@body-bg,10%));

              }

              .corner-all;

          }

        Brian E. Granger
    
Splitting notebook.less into separate files.

              r10730
            
      }

        Min RK
    
make savewidget css a little more generic...

              r19315
            
      span.checkpoint_status, span.autosave_status {

        Brian E. Granger
    
Splitting notebook.less into separate files.

              r10730
            
          font-size: small;

      }

        MinRK
    
hide save status as it shrinks

              r10902
            
      @media (max-width: 767px) {

        Min RK
    
make savewidget css a little more generic...

              r19315
            
          span.save_widget {

        MinRK
    
hide save status as it shrinks

              r10902
            
              font-size: small;

          }

        Min RK
    
make savewidget css a little more generic...

              r19315
            
          span.checkpoint_status, span.autosave_status {

            display: none;

        MinRK
    
hide save status as it shrinks

              r10902
            
          }

      }

      @media (min-width: 768px) and (max-width: 979px) {

        Min RK
    
make savewidget css a little more generic...

              r19315
            
          span.checkpoint_status {

        MinRK
    
hide save status as it shrinks

              r10902
            
              display: none;

          }

        Min RK
    
make savewidget css a little more generic...

              r19315
            
          span.autosave_status {

        MinRK
    
hide save status as it shrinks

              r10902
            
              font-size: x-small;

          }

      }

        Min RK
    
make savewidget css a little more generic...

              r19315

	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

Min RK make savewidget css a little more generic...	r19315	span.save_widget {
Min RK remove some custom css...	r19298	margin-top: 6px;
Min RK make savewidget css a little more generic...	r19315
		span.filename {
		height: 1em;
		line-height: 1em;
		padding: 3px;
Jonathan Frederic Additional aesthetic clean-up	r19658	margin-left: @padding-large-horizontal;
Min RK make savewidget css a little more generic...	r19315	border: none;
		font-size: 146.5%;
		&:hover{
		// ensure body is lighter on dark palette,
		// and vice versa
		background-color:contrast(@body-bg, lighten(@body-bg,30%), darken(@body-bg,10%));
		}
		.corner-all;
		}
Brian E. Granger Splitting notebook.less into separate files.	r10730	}

Min RK make savewidget css a little more generic...	r19315	span.checkpoint_status, span.autosave_status {
Brian E. Granger Splitting notebook.less into separate files.	r10730	font-size: small;
		}
MinRK hide save status as it shrinks	r10902
		@media (max-width: 767px) {
Min RK make savewidget css a little more generic...	r19315	span.save_widget {
MinRK hide save status as it shrinks	r10902	font-size: small;
		}
Min RK make savewidget css a little more generic...	r19315	span.checkpoint_status, span.autosave_status {
		display: none;
MinRK hide save status as it shrinks	r10902	}
		}

		@media (min-width: 768px) and (max-width: 979px) {
Min RK make savewidget css a little more generic...	r19315	span.checkpoint_status {
MinRK hide save status as it shrinks	r10902	display: none;
		}
Min RK make savewidget css a little more generic...	r19315	span.autosave_status {
MinRK hide save status as it shrinks	r10902	font-size: x-small;
		}
		}

Min RK make savewidget css a little more generic...	r19315