You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
Jure Šorn 6358d27b56 Created the pdf dir and cleaned the web dir 4 years ago
..
convert_table.py Added helper scripts 5 years ago
default.min.css Removed green color, comparable 5 years ago
empty_script.py Empty script 4 years ago
favicon.png Favicon 5 years ago
highlight.min.js Added web directory 6 years ago
image_720.jpeg Image 6 years ago
image_888.jpeg Wider image 6 years ago
image_960.jpeg Wider image 6 years ago
image_orig.jpeg Image 6 years ago
image_social.png Added slots 5 years ago
image_twitter_card.jpeg Twitter card 5 years ago
image_twitter_card_2.jpeg Changed twitter summary card 5 years ago
jquery-3.4.0.min.js Added back to top button 5 years ago
jquery-3.4.0.slim.min.js Added JS script that checks if Menlo font exists 5 years ago
mario_bros.png Updated super mario image 4 years ago
script_2.js Exceptions 4 years ago
showdown.min.js Added web directory 6 years ago
style.css Increased font size of mobile site from 70% to 72% 5 years ago
template.html Created the pdf dir and cleaned the web dir 4 years ago
twitter_card_large.jpeg Added large twitter card 5 years ago