blob: 5a814d742cd7879ed7e20aa988a5616f00096f0f (
plain) (
tree)
|
|
@import "bootstrap-sass/assets/stylesheets/bootstrap";
@import "@fortawesome/fontawesome-free/scss/fontawesome";
@import "@fortawesome/fontawesome-free/scss/brands";
@import "@fortawesome/fontawesome-free/scss/solid";
@import "academicons/css/academicons";
@import "highlight.js/scss/default";
@font-face {
font-family: Hebrew;
size-adjust: 120%;
src: url('/assets/fonts/SBL_Hebrew.ttf');
unicode-range: U+0590-05FF, U+FB1D-FB4F;
}
body {
font-family: Hebrew, sans-serif;
}
.container {
max-width: 970px;
}
.greyed-out {
color: #888;
}
.larger {
font-size: larger;
}
.nowrap {
white-space: nowrap;
}
abbr {
border-width: 0 !important;
}
img#profile {
margin: 1em 1em 1em 0;
}
div#basicinfo {
margin-top: 1em;
}
p#lead {
margin-top: 1em;
}
hr {
clear: both;
margin: 0;
}
a {
code {
color: inherit;
}
/* FontAwesome and Academicons */
.ai, .fab {
color: $text-color;
}
&:hover {
.ai, .fab {
color: $link-color;
}
}
}
table {
&.main_table {
> tbody > tr > td:first-child {
min-width: 120px;
}
&.publications > tbody > tr > td:first-child {
min-width: 8em;
text-align: right;
}
&.publications > tbody > tr > td:last-child > p {
margin-left: 2em;
text-indent: -1em;
/* Some ugly hard-coding to get the OA links to align nicely */
> a.oa {
display: inline-block;
> i {
margin-left: .3em;
}
}
}
}
tr {
td, th {
padding-right: 1em;
vertical-align: top;
&:last-child {
padding-right: 0;
}
}
}
margin-bottom: 6px;
}
span.tt {
font-family: monospace;
}
/* markdown is used for page content, but h1 - h3 are already used for the page
* title and subtitle. So we adapt the font size of the headings in the
* markdown content so that they are not larger than the page title. */
.markdown {
h1, h2, h3 { font-weight: bold; }
h1 { font-size: 18px; } /* size of h4 */
h2 { font-size: 14px; } /* size of h5 */
h3 { font-size: 12px; } /* size of h5 */
}
pre code {
tab-size: 4;
-moz-tab-size: 4;
white-space: pre;
}
pre code.lang-js {
tab-size: 2;
-moz-tab-size: 2;
}
blockquote {
font-size: unset;
}
footer {
padding: 1em 0;
}
.obfuscate > span {
display: none;
}
.breadcrumb {
margin-bottom: 0;
}
|