Skip to content

Instantly share code, notes, and snippets.

Avatar

Paul van Buuren paulvanbuuren

View GitHub Profile
View Targetselector
<style type="text/css">
.dinges div {
margin: 10px;
float: left;
border: 1px solid #00F;
width: 120px;
padding: 10px;
}
.dinges .item:target {
border: 1px solid #F00;
View keybase.md

Keybase proof

I hereby claim:

  • I am tr8MAyAwruxU on github.
  • I am paulvanbuuren (https://keybase.io/paulvanbuuren) on keybase.
  • I have a public key whose fingerprint is 61C2 912B 050A 85D4 1AA0 4EE4 5F4F 3DB7 EF78 EA3F

To claim this, I am signing this object:

View wbvb-event-manager.php
<?php
/*
Plugin Name: Events Manager Improvements
Version: 1.0
Description: Improves some of Event Manager's functionality (WordPress plugin)
Author: Paul van Buuren
Author URI: http://wbvb.nl/
*/
@paulvanbuuren
paulvanbuuren / header-level.less
Last active Aug 29, 2015
Header level. LESS mixin to help you identify the level of the headers in your text.
View header-level.less
/* ======================================================
LESS mixin to help you identify the level
of the headers in your text.
---------------
Using a sound and complete header hierarchy vastly
improves the accessibility and understandability of your
document.
====================================================== */
@paulvanbuuren
paulvanbuuren / WordPress: Featured Images in RSS Feed
Last active Aug 29, 2015
WordPress: Featured Images in RSS Feed
View WordPress: Featured Images in RSS Feed
@paulvanbuuren
paulvanbuuren / WordPress: Add Logo to Admin Page
Created Feb 10, 2015
WordPress: Add Logo to Admin Page
View WordPress: Add Logo to Admin Page
// from: http://www.codeinwp.com/blog/wordpress-image-code-snippets/
// ============================================================================
// If you’re going to add your logo to the login page, you may as well top things off by adding to the admin page too, right?
// Just add the following code and upload your logo (again, feel free to change the file location to suit):
// ============================================================================
function custom_admin_logo() {
echo '<style type="text/css">
#header-logo { background-image: url('.get_bloginfo('template_directory').'/images/admin_logo.png) !important; }
@paulvanbuuren
paulvanbuuren / WordPress: Remove Automatic JPEG Compression
Created Feb 10, 2015
WordPress: Remove Automatic JPEG Compression
View WordPress: Remove Automatic JPEG Compression
// from: http://www.codeinwp.com/blog/wordpress-image-code-snippets/
// ============================================================================
// WordPress: Remove Automatic JPEG Compression
// ============================================================================
add_filter( 'jpeg_quality', 'smashing_jpeg_quality' );
function smashing_jpeg_quality() {
return 100;
}
View gist:995328ca6b025199b0ea
Verifying that +paulvanbuuren is my blockchain ID. https://onename.com/paulvanbuuren
View gist:f828d75785bcc4ad931860ed79726a9c
define( 'ANIMATIONCOOKIEKEY', 'mag_animatie_tonen' );
//========================================================================================================
add_action( 'init', 'gist_check_if_cookies_are_enabled' );
//========================================================================================================
@paulvanbuuren
paulvanbuuren / gist:392014094eb6f9f0006423442fc0595c
Created Jan 31, 2018
WordPress - tweaking the tinyMCE editor
View gist:392014094eb6f9f0006423442fc0595c
/*
* Modifying TinyMCE editor to remove unused items.
*/
function wbvb_wpadmin_adjust_tinymce_options( $settings ) {
// remove pointless layout options:
$settings['theme_advanced_disable'] = 'underline,spellchecker,forecolor,justifyfull';
$settings['theme_advanced_buttons2_add'] = 'styleselect';
You can’t perform that action at this time.