Skip to content

Instantly share code, notes, and snippets.

View coffeenotfound's full-sized avatar
🐢
👏 Code 👏 Review

Jan Katzer coffeenotfound

🐢
👏 Code 👏 Review
View GitHub Profile
@0xjac
0xjac / private_fork.md
Last active March 1, 2025 03:24
Create a private fork of a public repository

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

  1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare [email protected]:usi-systems/easytrace.git

@JulioAlexanderAguilarAngulo
JulioAlexanderAguilarAngulo / blink001.C
Created December 12, 2014 15:09
STM32 Tutorial 001a: Blinking a led
/*************************************** STM32 Tutorial v.2015
Authors: Julio Alexander Aguilar Angulo. [email protected]
Elodie Pauly. [email protected]
(c) ISEN-TOULON. 2015. www.isen.fr
*******************************************************************************/
/**** Tuto 01a: Blinking a LED (and using registers and bit masking )**********/
/******************************************************************************/
#include "stm32l1xx.h" // prototypes and intrinsic declarations
/* Testboard: STM32L152 NUCLEO */
@p3t3r67x0
p3t3r67x0 / pseudo_elements.md
Last active February 25, 2025 22:27
A CSS pseudo-element is used to style specified parts of an element. In some cases you can style native HTML controls with vendor specific pseudo-elements. Here you will find an list of cross browser specific pseudo-element selectors.

Styling native elements

Native HTML controls are a challenge to style. You can style any element in the web platform that uses Shadow DOM with a pseudo element ::pseudo-element or the /deep/ path selector.

video::webkit-media-controls-timeline {
  background-color: lime;
}

video /deep/ input[type=range] {
@leostratus
leostratus / webkit-pseudo-elements.md
Created September 21, 2012 01:44
Webkit Pseudo-Element Selectors (Shadow DOM Elements)

An ongoing project to catalogue all of these sneaky, hidden, bleeding edge selectors as I prepare my JSConf EU 2012 talk.

Everything is broken up by tag, but within each the selectors aren't particularly ordered.

I have not tested/verified all of these. Have I missed some or got it wrong? Let me know. - A

A friendly reminder that you may need to set this property on your target/selected element to get the styling results you want:

-webkit-appearance:none;