function do_decorations(){
   document.getElementById("orange_decoration_line").style.height = document.getElementById("orange_section").offsetHeight + 25 + "px";
   document.getElementById("grey_decoration_line").style.height = document.getElementById("grey_section").offsetHeight + 25 + "px";
   document.getElementById("light_grey_decoration_line").style.height = document.getElementById("light_grey_section").offsetHeight + 25 + "px";
}