##// END OF EJS Templates
hide header-bar when header is hidden...
hide header-bar when header is hidden also reduce the amount of CSS used to accomplish the 1px line (no negative margins)

File last commit:

r19468:ead6b15c
r19902:3de4ea39
Show More
__init__.py
8 lines | 203 B | text/x-python | PythonLexer
# encoding: utf-8
# Copyright (c) IPython Development Team.
# Distributed under the terms of the Modified BSD License.
from .application import *
from .configurable import *
from .loader import Config