Skip to content

Instantly share code, notes, and snippets.

View BorisAnthony's full-sized avatar

Boris Anthony BorisAnthony

View GitHub Profile
@BorisAnthony
BorisAnthony / workbench.colorCustomizations.json
Created January 17, 2025 05:07 — forked from dcts/workbench.colorCustomizations.json
A list of all Visual Studio Code customizable colors, grouped by UI region. Copy and paste into User Settings (comments are allowed) to tweak an existing theme or work on your own.
"workbench.colorCustomizations": {
// Contrast Colors - The contrast colors are typically only set for high contrast themes. If set, they add an additional border around items across the UI to increase the contrast.
"contrastActiveBorder": "",
"contrastBorder": "",
// Base Colors
"focusBorder": "",
"foreground": "",
"widget.shadow": "",
"selection.background": "",
"descriptionForeground": "",
@BorisAnthony
BorisAnthony / gist:0eae94bc3b1447b7ff391023fe76e30e
Created October 17, 2024 08:00
Example of libra.re book object data structure (JSON)
{
"title": "Modern Science and Anarchism",
"subtitle": null,
"slug": "modern-science-and-anarchism",
"series_index": 1,
"caid": 993,
"uuid": "e0896194-dcef-4c5c-9cea-c6844ba85f5e",
"isbn": "9780341661047",
"gdrds": "42483549",
"authors": {
@BorisAnthony
BorisAnthony / Uebersicht-FullScreen-GradientHours.jsx
Created October 13, 2024 13:13
Übersicht "Fullscreen Time Hue Gradient"
// -----------------------------------------------------------------------------
import { css } from "uebersicht";
import { DateTime } from "luxon";
// Refresh Frequency of the widget
// This affects only the final return, not the whole script
export const refreshFrequency = 1000 * 60;
// Trigger the refresh
export const command = (dispatch) => {
@BorisAnthony
BorisAnthony / gist:783de124610cd4de6e3d6491f8f957fe
Created October 9, 2024 07:56
Übersicht "TimeZoneStrip" JSX widget
/**
* Übersicht "TimeZoneStrip" JSX widget
* [email protected] / 2024-10-09
* MIT Licensed
* Based on https://www.reddit.com/r/Ubersicht/comments/1fdp5bu/widget_based_on_the_worldtimebuddy/
*/
import { css, run } from "uebersicht";
const timezones = [
{ name: "JST", timezone: "Asia/Tokyo" },
@BorisAnthony
BorisAnthony / gist:ae1cd7d865cd09efad53ea3f8ce1445f
Created September 6, 2024 19:23
PHP Cardinal Directions <-> Direction Degrees
<?php
class CardinalDirections
{
private const CARDINALS = [
'N', 'NNE', 'NE', 'ENE', 'E', 'ESE', 'SE', 'SSE',
'S', 'SSW', 'SW', 'WSW', 'W', 'WNW', 'NW', 'NNW'
];
public static function degreesToCardinals($degrees): array
/**
From:
https://codepen.io/jscottsmith/pen/VLzMLo?editors=0010
Post about console log styles:
http://jscottsmith.me/notes/styling-your-console-logs
**/
// Styles and Colors
var colors = {
@BorisAnthony
BorisAnthony / mastodon.css
Last active December 23, 2022 14:39
CSS for Mastodon - 2022-12-23
@import url('https://fonts.googleapis.com/css2?family=Source+Sans+Pro:wght@200;300;400;600&display=swap');
body {
font-family: 'Source Sans Pro', sans-serif;
font-size: 12px;
font-weight: 400;
}
.getting-started__trends,

PostSpectacular Manifesto

Literacy

  • Learn by doing
    • Take away a sound understanding of new concepts learned at the end of each activity
    • Transform knowledge into intuition
    • Share your learnings
    • Experiment to avoid/overcome procrastination
  • Go further, Carpe noctem
/* -------------------------------
This is a custom CSS to override the styling on
https://nftbiker.xyz/follow
Use an extension like Stylish on Chrome or Firefox, create a new "style" and paste this in.
For me it only works if you set the "Applies to" URL to the full one including the wallet you are following.
WARNING: This actually hides a few little bits of functionality I never found useful.
These include:
- textfile input for following multiple wallets
@BorisAnthony
BorisAnthony / gist:f3b192cd0f0cd74f76550da9d6cf7507
Last active December 23, 2022 02:05
Twitter dot com - User CSS - Quiet!
/* Updated 2022-12-23 */
/* Set some base color variable here. Default is a deep red. */
:root {
--keycolor: #900;
--keycolor-active: #f00;
--keycolor-hover: #c00;
}
/*a[data-testid="AppTabBar_Explore_Link"],*/
a[aria-label="Bookmarks"],