2014-12-29 18:35:21 +01:00
|
|
|
---
|
|
|
|
# Only the main Sass file needs front matter (the dashes are enough)
|
|
|
|
---
|
|
|
|
@charset "utf-8";
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// Our variables
|
2014-12-31 07:07:16 +01:00
|
|
|
//$base-font-family: Helvetica, Arial, sans-serif;
|
|
|
|
$base-font-family: "Copperplate / Copperplate Gothic Light", sans-serif;
|
2014-12-29 18:35:21 +01:00
|
|
|
$base-font-size: 16px;
|
|
|
|
$small-font-size: $base-font-size * 0.875;
|
|
|
|
$base-line-height: 1.5;
|
|
|
|
|
|
|
|
$spacing-unit: 30px;
|
|
|
|
|
2014-12-31 07:05:38 +01:00
|
|
|
$text-color: #111;
|
|
|
|
$background-color: #fdfdfd;
|
|
|
|
$brand-color: #2a7ae2;
|
2014-12-29 18:35:21 +01:00
|
|
|
|
2014-12-31 07:05:38 +01:00
|
|
|
$grey-color: #828282;
|
2014-12-30 19:41:34 +01:00
|
|
|
$grey-color-light: lighten($grey-color, 40%);
|
|
|
|
$grey-color-dark: darken($grey-color, 25%);
|
2014-12-29 18:35:21 +01:00
|
|
|
|
|
|
|
// Width of the content area
|
|
|
|
$content-width: 800px;
|
|
|
|
|
|
|
|
$on-palm: 600px;
|
|
|
|
$on-laptop: 800px;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// Using media queries with like this:
|
|
|
|
// @include media-query($on-palm) {
|
|
|
|
// .wrapper {
|
|
|
|
// padding-right: $spacing-unit / 2;
|
|
|
|
// padding-left: $spacing-unit / 2;
|
|
|
|
// }
|
|
|
|
// }
|
|
|
|
@mixin media-query($device) {
|
|
|
|
@media screen and (max-width: $device) {
|
|
|
|
@content;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// Import partials from `sass_dir` (defaults to `_sass`)
|
|
|
|
@import
|
|
|
|
"base",
|
|
|
|
"layout",
|
|
|
|
"syntax-highlighting"
|
|
|
|
;
|
2015-10-04 13:18:54 +02:00
|
|
|
|
2015-10-09 12:59:45 +02:00
|
|
|
// This is used in the index
|
2018-09-17 15:48:05 +02:00
|
|
|
#avatar {
|
2015-10-04 13:18:54 +02:00
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
width: 6em;
|
|
|
|
border: 1px solid black;
|
|
|
|
}
|
|
|
|
|
2015-10-09 12:59:45 +02:00
|
|
|
// This is the short bio in the index and all my profiles
|
2015-10-04 13:18:54 +02:00
|
|
|
#bio {
|
|
|
|
text-align: center;
|
|
|
|
//font-weight: bold;
|
|
|
|
font-style: italic;
|
|
|
|
}
|
2015-10-09 12:59:45 +02:00
|
|
|
|
2015-10-09 15:03:51 +02:00
|
|
|
// At least used in the index
|
|
|
|
.centered {
|
|
|
|
list-style-type: none;
|
|
|
|
margin:0 auto;
|
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
|
2015-10-09 12:59:45 +02:00
|
|
|
// IRC logs should be formatted with this
|
2015-10-09 14:22:32 +02:00
|
|
|
.irclog {
|
2015-10-09 12:59:45 +02:00
|
|
|
white-space: pre-wrap;
|
|
|
|
font-size: 15px;
|
|
|
|
border: 1px solid $grey-color-light;
|
|
|
|
border-radius: 3px;
|
|
|
|
background-color: #eef;
|
|
|
|
}
|
2015-10-10 07:53:21 +02:00
|
|
|
|
|
|
|
// Tables belong to CSS, make the HTML5 validator happy
|
|
|
|
table, td, th {
|
|
|
|
border: 1px solid black;
|
|
|
|
}
|
2015-10-31 08:41:06 +01:00
|
|
|
|
|
|
|
// Trying to make images look a little better
|
|
|
|
img {
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
border: 1px solid black;
|
|
|
|
}
|