2014-12-29 18:35:21 +01:00
|
|
|
---
|
|
|
|
# Only the main Sass file needs front matter (the dashes are enough)
|
|
|
|
---
|
|
|
|
|
2023-02-22 19:28:38 +01:00
|
|
|
@charset "utf-8";
|
2014-12-29 18:35:21 +01:00
|
|
|
|
|
|
|
// Our variables
|
2024-05-24 17:12:19 +02:00
|
|
|
$base-font-family: "Liberation Serif", "Tinos", "Times New Roman", serif;
|
2024-05-24 13:56:01 +02:00
|
|
|
//$base-font-family: "Liberation Sans", "Arimo", "Arial", sans-serif;
|
2024-05-24 14:07:48 +02:00
|
|
|
//$base-font-size: 16px;
|
|
|
|
$base-font-size: revert;
|
|
|
|
//$small-font-size: $base-font-size * 0.875;
|
|
|
|
$small-font-size: revert;
|
2014-12-29 18:35:21 +01:00
|
|
|
$base-line-height: 1.5;
|
|
|
|
|
2023-02-22 19:28:38 +01:00
|
|
|
$spacing-unit: 30px;
|
2014-12-29 18:35:21 +01:00
|
|
|
|
2024-05-21 11:09:33 +02:00
|
|
|
$text-color: revert;
|
|
|
|
//#111;
|
|
|
|
$background-color: revert;
|
|
|
|
//#fdfdfd;
|
|
|
|
$brand-color: revert;
|
|
|
|
//#2a7ae2;
|
|
|
|
|
|
|
|
$grey-color: revert;
|
|
|
|
//#828282;
|
2024-05-21 11:11:08 +02:00
|
|
|
$grey-color-light: revert;
|
|
|
|
//lighten($grey-color, 40%);
|
|
|
|
$grey-color-dark: revert;
|
|
|
|
//darken($grey-color, 25%);
|
2014-12-29 18:35:21 +01:00
|
|
|
|
|
|
|
// Width of the content area
|
2023-02-22 19:28:38 +01:00
|
|
|
$content-width: 800px;
|
2014-12-29 18:35:21 +01:00
|
|
|
|
2023-02-22 19:28:38 +01:00
|
|
|
$on-palm: 600px;
|
|
|
|
$on-laptop: 800px;
|
2014-12-29 18:35:21 +01:00
|
|
|
|
|
|
|
// 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) {
|
2023-02-22 19:28:38 +01:00
|
|
|
@media screen and (max-width: $device) {
|
|
|
|
@content;
|
|
|
|
}
|
2014-12-29 18:35:21 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// Import partials from `sass_dir` (defaults to `_sass`)
|
2023-02-22 19:28:38 +01:00
|
|
|
@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 {
|
2023-02-22 19:28:38 +01:00
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
width: 6em;
|
2024-05-21 11:09:33 +02:00
|
|
|
border: 1px solid;
|
2024-05-22 07:16:34 +02:00
|
|
|
//black;
|
2015-10-04 13:18:54 +02:00
|
|
|
}
|
|
|
|
|
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 {
|
2023-02-22 19:28:38 +01:00
|
|
|
text-align: center;
|
|
|
|
//font-weight: bold;
|
|
|
|
font-style: italic;
|
2015-10-04 13:18:54 +02:00
|
|
|
}
|
2015-10-09 12:59:45 +02:00
|
|
|
|
2015-10-09 15:03:51 +02:00
|
|
|
// At least used in the index
|
|
|
|
.centered {
|
2023-02-22 19:28:38 +01:00
|
|
|
list-style-type: none;
|
|
|
|
margin: 0 auto;
|
|
|
|
text-align: center;
|
2015-10-09 15:03:51 +02:00
|
|
|
}
|
|
|
|
|
2015-10-09 12:59:45 +02:00
|
|
|
// IRC logs should be formatted with this
|
2015-10-09 14:22:32 +02:00
|
|
|
.irclog {
|
2023-02-22 19:28:38 +01:00
|
|
|
white-space: pre-wrap;
|
|
|
|
font-size: 15px;
|
2024-05-21 11:09:33 +02:00
|
|
|
border: 1px solid;
|
2024-05-22 07:16:34 +02:00
|
|
|
// $grey-color-light;
|
2023-02-22 19:28:38 +01:00
|
|
|
border-radius: 3px;
|
2024-05-21 11:09:33 +02:00
|
|
|
background-color: revert;
|
2024-05-22 07:16:34 +02:00
|
|
|
//#eef;
|
2015-10-09 12:59:45 +02:00
|
|
|
}
|
2015-10-10 07:53:21 +02:00
|
|
|
|
|
|
|
// Tables belong to CSS, make the HTML5 validator happy
|
2023-02-22 19:28:38 +01:00
|
|
|
table,
|
|
|
|
td,
|
|
|
|
th {
|
2024-05-21 11:09:33 +02:00
|
|
|
border: 1px solid;
|
2024-05-22 07:16:34 +02:00
|
|
|
//black;
|
2015-10-10 07:53:21 +02:00
|
|
|
}
|
2015-10-31 08:41:06 +01:00
|
|
|
|
|
|
|
// Trying to make images look a little better
|
|
|
|
img {
|
2023-02-22 19:28:38 +01:00
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
2024-05-22 07:16:34 +02:00
|
|
|
border: 1px solid;
|
|
|
|
//black;
|
2015-10-31 08:41:06 +01:00
|
|
|
}
|
2020-02-17 19:19:42 +01:00
|
|
|
|
|
|
|
// Also in index, hidden text
|
2024-05-21 11:09:33 +02:00
|
|
|
//#cake {
|
|
|
|
// color: rgba(0, 0, 0, 0);
|
|
|
|
//}
|