Let's see. I round up. 10amps at 24volts. 240watts an hour. we would be better off if we talked about trading off the computer for one that is more energy efficient. Otherwise we are talking about 5 hours= 1200watt hours. Winter hours, about 5 hours would be a minimum of 500 watts of solar and the system to support them. For hours after the sun sets we take the 1200 watts/ 12 volt if your looking for 12 volt system. This means 200 amp hours of battery, I would suggest lithium for a faster more efficient charge cycle. The numbers are rounded up to the system numbers. 19 volts is the computer voltage and 9 amps of power, the difference is for loss or low solar days. The LED lights don't use enough power to even figure in. Depending on the computer power needed You may have better options. many newer laptops use USB for charging at no more than 5 amps. An example is my samsung pro chromebook. It uses USB type C for charging and holds the charge under light use for 6 to 7 hours. My Lenovo also charges with USB-C. I can charge both as well as Saundra's chromebook and tablet on 100Watts of solar.
Now you can see why when considering solar it starts with efficient equipment first.