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 7301ca10e6 Datetime 4 years ago
..
button.png Changed the button color 4 years ago
convert_table.py Added helper scripts 5 years ago
create_index.py Added helper scripts 5 years ago
default.min.css Removed green color, comparable 5 years ago
empty_script.py Empty script 5 years ago
external_link.png Test of external link 5 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
index_for_pdf.html Datetime, Duck types 4 years ago
index_for_pdf_print.html Datetime, Duck types 4 years ago
index_tmp.txt Small fixes 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
script.js Fixed TOC string in script.js 5 years ago
script_2.js Datetime 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 Added PDF download button 4 years ago
twitter_card_large.jpeg Added large twitter card 5 years ago