151 lines
2.6 KiB
CSS
151 lines
2.6 KiB
CSS
|
|
/******************************
|
|
* main layout
|
|
******************************/
|
|
|
|
body {
|
|
display: flex;
|
|
flex-direction: column;
|
|
min-height: 100vh;
|
|
}
|
|
|
|
.content-wrapper {
|
|
display: flex;
|
|
flex: 1;
|
|
flex-direction: column;
|
|
justify-content: space-between;
|
|
}
|
|
|
|
|
|
/******************************
|
|
* header
|
|
******************************/
|
|
|
|
/* this is the one in the very top left of screen, next to logo and linked to
|
|
the home page */
|
|
#global-header-title {
|
|
margin-left: 0.3rem;
|
|
}
|
|
|
|
header .level {
|
|
/* TODO: not sure what this 60px was supposed to do? but it broke the */
|
|
/* styles for the feedback dialog, so disabled it is.
|
|
/* height: 60px; */
|
|
/* line-height: 60px; */
|
|
padding-left: 0.5em;
|
|
padding-right: 0.5em;
|
|
}
|
|
|
|
header .level #header-logo {
|
|
display: inline-block;
|
|
}
|
|
|
|
header .level .global-title,
|
|
header .level-left .global-title {
|
|
font-size: 2em;
|
|
font-weight: bold;
|
|
}
|
|
|
|
/* indent nested menu items a bit */
|
|
header .navbar-item.nested {
|
|
padding-left: 2.5rem;
|
|
}
|
|
|
|
header span.header-text {
|
|
font-size: 2em;
|
|
font-weight: bold;
|
|
margin-right: 10px;
|
|
}
|
|
|
|
header .level .theme-picker {
|
|
display: inline-flex;
|
|
}
|
|
|
|
#content-title {
|
|
padding: 0.3rem;
|
|
}
|
|
|
|
#content-title h1 {
|
|
font-size: 2rem;
|
|
margin-left: 1rem;
|
|
}
|
|
|
|
/******************************
|
|
* content
|
|
******************************/
|
|
|
|
#page-body {
|
|
padding: 0.4em;
|
|
}
|
|
|
|
/******************************
|
|
* context menu
|
|
******************************/
|
|
|
|
#context-menu {
|
|
margin-bottom: 1em;
|
|
margin-left: 1em;
|
|
text-align: right;
|
|
white-space: nowrap;
|
|
}
|
|
|
|
/******************************
|
|
* "object helper" panel
|
|
******************************/
|
|
|
|
.object-helpers .panel-heading {
|
|
white-space: nowrap;
|
|
}
|
|
|
|
.object-helpers a {
|
|
white-space: nowrap;
|
|
}
|
|
|
|
.object-helper {
|
|
border: 1px solid black;
|
|
margin: 1em;
|
|
padding: 1em;
|
|
width: 20em;
|
|
}
|
|
|
|
.object-helper-content {
|
|
margin-top: 1em;
|
|
}
|
|
|
|
/******************************
|
|
* markdown
|
|
******************************/
|
|
|
|
.rendered-markdown p,
|
|
.rendered-markdown ul {
|
|
margin-bottom: 1rem;
|
|
}
|
|
|
|
.rendered-markdown .codehilite {
|
|
margin-bottom: 2rem;
|
|
}
|
|
|
|
/******************************
|
|
* fix datepicker within modals
|
|
* TODO: someday this may not be necessary? cf.
|
|
* https://github.com/buefy/buefy/issues/292#issuecomment-347365637
|
|
******************************/
|
|
|
|
.modal .animation-content .modal-card {
|
|
overflow: visible !important;
|
|
}
|
|
|
|
.modal-card-body {
|
|
overflow: visible !important;
|
|
}
|
|
|
|
|
|
/******************************
|
|
* feedback
|
|
******************************/
|
|
|
|
.feedback-dialog .red {
|
|
color: red;
|
|
font-weight: bold;
|
|
}
|