aditya-manit

/* New view switcher code */
:root {
  /* Active colors */
  --picker-active-bg-color: rgb(233, 233, 233) !important;
  --picker-active-text-color: rgb(70, 70, 70) !important;
  /* Default colors */
  --picker-border-color: rgb(233, 233, 233) !important;
  --picker-text-color: rgb(70, 70, 70) !important;
  --picker-border-radius: 8px !important;
  /* Hover colors */

aditya-manit

const addCopyButtonToCodeBlocks = () => {
    const codeBlocks = document.querySelectorAll('.notion-code');

    codeBlocks.forEach((codeBlock) => {
        const button = document.createElement('button');
        button.classList.add('copy-to-clipboard-button');
        button.textContent = "Copy";

        button.addEventListener('click', () => {
            navigator.clipboard.writeText(codeBlock.innerText);

aditya-manit

#!/bin/bash

# Install Node.js and npm
sudo apt-get update
sudo apt-get install -y nodejs npm

# Create a directory for your project
mkdir disk-usage-api
cd disk-usage-api

aditya-manit

On Discord, there's two different emoji types:

• Unicode Emoji
• Custom Emoji

Unicode emoji are received as a normal unicode character(s) so can be treated as plain text. You send the character's as-is, and receive them as-is. You can write unicode emoji in python strings a number of ways:
The official unicode character name: \N{NAME}
The unicode codepoint: \u0000 or \U00000000
The raw unicode character itself.