f504a59eb1
Moved extract, apply links of history widget to the top and made them into buttons. And always show them even if there's no operation. Minor tweaks to history entries' visual. git-svn-id: http://google-refine.googlecode.com/svn/trunk@1571 7d457c2a-affb-35e4-300a-418c747d4874
104 lines
1.5 KiB
Plaintext
104 lines
1.5 KiB
Plaintext
@import-less url("theme.less");
|
|
|
|
#body {
|
|
display: none;
|
|
}
|
|
|
|
#project-title, #project-controls {
|
|
position: absolute;
|
|
top: 0;
|
|
display: none;
|
|
}
|
|
|
|
#project-title {
|
|
left: 140px;
|
|
height: 40px;
|
|
padding: 4px 0 0 0;
|
|
font-size: 1.6em;
|
|
}
|
|
|
|
#project-controls {
|
|
right: 0;
|
|
height: 40px;
|
|
font-size: 1.3em;
|
|
}
|
|
|
|
#project-name-button {
|
|
padding: 3px;
|
|
border: 1px solid transparent;
|
|
}
|
|
|
|
#project-name-button:hover {
|
|
background: #ffffd6;
|
|
border: 1px solid #ccc;
|
|
border-top: 1px solid #aaa;
|
|
}
|
|
|
|
#project-permalink-button {
|
|
padding: 0 4px;
|
|
font-size: 0.7em;
|
|
}
|
|
|
|
#left-panel {
|
|
position: fixed;
|
|
overflow: hidden;
|
|
padding: 0px;
|
|
padding-top: @padding_tight;
|
|
font-size: 1.3em;
|
|
background: @fill_normal;
|
|
|
|
.ui-tabs .ui-tabs-panel {
|
|
border-left: none;
|
|
border-right: none;
|
|
border-bottom: none;
|
|
}
|
|
}
|
|
|
|
#right-panel {
|
|
position: fixed;
|
|
overflow: hidden;
|
|
padding: 0px;
|
|
padding-left: @padding_tight;
|
|
background: @chrome_primary;
|
|
}
|
|
|
|
#tool-panel {
|
|
position: relative;
|
|
height: 32px;
|
|
}
|
|
|
|
#summary-bar {
|
|
position: absolute;
|
|
top: @padding_normal;
|
|
left: @padding_normal;
|
|
font-size: 1.8em;
|
|
font-weight: bold;
|
|
}
|
|
|
|
#summary-total {
|
|
font-size: 0.8em;
|
|
font-weight: normal;
|
|
}
|
|
|
|
#extension-bar {
|
|
position: absolute;
|
|
top: 0px;
|
|
right: @padding_loose;
|
|
white-space: nowrap;
|
|
font-size: 1.3em;
|
|
padding: @padding_tight 0;
|
|
}
|
|
|
|
#extension-bar .secondary {
|
|
font-size: 0.85em;
|
|
}
|
|
|
|
#view-panel {
|
|
background: white;
|
|
overflow: hidden;
|
|
}
|
|
|
|
#facet-panel, #history-panel {
|
|
overflow: auto;
|
|
}
|