##// END OF EJS Templates
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.

File last commit:

r19814:eb27a16e
r20080:52d92404
Show More
menubar.less
78 lines | 1.3 KiB | text/x-less | LessCssLexer
MinRK
bootstrap menubar
r10888 #menubar {
Matthias BUSSONNIER
move styling from js to css
r17430 .border-box-sizing();
Jonathan Frederic
Make headerbar -1 margin global
r19814 margin-top: 1px;
MinRK
bootstrap menubar
r10888
Jonathan Frederic
Post discussion with @ellisonbg
r16950 .navbar {
border-top: 1px;
border-radius: 0px 0px @border-radius-base @border-radius-base;
Matthias Bussonnier
remove whitespace below menubar when toolbar hidden....
r19707 margin-bottom: -1px;
Jonathan Frederic
Post discussion with @ellisonbg
r16950 }
MinRK
tweak collapsed navbar style...
r18414
.navbar-toggle {
float: left;
}
.navbar-collapse {
clear: left;
}
jon
Fixed status indicator region
r16932 }
Jonathan Frederic
Post discussion with @ellisonbg
r16950 .nav-wrapper {
border-bottom: 1px solid @navbar-default-border;
}
jon
Fixed status indicator region
r16932
Matthias BUSSONNIER
make help menu a templates...
r14984 i.menu-icon {
// add padding to account for float-right
padding-top: 4px;
}
Jonathan Frederic
FF Fix: make ext icon same line as txt
r15095
ul#help_menu li a{
overflow: hidden;
padding-right: 2.2em;
i {
margin-right: -1.2em;
}
Jonathan Frederic
Move header padding removal to base page style
r16927 }
jon
Fixed status indicator region
r16932 // Make sub menus work in BS3.
// Credit: http://www.bootply.com/86684
Matthias Bussonnier
reformat css...
r19710 .dropdown-submenu {
position: relative;
}
.dropdown-submenu>.dropdown-menu {
top: 0;
left: 100%;
margin-top: -6px;
margin-left: -1px;
}
Matthias Bussonnier
unify submenu style with menu style...
r19717 // arrow that indicate presence of submenu
Matthias Bussonnier
reformat css...
r19710 .dropdown-submenu:hover>.dropdown-menu {
display: block;
}
.dropdown-submenu>a:after {
Matthias Bussonnier
unify submenu style with menu style...
r19717 .fa();
Matthias Bussonnier
reformat css...
r19710 display: block;
Matthias Bussonnier
unify submenu style with menu style...
r19717 content: @fa-var-caret-right;
Matthias Bussonnier
reformat css...
r19710 float: right;
Matthias Bussonnier
unify submenu style with menu style...
r19717 color: @dropdown-link-color;
margin-top: 2px;
Matthias Bussonnier
reformat css...
r19710 margin-right: -10px;
}
Matthias Bussonnier
unify submenu style with menu style...
r19717 .dropdown-submenu:hover>a:after {
color: @dropdown-link-hover-color;
Matthias Bussonnier
reformat css...
r19710 }
.dropdown-submenu.pull-left {
float: none;
}
.dropdown-submenu.pull-left>.dropdown-menu {
left: -100%;
margin-left: 10px;
}
Matthias Bussonnier
unify submenu style with menu style...
r19717
//end submenu